The nucleus of a multiprogramming system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
From the specifications to the detailed description of the final product, an information processing system undergoes many manipulations and is represented at many levels of detail. The subject of this paper is to introduce a notation that allows a designer to express a continuum of design ideas, from the specifications statement down to the final design statement. For the sake of simplicity, an attempt has been made to minimize the concepts involved in the notation. This goal is achieved by making an effort to identify relationships among the ideas that we wish to express with this notation. The purpose of this paper is not so much to introduce a new notation (one more!) as it is to investigate some ideas on the representation and manipulation of information processing systems.