Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Aspects of formalisation in requirements engineering
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen
Standardizing model-based in-vehicle infotainment development in the german automotive industry
An approach to the pervasive formal specification and verification of an automotive system
Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil
Modelchecking von Klassifikationsbaum-Testsequenzen
Model-based testing of automotive HMIs with consideration for product variability
Utilizing Event-B for domain engineering: a critical analysis
Technology transfer issues for formal methods of software specification
Experiences using lightweight formal methods for requirements modeling
An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen