Software Product Lines
Model Driven DevelopmentProgram
Generation/Synthesis
Program RefactoringsDomain-Specific
LanguagesMetaprogramming
The future of software development is automating rote tasks. We are creating new ways in which software development can be automated, productivity increased, and software quality improved. Our work addresses the topics of:
|
Software Product Lines
|
Model Driven Development |
|
|
Program
Generation/Synthesis
|
Program Refactorings |
|
|
Domain-Specific
Languages |
Metaprogramming
|
We have made a significant advance in both our tools and research, called AHEAD (Algebraic Hierarchical Equations for Application Design). Please check out our papers, awards, and downloads. If this is your first visit and you have questions on what is the best place to start, take a look at Getting Started. Click on Home to return to this page.
Recent News:
- Keynote at Principles of Programming Languages (POPL) January 2007
- Keynote at European Joint Conferences on Theory and Practice of Software (ETAPS) Compiler Construction Conference (April 2007)
- Keynote at Abstract State Machine (ASM) Workshop, June 7-9, 2007
- Lecture at the Lipari School on Advances in Software Engineering, July 8-21, 2007
- Keynote at Brazilian Symposium on Software Engineering, October 2007, 2007
- NSF Science of Design Award 2008-2011 on Architectural Metaprogramming
- Keynote at Model Driven Engineering Languages and Systems, October 2008.
My most recent tutorial notes are:
- Tutorial Notes (1MB PDF file)
 |
I gratefully acknowledge the support of the National Science Foundation under Grant #CCF-0438786 and #CCF-0724979. This work was also supported by U.S. Army Simulation and Training Command (STRICOM) contract N61339-99-D-10 |
For further information, contact Don Batory.