Composable Systems Group

School of Computer Science, Carnegie Mellon University

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. This project will 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.