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

1–20 von 151 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

    Using a systems description language for complete avionics systems

    Barton, D.L. / Fortier, S.C. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , formale Verifikation , Spezifikation (Normung)

    UML-based specification of a railway interlocking and signalling system

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

    Transputer-based fault-tolerant and fail-safe node for dual ring distributed railway signalling systems

    Kumar, K.V. / Chandra, V. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Topological manifold‐based monitoring method for train‐centric virtual coupling control systems

    Freier Zugriff
    Zhang, Yong / Wang, Haifeng | Wiley | 2020
    Schlagwörter: formal specification

      Topological manifold-based monitoring method for train-centric virtual coupling control systems

      Freier Zugriff
      Zhang, Yong / Wang, Haifeng | IET | 2020
      Schlagwörter: formal specification

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    The role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Überprüfung

    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

    The components data flow machine: An intermediate modeling format to support the design of automobiles E/E

    Kebemou, Augustin / Schieferdecker, Ina | Tema Archiv | 2008
    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

    Technology transfer issues for formal methods of software specification

    Abernethy, K. / Kelly, J. / Sobel, A. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Methode