Synonyms were used for:
Softwareentwicklung
Search without synonyms:
keywords:("Softwareentwicklung")
Verification of Solid State Interlocking Programs
Verification of Scheme Plans Using CSP||B
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Validation and Test of Complex Weapons Systems
Twenty-Five Years of Formal Methods and Railways: What Next?
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
The UNICON Approach to Through-Life Support and Evolution of Software-Intensive Systems
The Discipline of Defining the Software Product
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
TeStor: Deriving Test Sequences from Model-Based Specifications
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Testing Operational Flight Programs (OFPs)
Tailored Responsibility Within Component-Based Systems
Specifications Executables des Logiciels des Systemes Complexes
Software Testing Practices and their Evolution for the '90s