Tools for Specification Validation and Understanding.
Final technical rept. 29 Jan 81-31 May 83,
UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
Pagination or Media Count:
Regardless of the specification language used, formal program specifications can be tough to understand. Yet, because a specification is frequently the means by which a customer communicates his desires to a programmer, it is critical both the customer and programmer be able to examine and comprehend the specification. Our experience with Gist, a high-level specification langauge being developed at ISI Information Sciences Institute has indicated that two of the major impediments to understandability are the unfamiliar syntactic constructs of the language and non-obvious interactions between parts of the specification that are often widely separated. These interactions may cause the specification to denote behaviors that were unintended by the original or not to denote behaviors that were intended. This report documents our efforts to overcome these impediments by constructing tools to make specifications moe understandable, both to specifiers and to those unfamiliar with formal specification languages.
- Computer Programming and Software