Accession Number : ADA132569
Title : Formal Techniques in the Management of Software Design.
Descriptive Note : Doctoral thesis,
Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH
Personal Author(s) : Richardson,William E
PDF Url : ADA132569
Report Date : 17 Jun 1983
Pagination or Media Count : 308
Abstract : 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.
Descriptors : *Computer programs, *Planning, *Methodology, Comparison, Costs, Life cycles, Information systems, Computer files, Files(Records), Case studies, Theses
Subject Categories : Administration and Management
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE