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

The future of software development lies in automating rote tasks. We are exploring different ways in which software development can be automated, productivity increased, and software quality impr

Builds applications using a library of COM components. These components provide application functionality in a reusable form.

Offers consulting, training, and information on domain-specific engineering, reuse-driven process improvement, and adaptable components for software product line reuse.

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, a