Synonyms were used for:
Softwareentwicklung
Search without synonyms:
keywords:("Softwareentwicklung")
Reusable Dialog Component Framework for Rapid Voice Application Development
A CCA-compliant Nuclear Power Plant Simulator Kernel
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations
Tailored Responsibility Within Component-Based Systems
Evaluating Performance Attributes of Layered Software Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols
Experience with Component-Based Development of a Telecommunication Service
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
Exogenous Connectors for Software Components
TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components
Qinna, a Component-Based QoS Architecture
Optimizing Resource Usage in Component-Based Real-Time Systems
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans
A Contracting System for Hierarchical Components
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
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
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
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?
Testing Operational Flight Programs (OFPs)
Software Testing Practices and their Evolution for the '90s
Object versus Functional Oriented Design
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
Software Engineering Methods in the HERMES On-Board Software
The Discipline of Defining the Software Product
DSSA-ADAGE: An Environment for Architecture-Based Avionics Development
A Distributed Object-Based Environment in Ada
A Disciplined Approach to Software Test and Evaluation
Design of a Thin Wire Real-Time Multiprocessor Operating System
SDE's for the year 2000 and Beyond: an EF Perspective
ENTREPRISE II: A PCTE Integrated Project Support Environment
Integrated Formal Verification and Validation of Safety Critical Software
Ada Run Time System Certification for Avionics Applications
Embedded Expert System: From the Mock-Up to the Real World