| Abstract: | Systems development managers today are working with increasingly complex systems, revealing a need for computer-aided techniques in software system definition, design, and construction. The ultimate task of the software engineer is the development of tools and procedures which reduce the effort involved in production of effective software. To be effective, software must possess characteristics of correctness, reliability, efficiency, documentation, and flexibility. This paper develops a measure for software effectiveness and a computer aid for determining process structure in program module specification. The proposed method uses various criteria and a mixed integer program to decompose a system graph into program modules. |
