Software Engineering Research at Carnegie Mellon University
Research in software engineering provides methods, languages, tools, and environments that help practitioners improve the quality of the software systems that they build and maintain.

Overview of Software Engineering Research, motiviations, and approaches, as presented at the 1997 CMU Computer Science Department Faculty Retreat

Scott Fahlman Tools for evolutionary development of software systems: Dynamic languages (e.g. Lisp and Dylan) and hypercode-based software environments.
David Garlan Applied formal methods, software architectures, and software development environments.
William Scherlis Program manipulation tools and information structures for collaboration.
Mary Shaw Design methods, analytic techniques, and notations for software architecture.
Jeannette Wing Applying formal methods to complex software systems.
Graduate Students
Shawn Butler  
Edwin Chan  
Craig Damon  
Robert DeLine  
Darrell Kindred  
Ralph Melton  
Robert Monroe  
Robert O'Callahan  
John Ockerbloom  
Siddhartha Puri  
Bridget Spitznagel  
Zhenyu Wang  
Hao-Chi Wong  
Paul Gleichauf Gwydion Project
James Ivers ABLE Project
Andrew Kompanek ABLE Project
Greg Zelesnik Vitruvius Project
ABLE Software architecture. Architectural style. Design environment generation.
ACT Structural reengineering of software.
ChopShop Reverse engineering tool for C.
Composable Systems Providing a scientific and engineering basis for designing, building, and analyzing composable software systems.
Gwydion Software development environment that is optimized for evolutionary program development of dynamic languages like Lisp and Dylan.
Larch A two-tiered formal specification language and related tools.
Nitpick Checker for a relational subset of Z.
TinkerTeach Providing software infrastructure ("glue") for improving interoperability of educational components.
Venari Signature matcher (Beagle) and specification matcher (using LP).
Vitruvius Software architecture. Capturing design decisions and guidance.
Local Activity

The Master of Software Engineering (MSE) program at Carnegie Mellon is offered by the School of Computer Science (SCS) and the Software Engineering Institute (SEI) and provides a unique environment for mastering the discipline of software engineering.

The Software Systems Study Group meets weekly to discuss important papers in selected topics.

The Software Engineering Reading Group met biweekly to discuss important papers in selected topics in software engineering.

Sending to the email alias reaches all current Carnegie Mellon faculty, visitors, postdocs, and students listed above.

Much of what we do is in collaboration with members of the Software Engineering Institute.

csd home Maintained by Compose