Living with Inconsistency in Large Systems

This technical report consists of the three related papers. Uving with Inconsistency in Large Systems describes CONMAN, an environment that identifies and tracks version inconsistencies, permitting debugging and testing to proceed even though the executable image contains cenain non-fatal inconsistencies. The next two papers are both from the INFUSE project. Change Management for Very Large Software Systems presents the new non-Euclidean hierarchical clustering algorithm used by the INFUSE change management system to cluster modules accord-ing to the strengths of their interdependencies. Models of Software Development Environments presents a general model of software development environments consisting of three components- policies, mechanisms and structures- and classifies existing and proposed environments into the individul, family. city and state classes according to the size of projects that could be adequately supponed