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...

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

A GPL'ed tool for data mining library usage patterns in existing applications. Can be used to guide and check usage of a software library much like a tutorial. Future work includes data mining other kinds of development experience such as evolution an...

Search and browse listings for more than 3000 open source applications, libraries, and functions. Includes links to C and Unix programmer's FAQs and other references. Man pages link directly to source code.

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 sof...