Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Composite Structure Design
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
ACM '77 Proceedings of the 1977 annual conference
Module interconnection in programming systems supporting abstraction.
Module interconnection in programming systems supporting abstraction.
A distributed data and control driven machine: programming and architecture.
A distributed data and control driven machine: programming and architecture.
Multilevel modeling for synthesis of reliable concurrent software systems.
Multilevel modeling for synthesis of reliable concurrent software systems.
Building block modeling methodology for composition of microprocessor-based digital systems
Building block modeling methodology for composition of microprocessor-based digital systems
An introduction to the DREAM software design system
ACM SIGSOFT Software Engineering Notes
Principles of Program Design
The contour model of block structured processes
ACM SIGPLAN Notices
A graph transform model for configuration management environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
An algorithm to support code-skeleton generation for concurrent systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Hi-index | 0.00 |
In software design it is highly desirable to be able to deal with the structures of both the algorithm and the record of execution. A design methodology called SARA is being developed at UCLA. SARA's models are able to deal with the record of execution structure. This paper proposes the addition of a Module Interconnection Language to enable SARA to deal with the algorithm structure. An example illustrates how this combination can assist in the software design process.