A software development environment for law-governed systems

3 November 1988

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 24 (2) , 65-75
https://doi.org/10.1145/64140.65010

Abstract

This paper describes a software development environment based on a new approach for managing large-scale evolving systems. Under this approach, the conventional notion of a system is augmented with a new component called the law of the system, which is an explicit and strictly enforced set of rules about the operation of the system, about its evolution, and about the evolution of the law itself. The resulting combination is called a law-governed system.

Keywords

SOFTWARE DEVELOPMENT ENVIRONMENT

This publication has 7 references indexed in Scilit:

A law-based approach to object-oriented programming
Published by Association for Computing Machinery (ACM) ,1987
Grids
Published by Association for Computing Machinery (ACM) ,1984
The Darwin software-evolution environment
Published by Association for Computing Machinery (ACM) ,1984
Locality in software systems
Published by Association for Computing Machinery (ACM) ,1983
Fault Tolerant Operating Systems
ACM Computing Surveys, 1976
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering, 1976
On attaining reliable software for a secure operating system
Published by Association for Computing Machinery (ACM) ,1975