5 sites in Reuse
Composable Software Systems
Save
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.
http://www.cs.cmu.edu/afs/cs/project/...
Venari Project
Save
The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search, hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems; databases and persistent objects; and software development libraries and environments.
http://www.cs.cmu.edu/afs/cs/project/...
See also