As the complexity of systems increase, the need for computer-aided techniques in software system definition, design, ·and construction becomes apparent. It is the ultimate task of software engineering to develop tools and procedures which reduce the effort invol ved in production of effective software. Effective software must possess characteristics of correctness, reliability, efficiency, documentation, and flexibility. This paper deals with the devel opment of a computer-aid for one portion of the software system design probl em, namely, the determination of process organization in program modul e specification.