Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil
Modelchecking von Klassifikationsbaum-Testsequenzen
An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink