Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen
Utilizing Event-B for domain engineering: a critical analysis
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Validating requirements for fault tolerant systems using model checking
Developing safety-critical real-time systems with SDL design patterns and components
Using viewpoints to define domain requirements
Technology transfer issues for formal methods of software specification
Experiences using lightweight formal methods for requirements modeling
Formal modeling of space shuttle software change requests using SCR
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
A railway demonstrator model for experimental investigation of integrated specification techniques
Integration of functional, cognitive and quality requirements. A railways case study
Formal modeling and verification of real-time concurrent systems
Reusing single system requirements from application family requirements