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

1–10 von 131 Ergebnissen
|

    What software engineering can learn from practitioners

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

    Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink

    Köster, L. / Thomsen, T. / Stracke, R. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    VMF - Funktion und Technologie

    Krüger, Stefan | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    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

    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

    Validating metrics for ensuring Space Shuttle flight software quality

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

    Validating functional system requirements with scenarios

    Sutcliffe, A. / Gregoriades, A. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , formale Verifikation

    Utilizing Event-B for domain engineering: a critical analysis

    Mashkoor, Atif / Jacquot, Jean-Pierre | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Sprache

    Using viewpoints to define domain requirements

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

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation