A Logic-Based Approach to Software Maintenance
Loading...
Authors
Cooke, D.
Luqi
Subjects
Advisors
Date of Issue
1997-08-25
Date
August 25, 1997
Publisher
Language
en_US
Abstract
This paper provides an overview of the relationship between recent work in logic programming and recent developments in software engineering. The relationship to software engineering is more specifically concerned with how formal specifications can be used to explain and represent the basis of software maintenance and evolution. Some of the results reviewed here have appeared in [9]. These previous results are summarized, extended, and made more general in this paper.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School
Identifiers
NPS Report Number
Sponsors
Funder
Format
13 p.
Citation
D. Cooke and Luqi, "A Logic-Based Approach to Software Maintenance", Annuals of Mathematics and Artificial Intelligence 21, 1997, No. 2-4, pp. 1-13.
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.