A software development environment for law-governed systems
- 3 November 1988
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 13 (5), 65-75
- https://doi.org/10.1145/64135.65010
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A law-based approach to object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1987
- GridsPublished by Association for Computing Machinery (ACM) ,1984
- The Darwin software-evolution environmentPublished by Association for Computing Machinery (ACM) ,1984
- Locality in software systemsPublished by Association for Computing Machinery (ACM) ,1983
- Fault Tolerant Operating SystemsACM Computing Surveys, 1976
- Programming-in-the-Large Versus Programming-in-the-SmallIEEE Transactions on Software Engineering, 1976
- On attaining reliable software for a secure operating systemPublished by Association for Computing Machinery (ACM) ,1975