Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Coverage-directed test generation with model checkers: challenges and opportunities
Modelchecking von Klassifikationsbaum-Testsequenzen
Formal requirements-based programming for complex systems
A traffic management system based on description logics
Ein Weg zur Einsatzbarkeit Formaler Methoden für Ingenieure im Eisenbahnwesen
Validating requirements for fault tolerant systems using model checking
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Utilizing Event-B for domain engineering: a critical analysis
A railway demonstrator model for experimental investigation of integrated specification techniques
Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption
Technology transfer issues for formal methods of software specification
Formal modeling of space shuttle software change requests using SCR
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Reusing single system requirements from application family requirements
Formal modeling and verification of real-time concurrent systems
Software specification and development in the domain of railway signalling
Improving system reliability via rigorous software modeling: the UML case