Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Industrial applications of software synthesis via category theory
Integration of message sequence charts and Petri nets in the system design process
Functional modelling and simulation of train control systems
Explorations on the formal frontier of distributed system design
A database architecture for reusable CommonKADS agent specification components
Project Golden Gate: towards real-time Java in space missions
A new approach for gateway-based automotive network architectures
Process model for the development of system requirements specifications for railway systems
An example of risk assessment of software systems specifications
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Safety checking in an automatic train operation system
Pragmatische Modellierung von Testfällen für Software im Automobil
Role of VDM(++) in the development of a real-time tracking and tracing system
Automated testing in practice: the highway tolling system
Evaluating a control system architecture based on a formally derived AOCS model
Semiformale Entwurfsmethoden bei BMW