Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Modellierung der Forms-Fallstudien mit Statemate
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor
Modelchecking von Klassifikationsbaum-Testsequenzen
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Semiformale Entwurfsmethoden bei BMW
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung
Pragmatische Modellierung von Testfällen für Software im Automobil