Research in Progress

GIST'S high-level constructs into the lowerlevel That is, the new implementation is developed by analogy with the old. We believe that such an automated maintenance facility will be an important application of analogical reasoning techniques. These interactions may cause the specification to denote behaviors that were unintended by the original specifier or not to denote behaviors that were intended. The Specification Validation project seeks to overcome these impediments by constructing tools to make specifications more understandable, both to specifiers and to those unfamiliar with formal specification languages. We have found the paraphraser to be useful in both clarifying specifications and revealing specification errors.