Synonyms were used for:
formale Spezifikation
Search without synonyms:
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
Using a systems description language for complete avionics systems
UML-based specification of a railway interlocking and signalling system
Topological manifold-based monitoring method for train-centric virtual coupling control systems
Topological manifold‐based monitoring method for train‐centric virtual coupling control systems
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
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
Statechart testing method for aircraft control systems
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
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
Setting software requirements: scenario for future fighters
Semiformale Entwurfsmethoden bei BMW
Safety checking in an automatic train operation system
Runtime adaptation in safety-critical automotive systems
Role of VDM(++) in the development of a real-time tracking and tracing system
Risk assessment of software-system specifications
Reusing single system requirements from application family requirements
Reuse of Requirements Reduces Time to Market
Requirements specification for process-control systems
Requirements of an integrated formal method for intelligent swarms
Requirements-based conformance testing of ARINC 653 real-time operating systems
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung