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
Operating system principles
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
Proceedings of an ACM conference on Language design for reliable software
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
The design of an extensible processor.
The design of an extensible processor.
A graph-model analysis of computer communications protocols.
A graph-model analysis of computer communications protocols.
State deltas: a formalism for representing segments of computation.
State deltas: a formalism for representing segments of computation.
Multilevel modeling for synthesis of reliable concurrent software systems.
Multilevel modeling for synthesis of reliable concurrent software systems.
Structured programming
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
Contemporary software development environments
Communications of the ACM
An algorithm to support code-skeleton generation for concurrent systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
A graphical model of procedures for an automated manager's assistant
ACM '82 Proceedings of the ACM '82 conference
Contemporary software development environments
ACM SIGSOFT Software Engineering Notes
SID: a system for interactive design
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Directed flowgraphs: The basis of a specification and construction methodology for real-time systems
Journal of Systems and Software
| Hi-index | 0.02 |
This paper presents a multilevel modeling method suitable for the design of concurrent hardware or software systems. The methodology is requirement driven and uses tools incorporated in a programming system called SARA (Systems ARchitect's Apprentice). Both top down refinement and bottom up abstraction are supported. The design of an asynchronous sender receiver illustrates the key steps in going smoothly from programming in the large to programming in the small or actual code. The same methodology can be used to design hardware systems by applying different pragmatics than those proposed for software systems. SARA consists of a set of interactive tools implemented both at UCLA and also on the MIT-Multics system. Although SARA continues in long-term development, completed design tools accessible for experimentation by authorized users at either location via the ARPANET.