101–120 von 144 Ergebnissen
|

Ihre Suche:
keywords:(formale Spezifikation)

    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archiv | 2005
    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

    Reuse in Command-and-Control Systems

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

    Reuse of Requirements Reduces Time to Market

    Goldin, L. / Matalon-Beck, M. / Lapid-Maoz, J. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Reusing single system requirements from application family requirements

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

    Risk assessment of software-system specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    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

    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    SACEM software validation

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

    Safety checking in an automatic train operation system

    Palshikar, G.K. | Tema Archiv | 2001
    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

    Security requirements engineering in the automotive domain: On specification procedures and implementational aspects

    Wolf, Marko / Paar, Christof | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Semiformale Entwurfsmethoden bei BMW

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

    Setting software requirements: scenario for future fighters

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

    Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption

    Hamza, H. / Counsell, S. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation

    SmartAgriFood machine breakdown service

    Pickel, Peter / Hüther, Nicole / Flörchinger, Thomas | Tema Archiv | 2013
    Schlagwörter: formale Spezifikation

    Software assurance with SAMATE reference dataset, tool standards, and studies

    Black, P.E. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Software specification and development in the domain of railway signalling

    Saghi, B. / Tarnai, G. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Specification and verification of a single-track railroad signaling in CafeOBJ

    Seino, T. / Ogata, K. / Futatsugi, K. | Tema Archiv | 2001
    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