Integration method for specification process

Proposes a specification process based on the concept that a specification consists of three subprocesses (elaborate, design, and evolve) which are mutually independent. Elaboration, design, and evolution are improvements that are based on elicitation, analysis and formalization, and validation of the specification process. The authors also describe the generation of a production system-like prototype program from specifications described as constraints. Finally, they present an example that uses this prototype program