Formal Techniques in the Management of Software Design.

摘要

The inordinately high cost of software continues to be the major shortcoming in the development of computer systems. In the past, attempts to solve this software crisis have been from one of three independent approaches -- using structuring techniques or using formal techniques (together these two are called software engineering) or using management techniques. It is now apparent that this management-technology decoupling is avoidable and that a viable software design methodology must include mutually supportive management, structuring, and formal components. This thesis attempts to develop just such a methodology for the design of large systems. The author proposes a set of criteria which will be use to evaluate design methodologies. based on these criteria and research into existing methodologies, he then outlines his new methodology. It utilizes the advantages of high level abstraction, and extensible set theoretical notation, hierarchical structuring, and numerous management techniques. A simple example is given to introduce the design style and notation. In order to assess the new methodology and its interaction of management and software engineering techniques. He does a case study development of a windowed, information sharing display and filling system.