{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:22Z","timestamp":1748071582615},"reference-count":119,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1989,7,1]],"date-time":"1989-07-01T00:00:00Z","timestamp":615254400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1989,7]]},"DOI":"10.1016\/0164-1212(89)90061-7","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"41-53","source":"Crossref","is-referenced-by-count":6,"title":["ENCOMPASS: An environment for the incremental development of software"],"prefix":"10.1016","volume":"10","author":[{"given":"Robert B.","family":"Terwilliger","sequence":"first","affiliation":[]},{"given":"Roy H.","family":"Campbell","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(89)90061-7_BIB1","series-title":"Standard 828\u20131983","author":"Software Configuration Management","year":"1983"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB2","year":"1985","journal-title":"J. Syst. Software"},{"key":"10.1016\/0164-1212(89)90061-7_BIB3","series-title":"Proceedings of the International Workshop on the Software Process and Software Environments","volume":"11","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB4","series-title":"Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments","first-page":"117","article-title":"Towards a Theory of Packages","author":"Agnarsson","year":"1985"},{"issue":"11","key":"10.1016\/0164-1212(89)90061-7_BIB5","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","article-title":"A 15-Year Perspective on Automatic Programming","volume":"SE-11","author":"Balzer","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"11","key":"10.1016\/0164-1212(89)90061-7_BIB6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1983.1654237","article-title":"Software Technology in the 1990's: Using a New Paradigm","volume":"16","author":"Balzer","year":"1983","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2363.2364","article-title":"On Convergence Toward a Data Base of Program Transformations","volume":"7","author":"Barstow","year":"1985","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/TSE.1984.5010202","article-title":"Elements of Software Configuration Management","volume":"SE-10","author":"Bersoff","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB9","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1979.1658449","article-title":"Software Configuration Management: A Tutorial","author":"Bersoff","year":"1979","journal-title":"IEEE Computer"},{"key":"10.1016\/0164-1212(89)90061-7_BIB10","series-title":"Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments","first-page":"34","article-title":"Maintained and Constructor Attributes","author":"Beshers","year":"1985"},{"key":"10.1016\/0164-1212(89)90061-7_BIB11","series-title":"Proceedings of the 9th International Conference on Software Engineering","first-page":"17","article-title":"On The Use of Formal Methods in Software Development","author":"Bjorner","year":"1987"},{"key":"10.1016\/0164-1212(89)90061-7_BIB12","article-title":"The RAISE Project\u2014Fundamental Issues and Requirements","author":"Bjorner","year":"1985"},{"key":"10.1016\/0164-1212(89)90061-7_BIB13","series-title":"Formal Specification and Software Development","author":"Bjorner","year":"1982"},{"issue":"9","key":"10.1016\/0164-1212(89)90061-7_BIB14","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/TSE.1986.6313053","article-title":"The Application of Formal Methods to the Assessment of High Integrity Software","volume":"SE-12","author":"Bloomfield","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB15","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1005950.1005953","article-title":"The Life Cycle\u2014A Debate Over Alternative Models","volume":"7","author":"Blum","year":"1982","journal-title":"Software Engineering Notes"},{"issue":"3","key":"10.1016\/0164-1212(89)90061-7_BIB16","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MS.1986.233407","article-title":"Using Modern Design Practices to Upgrade Aging Software Systems","volume":"3","author":"Britcher","year":"1986","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(89)90061-7_BIB17","series-title":"Proceedings of the IEEE Computer Software and Applications Conference","first-page":"199","article-title":"Increased Productivity Through the Use of Software Engineering in an Industrial Environment","author":"Britcher","year":"1981"},{"key":"10.1016\/0164-1212(89)90061-7_BIB18","series-title":"Software Configuration Management","author":"Buckle","year":"1982"},{"key":"10.1016\/0164-1212(89)90061-7_BIB19","series-title":"Requirements for ADA Programming Support Environments, Stoneman","author":"Buxton","year":"1980"},{"key":"10.1016\/0164-1212(89)90061-7_BIB20","series-title":"International Workshop on Advanced Programming Environments","first-page":"145","article-title":"The SAGA approach to automated project management","author":"Campbell","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB21","series-title":"Software Engineering Environments","article-title":"SAGA: A project to automate the management of software production systems","author":"Campbell","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB22","series-title":"Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments","first-page":"73","article-title":"The SAGA Project: A System for Software Development","author":"Campbell","year":"1984"},{"key":"10.1016\/0164-1212(89)90061-7_BIB23","series-title":"Proceedings of the National Computer Conference","first-page":"231","article-title":"SAGA: A System to Automate the Management of Software Production","author":"Campbell","year":"1981"},{"key":"10.1016\/0164-1212(89)90061-7_BIB24","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/0164-1212(89)90061-7_BIB25","series-title":"Proceedings of the 5th International Conference on Software Engineering","first-page":"430","article-title":"Program Refinement by Transformation","author":"Cheatham","year":"1981"},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB26","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The Entity-Relationship Model\u2014Toward a Unified View of Data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/0164-1212(89)90061-7_BIB27","series-title":"The Entity-Relationship Approach to Software Engineering","first-page":"71","article-title":"A historical perspective and future directions","author":"Chen","year":"1983"},{"key":"10.1016\/0164-1212(89)90061-7_BIB28","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"issue":"3","key":"10.1016\/0164-1212(89)90061-7_BIB29","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1109\/TSE.1984.5010216","article-title":"The Rigorous Development of a System Version Control Program","volume":"SE-10","author":"Cottam","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB30","series-title":"Logic Programming","first-page":"141","article-title":"Runnable specification as a design tool","author":"Davis","year":"1982"},{"key":"10.1016\/0164-1212(89)90061-7_BIB31","series-title":"Tutorial: Automated Tools for Software Engineering","first-page":"138","article-title":"The software development system","author":"Davis","year":"1979"},{"key":"10.1016\/0164-1212(89)90061-7_BIB32","author":"U.S. Department of Defense","year":"1983"},{"issue":"5","key":"10.1016\/0164-1212(89)90061-7_BIB33","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359104.359106","article-title":"Social Processes and Proofs of Theorems","volume":"22","author":"DeMillo","year":"1979","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(89)90061-7_BIB34","series-title":"Software Engineering Principles","article-title":"Structured programming","author":"Dijkstra","year":"1970"},{"key":"10.1016\/0164-1212(89)90061-7_BIB35","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/0164-1212(89)90061-7_BIB36","series-title":"Tutorial: Automated Tools for Software Engineering","first-page":"154","article-title":"An introduction to the programmer's workbench","author":"Dolotta","year":"1979"},{"key":"10.1016\/0164-1212(89)90061-7_BIB37","series-title":"Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments","first-page":"149","article-title":"Preliminary Experience with a Configuration Control System for Modular Programs","author":"Estublier","year":"1984"},{"issue":"7","key":"10.1016\/0164-1212(89)90061-7_BIB38","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1109\/TSE.1986.6312976","article-title":"Advances in Software Inspections","volume":"SE-12","author":"Fagan","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB39","series-title":"Software Engineering Concepts","author":"Fairley","year":"1985"},{"issue":"3","key":"10.1016\/0164-1212(89)90061-7_BIB40","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","article-title":"Data-Abstraction Implementation, Specification, and Testing","volume":"3","author":"Gannon","year":"1981","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/0164-1212(89)90061-7_BIB41","series-title":"Software Specification Techniques","year":"1986"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB42","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1986.1663146","article-title":"Reusing and Interconnecting Software Components","volume":"19","author":"Goguen","year":"1986","journal-title":"Computer"},{"issue":"5","key":"10.1016\/0164-1212(89)90061-7_BIB43","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/1006258.1006273","article-title":"Rapid Prototyping in the OBJ Executable Specification Language","volume":"7","author":"Goguen","year":"1982","journal-title":"Software Engineering Notes"},{"key":"10.1016\/0164-1212(89)90061-7_BIB44","series-title":"Current Trends in Programming Methodology, IV","first-page":"80","article-title":"An initial algebra approach to the specification, correctness, and implementation of abstract data types","author":"Goguen","year":"1978"},{"key":"10.1016\/0164-1212(89)90061-7_BIB45","series-title":"Smalltalk-80: The Interactive Programming Environment","author":"Goldberg","year":"1984"},{"key":"10.1016\/0164-1212(89)90061-7_BIB46","series-title":"The Science of Programming","author":"Gries","year":"1981"},{"key":"10.1016\/0164-1212(89)90061-7_BIB47","series-title":"Management Methodology for Software Product Engineering","author":"Gunther","year":"1978"},{"key":"10.1016\/0164-1212(89)90061-7_BIB48","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","article-title":"The Algebraic Specification of Abstract Data Types","volume":"10","author":"Guttag","year":"1978","journal-title":"Acta Informatica"},{"issue":"5","key":"10.1016\/0164-1212(89)90061-7_BIB49","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.1985.231756","article-title":"The Larch Family of Specification Language","volume":"2","author":"Guttag","year":"1985","journal-title":"IEEE Software"},{"issue":"12","key":"10.1016\/0164-1212(89)90061-7_BIB50","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","article-title":"Abstract Data Types and Software Validation","volume":"21","author":"Guttag","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(89)90061-7_BIB51","series-title":"Proceedings of the Second ACM\/IEEE Conference on Software Development Tools, Techniques, and Alternatives","article-title":"Tree-Oriented Interactive Processing with an Application to Theorem-Proving","author":"Hammerslag","year":"1985"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB52","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TSE.1986.6312939","article-title":"Functional Programming, Formal Specification, and Rapid Prototyping","volume":"SE-12","author":"Henderson","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"10","key":"10.1016\/0164-1212(89)90061-7_BIB53","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An Axiomatic Basis for Computer Programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(89)90061-7_BIB54","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","article-title":"Proof of Correctness of Data Representations","volume":"1","author":"Hoare","year":"1972","journal-title":"Acta Informatica"},{"issue":"8","key":"10.1016\/0164-1212(89)90061-7_BIB55","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1109\/TSE.1986.6312987","article-title":"SODOS: A Software Documentation Support Environment\u2014Its Definition","volume":"SE-12","author":"Horowitz","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/0164-1212(89)90061-7_BIB56","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/358506.358512","article-title":"Contemporary Software Development Environments","volume":"25","author":"Howden","year":"1982","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(89)90061-7_BIB57","series-title":"Proceedings IEEE 5th International Conference on Software Engineering","first-page":"54","article-title":"A Database Model for Effective Configuration Management in the Programming Environment","author":"Huff","year":"1981"},{"key":"10.1016\/0164-1212(89)90061-7_BIB58","series-title":"System Development","author":"Jackson","year":"1983"},{"issue":"3","key":"10.1016\/0164-1212(89)90061-7_BIB59","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1002\/spe.4380150307","article-title":"Developing Ada Programs Using the Vienna Development Method (VDM)","volume":"15","author":"Jackson","year":"1985","journal-title":"Software\u2014Practice and Experience"},{"key":"10.1016\/0164-1212(89)90061-7_BIB60","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF00264020","article-title":"Constructing a Theory of Data Structure as an Aid to Program Development","volume":"11","author":"Jones","year":"1979","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(89)90061-7_BIB61","series-title":"Software Development: A Rigorous Approach","author":"Jones","year":"1980"},{"issue":"4","key":"10.1016\/0164-1212(89)90061-7_BIB62","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/69575.69577","article-title":"Tentative Steps Toward A Development Method for Interfering Programs","volume":"5","author":"Jones","year":"1983","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB63","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","article-title":"Final Data Types and Their Specifications","volume":"5","author":"Kamin","year":"1983","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/0164-1212(89)90061-7_BIB64","series-title":"Proceedings of the IEEE Symposium on Application and Assessment of Automated Tools for Software Development","article-title":"The Role of Executable Specifications: The FASE System","author":"Kamin","year":"1983"},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB65","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/TSE.1985.231535","article-title":"Testing Formal Specifications to Detect Design Errors","volume":"SE-11","author":"Kemmerer","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB66","series-title":"Proceedings of the GTE Workshop on Software Engineering Environments for Programming-in-the-Large","first-page":"44","article-title":"The SAGA Approach to Large Program Development in an Integrated Modular Environment","author":"Kirslis","year":"1985"},{"key":"10.1016\/0164-1212(89)90061-7_BIB67","series-title":"Logic Programming","first-page":"3","article-title":"Logic as a computer language","author":"Kowalski","year":"1982"},{"issue":"4","key":"10.1016\/0164-1212(89)90061-7_BIB68","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MS.1984.229465","article-title":"Software Prototyping Using the SETL Programming Language","volume":"1","author":"Kruchten","year":"1984","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(89)90061-7_BIB69","series-title":"Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments","first-page":"1","article-title":"SW 2\u2014An Object-based Programming Environment","author":"Laff","year":"1985"},{"issue":"6","key":"10.1016\/0164-1212(89)90061-7_BIB70","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/872728.806846","article-title":"Organizing Software in a Distributed Environment","volume":"18","author":"Lampson","year":"1983","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0164-1212(89)90061-7_BIB71","series-title":"Proceedings of the 10th ACM Symposium on Principles of Programming Languages","first-page":"237","article-title":"Practical Use of a Polymorphic Applicative Language","author":"Lampson","year":"1983"},{"key":"10.1016\/0164-1212(89)90061-7_BIB72","series-title":"Proceedings of the 4th IEEE International Conference on Software Engineering","first-page":"174","article-title":"The Impact of Mesa on System Design","author":"Lauer","year":"1979"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB73","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/1010925.1010928","article-title":"Another Look at Software Design Methodology","volume":"9","author":"Lehman","year":"1984","journal-title":"Software Engineering Notes"},{"key":"10.1016\/0164-1212(89)90061-7_BIB74","series-title":"Symposium on Application and Assessment of Automated Tools for Software Development","first-page":"210","article-title":"Experience with a System for Controlling Software Versions in a Distributed Environment","author":"Lewis","year":"1983"},{"issue":"8","key":"10.1016\/0164-1212(89)90061-7_BIB75","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","article-title":"Abstraction Mechanisms in CLU","volume":"20","author":"Liskov","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(89)90061-7_BIB76","series-title":"The Foundations of Program Verification","author":"Loeckx","year":"1984"},{"key":"10.1016\/0164-1212(89)90061-7_BIB77","series-title":"The Art of Software Testing","author":"Meyers","year":"1979"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB78","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSE.1986.6312935","article-title":"Data Structured Programming: Program Design without Arrays and Pointers","volume":"SE-12","author":"Mills","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB79","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TSE.1980.230459","article-title":"Abstract Data Type Specification in the AFFIRM System","volume":"SE-6","author":"Musser","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/0164-1212(89)90061-7_BIB80","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/TSE.1984.5010280","article-title":"The Draco Approach to Constructing Software from Reusable Components","volume":"SE-10","author":"Neighbors","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB81","series-title":"Information Processing","first-page":"527","article-title":"VDM From Research to Practice","author":"Oest","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB82","series-title":"Proceedings of the 11th ACM Symposium on the Principles of Programming Languages","first-page":"11","article-title":"A New Program Structuring Mechanism Based on Layered Graphs","author":"Ossher","year":"1984"},{"issue":"6","key":"10.1016\/0164-1212(89)90061-7_BIB83","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1109\/TSE.1983.235432","article-title":"Toolpack\u2014An Experimental Software Development Environment Research Project","volume":"SE-9","author":"Osterweil","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"10.1016\/0164-1212(89)90061-7_BIB84","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TSE.1985.232507","article-title":"An Algebra for a General Entity-Relationship Model","volume":"SE-11","author":"Parent","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"12","key":"10.1016\/0164-1212(89)90061-7_BIB85","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","article-title":"On the Criteria To Be Used in Decomposing Systems in Modules","volume":"15","author":"Parnas","year":"1972","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(89)90061-7_BIB86","series-title":"IFIP Congress Proceedings","first-page":"861","article-title":"The Use of Precise Specifications in the Development of Software","author":"Parnas","year":"1977"},{"issue":"3","key":"10.1016\/0164-1212(89)90061-7_BIB87","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/356914.356917","article-title":"Program Transformation Systems","volume":"15","author":"Partsch","year":"1983","journal-title":"Computing Surveys"},{"issue":"7","key":"10.1016\/0164-1212(89)90061-7_BIB88","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1109\/TSE.1986.6312978","article-title":"Programming in the Large","volume":"SE-12","author":"Ramamoorthy","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB89","series-title":"Proceedings of the 11th ACM Symposium on the Principles of Programming Languages","first-page":"36","article-title":"Interactive Proof Checking","author":"Reps","year":"1984"},{"issue":"12","key":"10.1016\/0164-1212(89)90061-7_BIB90","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","article-title":"Partition Analysis: A Method Combining Testing and Verification","volume":"SE-11","author":"Richardson","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB91","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","article-title":"Structured Analysis (SA): A Language for Communicating Ideas","volume":"SE-3","author":"Ross","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB92","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/1010925.1010929","article-title":"Introduction of a Formal Technique into a Software-Development Environment (Early Observations)","volume":"9","author":"Shaw","year":"1984","journal-title":"Software Engineering Notes"},{"key":"10.1016\/0164-1212(89)90061-7_BIB93","series-title":"Proceedings of the 6th IEEE International Conference on Software Engineering","first-page":"68","article-title":"Configuration Control for Evolutional Software Products","author":"Shigo","year":"1982"},{"issue":"11","key":"10.1016\/0164-1212(89)90061-7_BIB94","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1985.231879","article-title":"Research on Knowledge-Based Software Environments at Kestrel Institute","volume":"SE-11","author":"Smith","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"10.1016\/0164-1212(89)90061-7_BIB95","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1145\/359605.359620","article-title":"Data Base Abstractions: Aggregation","volume":"20","author":"Smith","year":"1977","journal-title":"Commun. ACM"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB96","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","article-title":"Data Base Abstractions: Aggregation and Generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM Trans. Data Base Syst."},{"key":"10.1016\/0164-1212(89)90061-7_BIB97","series-title":"Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments","first-page":"57","article-title":"Arcturus: A Prototype Advanced ADA Programming Environment","author":"Standish","year":"1984"},{"key":"10.1016\/0164-1212(89)90061-7_BIB98","series-title":"ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments","first-page":"216","article-title":"The Mesa Programming Environment","author":"Sweet","year":"1985"},{"key":"10.1016\/0164-1212(89)90061-7_BIB99","series-title":"ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments","first-page":"230","article-title":"The Structure of Cedar","author":"Swinehart","year":"1985"},{"issue":"9","key":"10.1016\/0164-1212(89)90061-7_BIB100","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/358746.358755","article-title":"The Cornell Program Synthesizer: A Syntax-Directed Programming Environment","volume":"24","author":"Teitelbaum","year":"1981","journal-title":"Commun. ACM"},{"issue":"4","key":"10.1016\/0164-1212(89)90061-7_BIB101","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/C-M.1981.220410","article-title":"The Interlisp Programming Environment","volume":"14","author":"Teitelman","year":"1981","journal-title":"Computer"},{"key":"10.1016\/0164-1212(89)90061-7_BIB102","series-title":"Proceedings of the 19th Hawaii International Conference on System Sciences","first-page":"436","article-title":"ENCOMPASS: a SAGA Based Environment for the Composition of Programs and Specifications","author":"Terwilliger","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB103","article-title":"PLEASE: Executable Specifications for Incremental Software Development","author":"Terwilliger","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB104","series-title":"Proceedings of the 1986 ACM Computer Science Conference","first-page":"349","article-title":"PLEASE: Predicate Logic based ExecutAble Specifications","author":"Terwilliger","year":"1986"},{"key":"10.1016\/0164-1212(89)90061-7_BIB105","series-title":"Proceedings of the 4th International Workshop on Software Specification and Design","first-page":"249","article-title":"PLEASE: a Language for Incremental Software Development","author":"Terwilliger","year":"1987"},{"key":"10.1016\/0164-1212(89)90061-7_BIB106","series-title":"Proceedings IEEE 4th International Conference on Software Engineering","first-page":"29","article-title":"Software Development Control Based on Module Interconnection","author":"Tichy","year":"1979"},{"key":"10.1016\/0164-1212(89)90061-7_BIB107","series-title":"Proceedings of the 6th IEEE International Conference on Software Engineering","first-page":"58","article-title":"Design, Implementation, and Evaluation of a Revision Control System","author":"Tichy","year":"1982"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB108","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1109\/TSE.1986.6312949","article-title":"Real-Time Software Life Cycle with the Model System","volume":"SE-12","author":"Tseng","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB109","series-title":"Proceedings of the 6th International Conference on Software Engineering","first-page":"246","article-title":"Experience with A Module Package in Developing Production Quality PASCAL Programs","author":"Warren","year":"1982"},{"key":"10.1016\/0164-1212(89)90061-7_BIB110","series-title":"Programming with Ada: an Introduction by Means of Graduated Examples","author":"Wegner","year":"1980"},{"issue":"1","key":"10.1016\/0164-1212(89)90061-7_BIB111","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/TSE.1984.5010200","article-title":"Reviews, Walkthrough, and Inspections","volume":"SE-10","author":"Weinberg","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"10.1016\/0164-1212(89)90061-7_BIB112","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","article-title":"Program Development by Stepwise Refinement","volume":"14","author":"Wirth","year":"1971","journal-title":"Commun. ACM"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB113","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MS.1985.230352","article-title":"Ada-Based Support for Programming-in-the-Large","volume":"2","author":"Wolf","year":"1985","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/0164-1212(89)90061-7_BIB114","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","article-title":"An Introduction to the Construction and Verification of Alphard Programs","volume":"SE-2","author":"Wulf","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB115","series-title":"Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design","author":"Yourdon","year":"1979"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB116","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/TSE.1985.232192","article-title":"IOTA: A Modular Programming System","volume":"SE-11","author":"Yuasa","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB117","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/69610.357982","article-title":"The Operational Versus the Conventional Approach to Software Development","volume":"27","author":"Zave","year":"1984","journal-title":"Commun. ACM"},{"issue":"2","key":"10.1016\/0164-1212(89)90061-7_BIB118","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1109\/TSE.1986.6312946","article-title":"Salient Features of an Executable Specification Language and Its Environment","volume":"SE-12","author":"Zave","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90061-7_BIB119","series-title":"Proceedings SOFTFAIR","first-page":"164","article-title":"Automating the Configuration Management Process","author":"Zucker","year":"1983"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121289900617?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121289900617?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:56:55Z","timestamp":1552604215000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121289900617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,7]]},"references-count":119,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,7]]}},"alternative-id":["0164121289900617"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(89)90061-7","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1989,7]]}}}