ARO/AFOSR/ONR Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration
MetadataShow full item record
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.
Includes these papers by NPS authors: "Some Suggestions for Using Formal Methods in Software Development" by Luqi and Joseph Goguen; "A Slicing Method for Semantic Based Merging of Software Prototypes" by David Dampier and Valdis Berzins
Showing items related by title, author, creator and subject.
Riehle, Richard D. (Monterey, California. Naval Postgraduate School, 2008-09);New engineering disciplines are emerging in the late Twentieth and early Twenty-first Century. One such emerging discipline is software engineering. The engineering community at large has long harbored a sense of skepticism ...
Software acquisition: evolution, Total Quality Management and applications to the Army Tactical Missile System Barber, Wayland P. (Monterey, California. Naval Postgraduate School, 1992-06);Software acquisition has become the critical path in the procurement of Department of Defense (DOD) weapon systems. Software requirements and their complexity have increased at an exponential rate and support requirements ...
Harn, Meng-Chyi (Monterey, California. Naval Postgraduate School, 1999-12);The major problem addressed by this research is how to automate parts of software evolution using dependency rules, especially for large and complex real time embedded systems. The main topics of this study are the development ...