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

 

Faculty

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

Staff

Paul Gleichauf	Gwydion Project
James Ivers	ABLE Project
Andrew Kompanek	ABLE Project
Greg Zelesnik	Vitruvius Project

Projects

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 software-group@cs.cmu.edu 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.

Maintained by Compose