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

1–12 von 12 Ergebnissen
|

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

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

    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

    Modelchecking von Klassifikationsbaum-Testsequenzen

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

    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

    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

    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

    VMF - Funktion und Technologie

    Krüger, Stefan | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten

    Abel, H.B. / Papanuskas, J. | Tema Archiv | 1996
    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