TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
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
Qinna, a Component-Based QoS Architecture
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
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
Tailored Responsibility Within Component-Based Systems
Evaluating Performance Attributes of Layered Software Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols
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
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components
2008-01-2262 Keys to Success with Knowledge-based Techniques
2008-01-2272 Finite Element Modeling Strategies for Dynamic Aircraft Seats
2008-01-2270 Modern Solutions for Ground Vibration Testing of Small, Medium and Large Aircraft
2008-01-2230 Model-Driven Architecture for Platform and Store Design
Development of Simplified Truck Chassis Model for Crashworthiness Analysis
Common ADA Missile Packages (CAMP)
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
Guidance Software Development Workshop
Military and Civil Software Standards and Guidelines for Guidance and Control
Software Design Considerations for an Airborne Command and Control Workstation
Aerospace Software Engineering Works
The Data Oriented Requirements Implementation Scheme
Formal Specification of Satellite Telemetry: A Practical Experience
A Practical Experience of ADA for Developing Embedded Software
Softare Development Workstation
Coprocessor Support for Real-Time ADA
Code Generation for Fast DSP-Based Real-Time Control
Network Programming: A Design Method and Programming Strategy for Large Software Systems
A Methodology for Software Specification and Development based on Simulation