{"title":"受法律约束的系统的软件开发环境","authors":"N. Minsky, D. Rozenshtein","doi":"10.1145/64135.65010","DOIUrl":null,"url":null,"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 <italic>system</italic> is augmented with a new component called the <italic>law of the system</italic>, which is an <italic>explicit</italic> and <italic>strictly enforced</italic> 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 <italic>law-governed system.</italic>","PeriodicalId":253963,"journal":{"name":"SDE 3","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"43","resultStr":"{\"title\":\"A software development environment for law-governed systems\",\"authors\":\"N. Minsky, D. Rozenshtein\",\"doi\":\"10.1145/64135.65010\",\"DOIUrl\":null,\"url\":null,\"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 <italic>system</italic> is augmented with a new component called the <italic>law of the system</italic>, which is an <italic>explicit</italic> and <italic>strictly enforced</italic> 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 <italic>law-governed system.</italic>\",\"PeriodicalId\":253963,\"journal\":{\"name\":\"SDE 3\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-01-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"43\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SDE 3\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/64135.65010\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SDE 3","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/64135.65010","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A software development environment for law-governed systems
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.