Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Pragmatische Modellierung von Testfällen für Software im Automobil
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
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Modellierung der Forms-Fallstudien mit Statemate
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung