Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
A traffic management system based on description logics
Technology transfer issues for formal methods of software specification
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Integration of functional, cognitive and quality requirements. A railways case study
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Object oriented and formal methods for AUV development
Specification based prototyping of control systems
Ein Pflichtenheft bewahrt Kunden vor dem Absturz. Der Eurofighter im Labor
Formal modeling of space shuttle software change requests using SCR
Reusing single system requirements from application family requirements
Industrial applications of software synthesis via category theory
Applying SOFL to specify a railway crossing controller for industry
Using a systems description language for complete avionics systems
Validating requirements for fault tolerant systems using model checking
Using viewpoints to define domain requirements
Experiences using lightweight formal methods for requirements modeling
Verification of the redundancy management system for space launch vehicle: a case study