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

1–20 von 26 Ergebnissen
|

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

    Nowotka, Dirk | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Sprache

    Modellierung der Forms-Fallstudien mit Statemate

    Klose, J. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Sprache , formale Verifikation , 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

    Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil

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

    Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu modellbasierter Software-Entwicklung mit Implementierungsmodellen

    Fey, Ines / Kleinwechter, Henning / Leicher, Andreas et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode

    Bitsch, F. / Canver, E. / Moik, A. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

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

    Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Modelchecking von Klassifikationsbaum-Testsequenzen

    Krupp, Alexander / Müller, Wolfgang | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Verifikation

    Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen

    Arabestani, S. / Gayen, J.T. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation , formale Verifikation

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

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

    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

    Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen

    Chouikha, M. / Einer, S. / Meyer zu Hörste, M. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    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

    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

    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Trachtenherz, David | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung

    Spreng, M. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation , formale Sprache

    Pragmatische Modellierung von Testfällen für Software im Automobil

    Mann, Zoltan Adam | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation