ACM Computing Surveys (CSUR)
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Hierarchical modeling of operating system structure and behavior
ACM '72 Proceedings of the ACM annual conference - Volume 2
Finite state modelling in program development
Proceedings of the international conference on Reliable software
An introduction to the DREAM software design system
ACM SIGSOFT Software Engineering Notes
Applying Synthesis Principles to Create Responsive Software Systems
IEEE Transactions on Software Engineering
Aspects of software design analysis: Concurrency and blocking
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
| Hi-index | 0.00 |
A modelling scheme is presented which provides a medium for the rigorous, formal and abstract specification of large-scale software system components. The scheme allows the description of component behavior without revealing or requiring the description of a component's internal operation. Both collections of sequential processes and the data objects which they share may be described. The scheme is of particular value during the early stages of software system design, when the system's modules are being delineated and their interactions designed, and when rigorous, well-defined specification of undesigned components allows formal and informal arguments concerning the design's correctness to be formulated.