ARO/AFOSR/ONR Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration

Abstract

The U.S. spends billions of dollars per year on software, much of it for software modifications and maintenance. Computer.aid should give software designers better control over their products. with resulting improvements in software usefulness and reliability and reductions in time and cost for large scale changes. Our basic premise is that appropriate formal methods supported by appropriate software tools can be very beneficial for practical software development. We believe that it is possible and necessary to validate this premise and to put it into common practice. As part of this effort, we would like to ask for your help to establish and support an important research direction, computer aided software evolution.