Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Controlling the evolution of large scale software systems
The Institute of Electrical and Electronics Engineers, Inc on Conference on software maintenance--1985
Ensuring integrity by adding obligations to privileges
ICSE '85 Proceedings of the 8th international conference on Software engineering
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Cryptography and data security
Cryptography and data security
Softwear Reliability
Hi-index | 0.00 |
This paper is based on a new approach for dealing with large scale software systems. This approach is based on the concept of a Law-Governed System, which is a tripleprogram, users, lawwhere the law is an explicit and strictly enforced set of rules about the structure and operation of the program, and about the evolution of the entire system.We describe Darwin, a skeleton of a programming environment that supports our notion of law-governed systems. Darwin is based on the object-oriented programming paradigm and uses logic programming to express and enforce the law.