Monitors: an operating system structuring concept
Communications of the ACM
The design of the Venus operating system
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
The structure of the “THE”-multiprogramming system
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
Presentation and major design aspects of the CYCLADES computer network
DATACOMM '73 Proceedings of the third ACM symposium on Data communications and Data networks: Analysis and design
Proposal for an international end to end protocol
ACM SIGCOMM Computer Communication Review
Design for integration of a DBMS into a network environment
SIGCOMM '79 Proceedings of the sixth symposium on Data communications
Hi-index | 0.00 |
The purpose of this effort was the specification and design of a family of Communications Switching Systems, such that each design and implementation of the specification leads to a family member. Each set of design and implementation decisions chosen would lead to some appropriate desired member of the family. Basically, our methodology consists of the following six steps, System Modelling, Data Flow Modelling, Features Selection, Modules Selection, Hierarchicalization, and Abstract Machines Specification.