DOMINO: a system for maintaining the consistency of software objects

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