{"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":1748071582498},"reference-count":116,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1989,9,1]],"date-time":"1989-09-01T00:00:00Z","timestamp":620611200000},"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,9]]},"DOI":"10.1016\/0164-1212(89)90022-8","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:49:55Z","timestamp":1060303795000},"page":"97-112","source":"Crossref","is-referenced-by-count":18,"title":["PLEASE: Executable specifications for incremental software development"],"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)90022-8_BIB1","series-title":"Peer Review of a Formal Verification\/Design Proof Methodology","year":"1985"},{"key":"10.1016\/0164-1212(89)90022-8_BIB2","series-title":"Quintus Prolog Users Guide and Reference Manual (Version 3)","year":"1985"},{"key":"10.1016\/0164-1212(89)90022-8_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)90022-8_BIB4","series-title":"VADS Reference Manual","year":"1986"},{"key":"10.1016\/0164-1212(89)90022-8_BIB5","series-title":"Proceedings of the 4th International Workshop on Software Specification and Design","year":"1987"},{"issue":"9","key":"10.1016\/0164-1212(89)90022-8_BIB6","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TSE.1986.6313044","article-title":"RT-ASLAN: A Specification Language for Real-Time Systems","volume":"SE-12","author":"Auernheimer","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"11","key":"10.1016\/0164-1212(89)90022-8_BIB7","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)90022-8_BIB8","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)90022-8_BIB9","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."},{"key":"10.1016\/0164-1212(89)90022-8_BIB10","series-title":"Proceedings of the 9th International Conference on Software Engineering","first-page":"200","article-title":"Artificial Intelligence and Software Engineering","author":"Barstow","year":"1987"},{"issue":"1","key":"10.1016\/0164-1212(89)90022-8_BIB11","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/2363.2528","article-title":"Proofs as Programs","volume":"7","author":"Bates","year":"1985","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/0164-1212(89)90022-8_BIB12","series-title":"Report No. UIUCDCS-R-87-1335","article-title":"An Abstract Model for the Stepwise Development of Programs","author":"Benzinger","year":"1987"},{"key":"10.1016\/0164-1212(89)90022-8_BIB13","series-title":"Report No. UIUCDCS-R-87-1339","article-title":"A Model and a Method for the Stepwise Development of Verified Programs","author":"Benzinger","year":"1987"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB14","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/TSE.1987.232891","article-title":"Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language","volume":"SE-13","author":"Berry","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90022-8_BIB15","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)90022-8_BIB16","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)90022-8_BIB17","series-title":"Formal Specification and Software Development","author":"Bjorner","year":"1982"},{"issue":"9","key":"10.1016\/0164-1212(89)90022-8_BIB18","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/TSE.1986.6313053","article-title":"The Applications 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)90022-8_BIB19","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"},{"key":"10.1016\/0164-1212(89)90022-8_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)90022-8_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)90022-8_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)90022-8_BIB23","series-title":"Report No. UIUCDCS-R-87-1333","article-title":"Automating the Software Development Process","author":"Campbell","year":"1987"},{"key":"10.1016\/0164-1212(89)90022-8_BIB24","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)90022-8_BIB25","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/0164-1212(89)90022-8_BIB26","series-title":"Proceedings of the 5th International Conference on Software Engineering","first-page":"430","article-title":"Program Refinement By Transformation","author":"Cheatham","year":"1981"},{"key":"10.1016\/0164-1212(89)90022-8_BIB27","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/0164-1212(89)90022-8_BIB28","series-title":"A Programming Logic","author":"Constable","year":"1978"},{"issue":"3","key":"10.1016\/0164-1212(89)90022-8_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)90022-8_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)90022-8_BIB31","article-title":"Reference manual for the ADA Programming Language ANSI\/MIL-STD-1815A-1983","author":"U.S. Department of Defense","year":"1983"},{"issue":"5","key":"10.1016\/0164-1212(89)90022-8_BIB32","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)90022-8_BIB33","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(85)90076-1","article-title":"Synthetic Programming","volume":"25","author":"Dershowitz","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0164-1212(89)90022-8_BIB34","series-title":"Proceedings of the ACM National Conference","first-page":"125","article-title":"Software Design Using SADT","author":"Dickover","year":"1977"},{"key":"10.1016\/0164-1212(89)90022-8_BIB35","series-title":"Software Engineering Principles","article-title":"Structured programming","author":"Dijkstra","year":"1970"},{"issue":"7","key":"10.1016\/0164-1212(89)90022-8_BIB36","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)90022-8_BIB37","series-title":"Software Engineering Concepts","author":"Fairley","year":"1985"},{"key":"10.1016\/0164-1212(89)90022-8_BIB38","series-title":"Proceedings of the 9th International Conference on Software Engineering","first-page":"51","article-title":"Parameterized Programming in OBJ2","author":"Futatsugi","year":"1987"},{"issue":"3","key":"10.1016\/0164-1212(89)90022-8_BIB39","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)90022-8_BIB40","series-title":"Software Specification Techniques","year":"1986"},{"issue":"5","key":"10.1016\/0164-1212(89)90022-8_BIB41","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"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB42","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","article-title":"Equality, Types, Modules, and (why not?) Generics for Logic Programming","volume":"1","author":"Goguen","year":"1984","journal-title":"Logic Programming"},{"key":"10.1016\/0164-1212(89)90022-8_BIB43","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"},{"issue":"7","key":"10.1016\/0164-1212(89)90022-8_BIB44","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1109\/TSE.1986.6312977","article-title":"Knowledge-Based Programming: A Survey of Program Design and Construction Techniques","volume":"SE-12","author":"Goldberg","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"10.1016\/0164-1212(89)90022-8_BIB45","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/24714.24719","article-title":"Remarks on Remarks on Many-Sorted Equational Logic","volume":"22","author":"Gougen","year":"1987","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0164-1212(89)90022-8_BIB46","series-title":"Proceedings of the First IJCAI","first-page":"219","article-title":"Application of Theorem Proving to Problem Solving","author":"Green","year":"1969"},{"key":"10.1016\/0164-1212(89)90022-8_BIB47","series-title":"The Science of Programming","author":"Gries","year":"1981"},{"key":"10.1016\/0164-1212(89)90022-8_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"},{"key":"10.1016\/0164-1212(89)90022-8_BIB49","series-title":"Proceedings of the 7th ACM Symposium on the Principles of Programming Languages","first-page":"251","article-title":"Formal Specification as a Design Tool","author":"Guttag","year":"1980"},{"issue":"5","key":"10.1016\/0164-1212(89)90022-8_BIB50","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.1985.231756","article-title":"The Larch Family of Specification Languages","volume":"2","author":"Guttag","year":"1985","journal-title":"IEEE Software"},{"issue":"12","key":"10.1016\/0164-1212(89)90022-8_BIB51","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"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB52","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/TSE.1987.226477","article-title":"Muse\u2014A Computer Assisted Verification System","volume":"SE-13","author":"Halpern","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90022-8_BIB53","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"},{"key":"10.1016\/0164-1212(89)90022-8_BIB54","series-title":"Logic Programming","first-page":"117","article-title":"Program transformation by data structure mapping","author":"Hansson","year":"1982"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB55","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TSE.1986.6312939","article-title":"Functional Programming, Formal Specification, and Rapid Prototying","volume":"SE-12","author":"Henderson","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"issue":"10","key":"10.1016\/0164-1212(89)90022-8_BIB56","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)90022-8_BIB57","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":"2","key":"10.1016\/0164-1212(89)90022-8_BIB58","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","article-title":"Derivation of Logic Programs","volume":"28","author":"Hogger","year":"1981","journal-title":"J. Assoc. Computing Machinery"},{"key":"10.1016\/0164-1212(89)90022-8_BIB59","series-title":"System Development","author":"Jackson","year":"1983"},{"issue":"3","key":"10.1016\/0164-1212(89)90022-8_BIB60","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-Practice and Experience"},{"key":"10.1016\/0164-1212(89)90022-8_BIB61","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF00264020","article-title":"Constructing a Theory of a Data Structure as an Aid to Program Development","volume":"11","author":"Jones","year":"1979","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(89)90022-8_BIB62","series-title":"Software Development: A Rigorous Approach","author":"Jones","year":"1980"},{"issue":"4","key":"10.1016\/0164-1212(89)90022-8_BIB63","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)90022-8_BIB64","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","article-title":"Final Data Types and Their Specification","volume":"5","author":"Kamin","year":"1983","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/0164-1212(89)90022-8_BIB65","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)90022-8_BIB66","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)90022-8_BIB67","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)90022-8_BIB68","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence","article-title":"Equality for Prolog","author":"Kornfeld","year":"1983"},{"key":"10.1016\/0164-1212(89)90022-8_BIB69","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)90022-8_BIB70","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"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB71","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"},{"issue":"1","key":"10.1016\/0164-1212(89)90022-8_BIB72","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","article-title":"Specification Techniques for Data Abstractions","volume":"SE-1","author":"Liskov","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90022-8_BIB73","series-title":"The Foundation of Program Verification","author":"Loeckx","year":"1984"},{"key":"10.1016\/0164-1212(89)90022-8_BIB74","series-title":"Proceedings of the 9th International Conference on Software Engineering","first-page":"253","article-title":"Knowledge-Based Software Design Using Design Schemas","author":"Lubars","year":"1987"},{"key":"10.1016\/0164-1212(89)90022-8_BIB75","article-title":"Stanford Pascal Verifier User Manual, Report No. STAN-CS-79-731","author":"Luckham","year":"1979"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB76","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MS.1985.230345","article-title":"An Overview of Anna, a Specification Language for Ada","volume":"2","author":"Luckham","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(89)90022-8_BIB77","series-title":"Mathematical Theory of Computation","author":"Manna","year":"1974"},{"issue":"1","key":"10.1016\/0164-1212(89)90022-8_BIB78","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A Deductive Approach to Program Synthesis","volume":"2","author":"Manna","year":"1980","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/0164-1212(89)90022-8_BIB79","series-title":"The Art of Software Testing","author":"Meyers","year":"1979"},{"key":"10.1016\/0164-1212(89)90022-8_BIB80","series-title":"Tutorial: Automated Tools for Software Engineering","year":"1979"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB81","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)90022-8_BIB82","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TSE.1980.230459","article-title":"Abstract Data Type Specifications 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)90022-8_BIB83","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)90022-8_BIB84","series-title":"Information Processing","first-page":"527","article-title":"VDM From Research to Practice","author":"Oest","year":"1986"},{"issue":"6","key":"10.1016\/0164-1212(89)90022-8_BIB85","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."},{"key":"10.1016\/0164-1212(89)90022-8_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)90022-8_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"},{"key":"10.1016\/0164-1212(89)90022-8_BIB88","series-title":"Logic and Data Bases","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0164-1212(89)90022-8_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)90022-8_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)90022-8_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":"1","key":"10.1016\/0164-1212(89)90022-8_BIB92","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/TSE.1977.229899","article-title":"Structured Analysis for Requirements Definition","volume":"SE-3","author":"Ross","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB93","first-page":"58","article-title":"The Implementation of UNSW-Prolog","volume":"15","author":"Sammut","year":"1983","journal-title":"The Australian Computer J."},{"issue":"3","key":"10.1016\/0164-1212(89)90022-8_BIB94","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.1987.230396","article-title":"Knowledge-Based Program Debugging Systems","volume":"4","author":"Seviora","year":"1987","journal-title":"IEEE Software"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB95","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"},{"issue":"11","key":"10.1016\/0164-1212(89)90022-8_BIB96","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."},{"key":"10.1016\/0164-1212(89)90022-8_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)90022-8_BIB98","series-title":"Ph.D. Thesis, TR 85-664","article-title":"Representing Constructive Theories in High-Level Programming Languages","author":"Stansifer","year":"1985"},{"key":"10.1016\/0164-1212(89)90022-8_BIB99","series-title":"Proceedings of the International Symposium on Logic Programming","first-page":"211","article-title":"A Prolog Technology Theorem Prover","author":"Stickel","year":"1984"},{"key":"10.1016\/0164-1212(89)90022-8_BIB100","first-page":"230","article-title":"The Structure of Cedar, ACM SIGPLAN 85 Symposium on Language Issues in Programming Environment","author":"Swinehart","year":"1985"},{"issue":"9","key":"10.1016\/0164-1212(89)90022-8_BIB101","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"},{"key":"10.1016\/0164-1212(89)90022-8_BIB102","article-title":"Knowledge-Based Development in ENCOMPASS (Preliminary Report), Report No. UIUCDCS-R-87-1334","author":"Terwilliger","year":"1987"},{"key":"10.1016\/0164-1212(89)90022-8_BIB103","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)90022-8_BIB104","series-title":"Report No. UIUCDCS-R-86-1296","article-title":"ENCOMPASS: an Environment for the Incremental Development of Software","author":"Terwilliger","year":"1986"},{"key":"10.1016\/0164-1212(89)90022-8_BIB105","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)90022-8_BIB106","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"},{"issue":"2","key":"10.1016\/0164-1212(89)90022-8_BIB107","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."},{"issue":"11","key":"10.1016\/0164-1212(89)90022-8_BIB108","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1109\/TSE.1985.231880","article-title":"The Programmer's Apprentice: A Session with KBEmacs","volume":"SE-11","author":"Waters","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(89)90022-8_BIB109","series-title":"Programming with Ada: An Introduction by Means of Graduated Example","author":"Wegner","year":"1980"},{"issue":"1","key":"10.1016\/0164-1212(89)90022-8_BIB110","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/TSE.1984.5010200","article-title":"Reviews, Walkthroughs, and Inspections","volume":"SE-10","author":"Weinberg","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"issue":"11","key":"10.1016\/0164-1212(89)90022-8_BIB111","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1145\/182.358443","article-title":"Program Developments: Formal Explanations of Implementations","volume":"26","author":"Wile","year":"1983","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/0164-1212(89)90022-8_BIB112","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/9758.10500","article-title":"Writing Larch Interface Language Specifications","volume":"9","author":"Wing","year":"1987","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"10.1016\/0164-1212(89)90022-8_BIB113","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)90022-8_BIB114","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)90022-8_BIB115","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)90022-8_BIB116","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."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121289900228?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121289900228?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:57:04Z","timestamp":1552604224000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121289900228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,9]]},"references-count":116,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,9]]}},"alternative-id":["0164121289900228"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(89)90022-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1989,9]]}}}