Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
Semiformale Entwurfsmethoden bei BMW
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung
Pragmatische Modellierung von Testfällen für Software im Automobil
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Modellierung der Forms-Fallstudien mit Statemate
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Modelchecking von Klassifikationsbaum-Testsequenzen
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor