The future of software development is automating rote tasks. We are creating new ways in which software can be automatically developed, productivity increased, and quality improved. Our work covers both the theory and practical issues of:
|
|
|
|
|
|
|
|
|
|
|
Please check out our papers, awards, students, and downloads. If this is your first visit and you have questions on what is the best place to start, look at Getting Started. Click on Home Page to return to this page.
Recent Events and Upcoming Keynotes:
Other Announcements:
|
|
I gratefully acknowledge the support of the National Science Foundation under Science of Design Grants #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