Abstract

plan a change task on an existing system, and shows that the technique scales to use on a large (million lines of C [Kernighan and Ritchie 1978] code) system. Next, I describe my use of the reflexion model technique to assess the conformance of a program restructuring tool implemented in CLOS [Bobrow et al. 1989] to a previously prepared software architecture. This case provides evidence to support the claim that the software reflexion model technique aids in the execution of a change task by enabling a conformance check between a system's design and its implementation. Third, the use of both the reflexion model technique and the lexical source model extraction technique to promote an understanding of the structure of the SPIN operating system [Bershad et al. 1995] before a change is described. This case study provides evidence that approximate structural information can be useful for reasoning about change. In addition to these in-depth accounts, condensed descriptions

Citations