A method for the synthesis of interactive system specification

The authors describe the application of a scientific approach to the construction of systems by constructing one particular class of systems, the logical design of interface components, on a rigorous basis. The basic strategy is system design by implicit specification, the main objective being the derivation of reliable mechanisms which can be used to synthesize new parts of a specification from existing parts. The problems of producing robust system specifications is vested purely in the rigorous statement of requirements. The derivation of a ready-made solution, in the form of a reproducible algorithm guaranteed correct by virtue of its derivation, is outlined. An example of the application of this work, its current status, and possible future development are examined