Communicating sequential processes
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Principles of Program Design
Patchwork: A fast interpreter for a restricted dataflow language
Journal of Systems and Software
Hi-index | 0.00 |
Current software engineering methods employ a variety of design notations and techniques during the development process. This paper suggests a new, unified approach to developing software, termed Program/System Design. Programs are viewed as being made up of systems of data-coupled, data-activated processing units. Using a coherent hierarchy of data flow diagrams, complex systems are specified as compositions of successively simpler systems. The methods are illustrated by a Program/System solution to the Telegram Problem.