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

121–140 von 151 Ergebnissen
|

    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

    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

    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

    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