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 functional system requirements with scenarios
Utilizing Event-B for domain engineering: a critical analysis
Using specification-driven concepts for distributed data management and dissemination
Using a systems description language for complete avionics systems
UML-based specification of a railway interlocking and signalling system
The role of formal methods in developing a distributed railway interlocking system
Technology transfer issues for formal methods of software specification
Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode
Standardizing model-based in-vehicle infotainment development in the german automotive industry
Specification based prototyping of control systems
Specification and verification of the ASOS kernel
Specification and verification of a single-track railroad signaling in CafeOBJ
Software specification and development in the domain of railway signalling
Software assurance with SAMATE reference dataset, tool standards, and studies