Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Abstraction and specification in program development
Abstraction and specification in program development
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
A law-based approach to object-oriented programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Softwear Reliability
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Grids: A new program structuring mechanism based on layered graphs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Module structure in an evolving family of real time systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
The Darwin software-evolution environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Controllable delegation: an exercise in law-governed systems
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Low-cost, adaptable tool integration policies for integrated environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Configuration management by consensus: an application of law-governed systems
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Models of Software Development Environments
IEEE Transactions on Software Engineering
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
A logic-based approach to system modelling
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Environment Evolution: The Prism Model of Changes
IEEE Transactions on Software Engineering
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
A paradigm for decentralized process modeling and its realization in the Oz environment
ICSE '94 Proceedings of the 16th international conference on Software engineering
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
Law-governed software processes
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Extensions to the spiral model to support joint development of complex software systems
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
An Architecture for Modeling and Applying Quality Processes on Evolving Software
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
| Hi-index | 0.00 |
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.