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

81–90 von 151 Ergebnissen
|

    Requirements archaeology: from unstructured information to high quality specifications (in the automotive industry)

    Kiedaisch, F. / Pohl, M. / Weisbrod, J. et al. | Tema Archiv | 2000
    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

    Improving system reliability via rigorous software modeling: the UML case

    Toval, A. / Aleman, J.L.F. | Tema Archiv | 2001
    Schlagwörter: formale Sprache , algebraische Spezifikation , formale spezifikationssprache

    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

    An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen

    Lu, S. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Protokoll SIMPLE

    Pietsch, Tommy | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    UML-based specification of a railway interlocking and signalling system

    Zahradnik, J. / Rastocny, K. / Janota, A. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Are proof techniques industrially operational?

    Pilarski, F. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation