Requirements of an integrated formal method for intelligent swarms
Requirements specification for process-control systems
Reuse of Requirements Reduces Time to Market
Reusing single system requirements from application family requirements
Risk assessment of software-system specifications
Role of VDM(++) in the development of a real-time tracking and tracing system
Runtime adaptation in safety-critical automotive systems
Safety checking in an automatic train operation system
Semiformale Entwurfsmethoden bei BMW
Setting software requirements: scenario for future fighters
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
Software assurance with SAMATE reference dataset, tool standards, and studies
Software specification and development in the domain of railway signalling
Specification and verification of a single-track railroad signaling in CafeOBJ
Specification and verification of the ASOS kernel