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

1–20 von 33 Ergebnissen
|

    Adapting your simulation for HLA

    Yu, L.C. / Steinman, J.S. / Blank, G.E. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation

    A database architecture for reusable CommonKADS agent specification components

    Allsopp, D.J. / Harrison, A. / Sheppard, C. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil

    Stimmler, Simon / Rätz, Christoph | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Automatic instantiation of abstract tests on specific configurations for large critical control systems

    Flammini, F. / Mazzocca, N. / Orazzo, A. | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    Automotive UML - eine neue objektorientierte Entwicklungstechnik. Erweiterung von Standard-UML für Bedürfnisse der Automobilelektronik

    Hofmann, P. / Fasolt, J. / Geretschläger, P. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Design by contract: the lessons of Ariane

    Jazequel, J.M. / Meyer, B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation

    Developing safety-critical real-time systems with SDL design patterns and components

    Fliege, I. / Geraldy, A. / Gotzhein, R. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

    Yuen Man Hon / Gayen, Jan-Tecker | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Methode

    Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor

    Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Experiences using lightweight formal methods for requirements modeling

    Easterbrook, S. / Lutz, R. / Covington, R. et al. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , leichte formale Methode

    Experimentation de contextes de preuve et d'observateurs temporises pour la validation d'un protocole avionique

    Dhaussy, Philippe / Roger, Jean-Charles / Bonnin, Hugues et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

    Nowotka, Dirk | Tema Archiv | 2008
    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

    Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen

    Belschner, Ralf / Bortolazzi, Jürgen / Freess, Jascha et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Sprache

    Integration of functional, cognitive and quality requirements. A railways case study

    Felici, M. / Sujan, M.A. / Wimmer, M. | Tema Archiv | 2000
    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

    MULTIGRAPH IS: Part 1. A FORMAL DESCRIPTION OF RAILWAY INFRASTRUCTURE FOR THE DIGITAL TWIN OF THE ETCS APPLICATION

    Freier Zugriff
    Andrzej KOCHAN / Piotr FOLĘGA / Remigijus SKIRKUS et al. | DOAJ | 2023
    Schlagwörter: formal specification

    Projet B-RAIL: utilisation de la notation UML et du langage B pour la modelisation d'un passage a niveau

    Boulanger, Jean-Louis | Tema Archiv | 2007
    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