DOMINO: a system for maintaining the consistency of software objects

Author

Chandra, C. ; Ramamoorthy, C.V.

Author_Institution

Dept. of Comput. Sci., California Univ., Berkeley, CA, USA

fYear

1994

fDate

9-11 Nov 1994

Firstpage

111

Lastpage

120

Abstract

DOMINO is a software maintenance tool that assist software developers to understand and modify software systems. DOMINO supports facilities for the definition and maintenance of software objects created at each software development stage, from requirements analysis to implementation; finding information about various software objects and their relationships; automating the computation of ripple effects caused by a modification; and tracing an implemented object back to its corresponding specification and vice versa. The underlying technique used in DOMINO is based on the loose hierarchical truth maintenance system, a derivative of De Kleer´s assumption-based TMS. This paper provides an outline of the DOMINO system, its conceptual model, its architecture, the software objects supported by DOMINO, and the representations used to characterize software objects and the relations between them

Keywords

software maintenance; truth maintenance; DOMINO; hierarchical truth maintenance system; ripple effects; software development; software maintenance tool; software object consistency maintenance; Computer architecture; Computer bugs; Computer science; Information analysis; Programming; Reverse engineering; Software maintenance; Software performance; Software systems; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Conference_Location

Taipei

Print_ISBN

0-8186-6705-2

Type

conf

DOI

10.1109/CMPSAC.1994.342821

Filename

342821