The Formal Design and Analysis of Distributed Data-Processing Systems

Abstract

The abstract proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current sotware engineering techniques, to develop specification for new design and analysis tools, and to demonstrate the practicality of the "science". A hierarchical design schema will be developed within which formal representations and analyses can be defined and the required solutions can be found. This report describes further work (based on CSTR 295) in DDP design, real-time systems, evolutionary processes and requirements analysis. It also presents a systematic development of the required design theory, with some examples of its use.