Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
Component-Level Dataflow Analysis
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
Case Study: NASA Space Shuttle Flight Control Software
Verification of Solid State Interlocking Programs
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Verification of Scheme Plans Using CSP||B
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Software Engineering Methods in the HERMES On-Board Software
SDE's for the year 2000 and Beyond: an EF Perspective
The Discipline of Defining the Software Product
A Common Approach for an Aerospace Software Environment
Designing and Maintaining Decision-Making Processes
Mastering the Increasing Complexity of Avionics
Keynote Address - Requirements Engineering Based on Automatic Programming of Software Architectures
ENTREPRISE II: A PCTE Integrated Project Support Environment
Integrated Formal Verification and Validation of Safety Critical Software