Guided tour of the PROSPECTRA System
- 111 Downloads
This chapter gives an introduction to the PROSPECTRA System in the form of a “guided tour” to its functionality and philosophy. The guided tour is based on concrete examples that show how the different components of the system can be used. The examples illustrate the development of programs and transformations based on the PROSPECTRA methodology.
KeywordsRequirement Specification Transformation Rule Proof System Abstract Syntax Syntactic Category
Unable to display preview. Download preview PDF.