Synonyme wurden verwendet für: formale Spezifikation
Suche ohne Synonyme: keywords:(formale Spezifikation)

1–50 von 151 Ergebnissen
|

    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archiv | 1989
    Schlagwörter: FORMALE SPEZIFIKATION

    What software engineering can learn from practitioners

    Volovik, D. / Mojdehbakhsh, R. / Tsai, W.T. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    SACEM software validation

    Guiho, G. / Hennebert, C. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Setting software requirements: scenario for future fighters

    Bera, R.K. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Specification and verification of the ASOS kernel

    Di Vito, B.L. / Palmquist, P.H. / Anderson, E.R. et al. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    CCS-recent applications, experience with tools, current and planned research

    Cleland, G. | Tema Archiv | 1991
    Schlagwörter: FORMALE SPEZIFIKATION

    Explorations on the formal frontier of distributed system design

    Feather, M.S. | Tema Archiv | 1992
    Schlagwörter: formale Spezifikation

    Role of VDM(++) in the development of a real-time tracking and tracing system

    Dürr, E.H. / Dusink, E.M. | Tema Archiv | 1993
    Schlagwörter: formale Spezifikation

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    The development of the advanced protocol for automotive local area multiplexing network (advanced PALMNET)

    Kimura, H. / Himono, Y. / Matsuda, Y. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    A multiplexing communication IC for automotive body-electronic control

    Shinojima, Y. / Kawakami, M. / Kawahashi, A. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Network application layer

    Lawrenz, W. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Reuse in Command-and-Control Systems

    O'Connor, J. / Mansour, C. / Turner-Harris, J. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Validating metrics for ensuring Space Shuttle flight software quality

    Schneidewind, N.F. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Transputer-based fault-tolerant and fail-safe node for dual ring distributed railway signalling systems

    Kumar, K.V. / Chandra, V. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Method and specification tools for Airbus onboard systems

    Briere, D. / Ribot, D. / Pilaud, D. et al. | Tema Archiv | 1995
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Formal verification of safety requirements on complex systems

    Bernardeschi, C. / Fantechi, A. / Gnesi, S. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung

    Spreng, M. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation , formale Sprache

    Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE

    Canver, E. / Gayen, J.T. / Moik, A. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten

    Abel, H.B. / Papanuskas, J. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    The building blocks for specifying communication behavior of complex objects: An activity-driven approach

    Ling Liu / Meersman, R. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Safety-critical systems built with COTS

    Profeta, J.A. III / Andrianos, N.P. / Bing Yu et al. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Verifikation

    An example of risk assessment of software systems specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation

    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache , formale Überprüfung

    Design by contract: the lessons of Ariane

    Jazequel, J.M. / Meyer, B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation

    Using a systems description language for complete avionics systems

    Barton, D.L. / Fortier, S.C. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation , Spezifikation (Normung)

    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    Using viewpoints to define domain requirements

    Mannion, M. / Keepence, B. / Harper, D. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    Adapting your simulation for HLA

    Yu, L.C. / Steinman, J.S. / Blank, G.E. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , leichte formale Methode

    Verification of the redundancy management system for space launch vehicle: a case study

    Sokolsky, O. / Younis, M. / Lee, Insup et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation

    Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor

    Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Formal modeling of space shuttle software change requests using SCR

    Wiels, V. / Easterbrook, S. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation , formale Verifikation

    Reusing single system requirements from application family requirements

    Mannion, M. / Keepence, B. / Kaindl, H. et al. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Applying SOFL to specify a railway crossing controller for industry

    Liu, Shaoying / Asuka, M. / Komaya, K. et al. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Modellierung der Forms-Fallstudien mit Statemate

    Klose, J. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Sprache , formale Verifikation , formale Überprüfung

    Formal methods for the specification and verification of distributed railway control systems: from algebraic specifications to distributed hybrid real-time systems

    Haxthausen, A.E. / Peleska, J. | Tema Archiv | 2000
    Schlagwörter: formale Überprüfung , formale Spezifikation , formale Sprache

    Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode

    Bitsch, F. / Canver, E. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen

    Arabestani, S. / Gayen, J.T. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Verifikation

    A traffic management system based on description logics

    Bechina, A. / Kullmann, M. / Keith, B. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode

    Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen

    Chouikha, M. / Einer, S. / Meyer zu Hörste, M. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Automotive UML - eine neue objektorientierte Entwicklungstechnik. Erweiterung von Standard-UML für Bedürfnisse der Automobilelektronik

    Hofmann, P. / Fasolt, J. / Geretschläger, P. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation