论文信息 - Identification and Classification of Inconsistency in Relationship to Software Maintenance

Identification and Classification of Inconsistency in Relationship to Software Maintenance

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 speci cally concerned with how formal speci cations can be used to explain and represent the basis of software maintenance and evolution Some of the results reviewed here have appeared in and These previous results are summarized extended and made more general in this paper

Vladik Kreinovich | Luqi | Daniel E. Cooke

[1] Michael Gelfond,et al. Logic Programs with Classical Negation , 1990, ICLP.

[2] David D. McDonald,et al. Programs , 1984, CL.

[3] M.M. Lehman,et al. Programs, life cycles, and laws of software evolution , 1980, Proceedings of the IEEE.

[4] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[5] C.V. Ramamoorthy,et al. The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[6] Luqi,et al. How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software , 1995, Int. J. Softw. Eng. Knowl. Eng..

[7] Vladimir Lifschitz,et al. Splitting a Logic Program , 1994, ICLP.

[8] Chitta Baral,et al. Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[9] Alan M. Davis,et al. A comparison of techniques for the specification of external system behavior , 1988, CACM.

[10] Victor R. Basili,et al. Viewing maintenance as reuse-oriented software development , 1990, IEEE Software.

[11] Thomas Weigert,et al. A knowledge-based approach for checking software information using a non-monotonic reasoning system , 1990, Knowl. Based Syst..