The design of the Venus operating system
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
A modular approach to file system design
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
SPOT: a structured system development system
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Synthesis of a software security system
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
ACCNET: a corporate computer network
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Graphics and interactive systems: design considerations of a software system
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
V-Compiler: a next-generation tool for microprogramming
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Directed flowgraphs: The basis of a specification and construction methodology for real-time systems
Journal of Systems and Software
| Hi-index | 0.00 |
Any user of a computer system is aware that current systems are unreliable because of errors in their software components. While system designers and implementers recognize the need for reliable software, they have been unable to produce it. For example, operating systems such as OS/360 are released to the public with hundreds of errors still in them.