Composable Software Systems

Objectives:

• To provide a scientific and engineering basis for designing, building, and analyzing composable software systems.
• To provide languages, tools, environments, and techniques to support these activities.

Approach:

We focus on three research areas: software architecture, formal methods, and tractable software analysis. We develop new models, theories, methods, languages, and tools for classifying, specifying, analyzing, and designing software systems beyond the component level. This support could lead to substantial reduction in maintenance costs, improvement in software resuse, and increase in quality of software.

Details:

Related Carnegie Mellon projects:

• Able Project
• Acme Architecture Interchange Language
• Lackwit Project
• Model Problems for Software Architecture
• TinkerTeach
• Venari Project
• Vitruvius Project
• Software Engineering Research at CMU

Related Projects in Other Organizations:

• DARPA EDCS Program
• Rapide project at Stanford
• Software architecture project at SRI
• Demeter project at Northeastern
• Software Engineering Institute software architecture project
• Thanks to DARPA, our major sponsor.

[Last modified 30-JAN-02.
Mail suggestions to the Maintainer.]