Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Solid State Interlocking Programs
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Verification of Scheme Plans Using CSP||B
Reusable Services and Semi-automatic Service Composition for Automotive Software
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Modeling with the Timing Definition Language (TDL)
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Software and System Modeling Facility for Vehicle Environment Interactions
Towards Verification of Model Transformations Via Goal-Directed Certification
Generating Sound and Resource-Aware Code from Hybrid Systems Models
An Instrumentation-Based Approach to Controller Model Validation
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Optimizing Resource Usage in Component-Based Real-Time Systems
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans
Reusable Dialog Component Framework for Rapid Voice Application Development