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
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