Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
What software engineering can learn from practitioners
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Verification of the redundancy management system for space launch vehicle: a case study
Validating requirements for fault tolerant systems using model checking
Validating metrics for ensuring Space Shuttle flight software quality
Validating functional system requirements with scenarios
Utilizing Event-B for domain engineering: a critical analysis
Using viewpoints to define domain requirements
Using specification-driven concepts for distributed data management and dissemination