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

Loading...
Thumbnail Image
Authors
Goguen, Joseph
Luqi
Berzins, Valdis
Dampier, Dave
Subjects
Advisors
Date of Issue
1993-10
Date
October 13-15, 1993
Publisher
Monterey, California: Naval Postgraduate School.
Language
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.
Type
Article
Description
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
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections