Synonyms were used for: formale Spezifikation
Search without synonyms: keywords:(formale Spezifikation)

1–20 of 31 hits
|

    Setting software requirements: scenario for future fighters

    Bera, R.K. | Tema Archive | 1990
    Keywords: FORMALE SPEZIFIKATION

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archive | 1994
    Keywords: formale Spezifikation

    Reuse in Command-and-Control Systems

    O'Connor, J. / Mansour, C. / Turner-Harris, J. et al. | Tema Archive | 1994
    Keywords: formale Spezifikation

    Validating metrics for ensuring Space Shuttle flight software quality

    Schneidewind, N.F. | Tema Archive | 1994
    Keywords: 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 Archive | 1994
    Keywords: formale Spezifikation

    Method and specification tools for Airbus onboard systems

    Briere, D. / Ribot, D. / Pilaud, D. et al. | Tema Archive | 1995
    Keywords: formale Spezifikation , formale Überprüfung

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

    Ling Liu / Meersman, R. | Tema Archive | 1996
    Keywords: formale Spezifikation

    Safety-critical systems built with COTS

    Profeta, J.A. III / Andrianos, N.P. / Bing Yu et al. | Tema Archive | 1996
    Keywords: formale Spezifikation

    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archive | 1997
    Keywords: formale Spezifikation , formale Sprache

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archive | 1997
    Keywords: formale Spezifikation , formale Sprache , formale Überprüfung

    Design by contract: the lessons of Ariane

    Jazequel, J.M. / Meyer, B. | Tema Archive | 1997
    Keywords: formale Spezifikation

    Using viewpoints to define domain requirements

    Mannion, M. / Keepence, B. / Harper, D. | Tema Archive | 1998
    Keywords: formale Spezifikation

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archive | 1998
    Keywords: formale Spezifikation , leichte formale Methode

    Adapting your simulation for HLA

    Yu, L.C. / Steinman, J.S. / Blank, G.E. | Tema Archive | 1998
    Keywords: formale Spezifikation

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

    Tema Archive | 1999
    Keywords: 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 Archive | 2000
    Keywords: formale Spezifikation

    Integration of functional, cognitive and quality requirements. A railways case study

    Felici, M. / Sujan, M.A. / Wimmer, M. | Tema Archive | 2000
    Keywords: formale Spezifikation

    Statechart testing method for aircraft control systems

    Bogdanov, K. / Holcombe, M. | Tema Archive | 2001
    Keywords: formale Spezifikation , Spezifikation (Normung)

    Risk assessment of software-system specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archive | 2001
    Keywords: formale Spezifikation , Spezifikation (Normung)