On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
Operating system principles
Systematic Programming: An Introduction
Systematic Programming: An Introduction
A Discipline of Programming
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
State of the implementation of SARA
Proceedings of the Symposium on Design Automation and Microprocessors
Proceedings of the Symposium on Design Automation and Microprocessors
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
Developing a SARA building block - the 8080
Proceedings of the Symposium on Design Automation and Microprocessors
Proper termination of flow-of-control in programs involving concurrent processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
Structured programming
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
Developing a SARA building block - the 8080
Proceedings of the Symposium on Design Automation and Microprocessors
Graphical representation and analysis of information systems design
ACM SIGMIS Database - Proceedings of a conference on Application Development Systems, Santa Clara, California, March 10-11, 1980
| Hi-index | 0.00 |
The SARA system has been developed to permit top-down design without necessarily prespecifying that implementation would be done in software or hardware. It was felt very important to give the designer freedom to make that decision at a late stage and therefore select the appropriate place for the hardware-software interface. However, the synthesis methodology does not force the designer to hide an intention to use particular devices or particular software systems. Moreover, the area in greatest need of design assistance is programming where a language and associated virtual or real machine would already have been selected. Hence the question was raised, “What specialization of SARA would be important for the synthesis of software systems?” This paper discusses models of software systems under two very different conditions. In one, it is known that the design of a program for a sequential PL/I processor raises no synchronization issues to be managed by explicit flow-of-control models. Using a simple classical example, the paper shows that it is possible to describe a multi-level model, using SARA, which goes smoothly from programming-in-the-large to programming-in-the-small or actual code. In a second simple case synchronization issues are vital and it is important to keep a token machine explicitly in the model.