Composable Software Systems



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.


  • Research Brief
  • Project Members
  • ARPA Reporting
  • EDCS Reporting
  • Publications
  • Prototype Software
  • Related Carnegie Mellon projects:

    Related Projects in Other Organizations:

    Brought to you by Composable Software Systems Research Group of the School of Computer Science at Carnegie Mellon University.

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