Software Development Based on Executable Specifications and Transformations

Abstract

external representations of specifications are mapped to the internal representation and only now have to spell out details that were implicit before. On the other side, components can hide implementation details, thus facilitating portability. . Components of the repository can provide default behaviour which allows us, for example, the execution of skeletal or partially incomplete specifications. . Finally, sets of interconnected components of the repository can built a framework for a problem domain, they can be considered as a theory for this domain. The common internal representation of specifications and the repository have been presented as two separate items. This need not be the case. In fact, we will introduce specification frameworks that play both roles. 4 A First Prototype: The Explore Method 4.1 Overview A first prototypical attempt to design a software development method fulfilling our requirements is restricted to executable specifications. The method, Explore, pr..