{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:28:26Z","timestamp":1648855706229},"reference-count":95,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"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":[[1996,3]]},"DOI":"10.1016\/0164-1212(95)00071-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:26:53Z","timestamp":1027636013000},"page":"269-308","source":"Crossref","is-referenced-by-count":16,"title":["Languages for the specification of software"],"prefix":"10.1016","volume":"32","author":[{"given":"Daniel","family":"Cooke","sequence":"first","affiliation":[]},{"given":"Ann","family":"Gates","sequence":"additional","affiliation":[]},{"given":"Elif","family":"Demir\u00f6rs","sequence":"additional","affiliation":[]},{"given":"Onur","family":"Demir\u00f6rs","sequence":"additional","affiliation":[]},{"given":"Murat M.","family":"Tanik","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Kr\u00e4mer","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(95)00071-2_BIB1","doi-asserted-by":"crossref","article-title":"Composing specifications","author":"Abadi","year":"1990","DOI":"10.1007\/3-540-52559-9_59"},{"issue":"3","key":"10.1016\/0164-1212(95)00071-2_BIB2","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/0950-5849(88)90063-8","article-title":"Specification Aspects of VDM","volume":"30","author":"Andrews","year":"1988","journal-title":"Information and Software Technology"},{"key":"10.1016\/0164-1212(95)00071-2_BIB3","author":"Andrews","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB4","series-title":"Workshop on Models and Languages for Software Specification and Design","first-page":"103","volume":"18","author":"Babb","year":"1985"},{"key":"10.1016\/0164-1212(95)00071-2_BIB5","series-title":"Software Specification Techniques","first-page":"25","article-title":"Principles of good software specification and their implications for specification languages","author":"Balzer","year":"1986"},{"issue":"1","key":"10.1016\/0164-1212(95)00071-2_BIB6","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","article-title":"Programming by Multiset Transformation","volume":"36","author":"Banatre","year":"1993","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(95)00071-2_BIB7","series-title":"Advances in Petri nets 1988","first-page":"20","article-title":"OBJSA NetsL A class of high-level nets having objects as domains","author":"Battiston","year":"1988"},{"key":"10.1016\/0164-1212(95)00071-2_BIB8","series-title":"Modern Software Engineering Foundations and Current Perspectives","first-page":"83","article-title":"Languages for specification, design, and prototyping","author":"Berzins","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB9","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/52.50776","author":"Berzins","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(95)00071-2_BIB10","author":"Berzins","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB11","article-title":"The specification and prototyping language SF","author":"Berztiss","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB12","series-title":"SEKE '90 Proceedings Software Engineering Knowledge Engineering","first-page":"51","article-title":"The prototyping language SF and its implementation","author":"Berztiss","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB13","series-title":"Proceedings of the 3rd International Workshop on Petri-nets and Performance Models","first-page":"166","article-title":"Many-Sorted High-Level Nets","author":"Billington","year":"1989"},{"key":"10.1016\/0164-1212(95)00071-2_BIB14","series-title":"Formal Description of Programming Concepts","article-title":"Specification and transformation methodology aspects of the Vienna development method\u2014towards a meaning of the \u2018M\u2019 in VDM","author":"Bjorner","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB15","first-page":"87","article-title":"A multidimensional approach to application development","volume":"PD-Vol. 43","author":"Blum","year":"1992"},{"key":"10.1016\/0164-1212(95)00071-2_BIB16","article-title":"On the Design of Extended LOTOS","author":"Brinksma","year":"1988"},{"key":"10.1016\/0164-1212(95)00071-2_BIB17","series-title":"Abstract Software Specifications 1979 Copenhagen Winter School","first-page":"294","article-title":"The semantics of CLEAR: A Specification Language","author":"Burstall","year":"1980"},{"key":"10.1016\/0164-1212(95)00071-2_BIB18","series-title":"The Correctness Problem in Computer Science","first-page":"185","article-title":"An informal introduction to specifications using CLEAR","author":"Burstall","year":"1981"},{"key":"10.1016\/0164-1212(95)00071-2_BIB19","series-title":"Theoretical Foundations of Programming Methodology","first-page":"329","article-title":"Algebras, theories and freeness: An introduction for computer scientists","author":"Burstall","year":"1982"},{"key":"10.1016\/0164-1212(95)00071-2_BIB20","series-title":"Software Specification Techniques","first-page":"363","article-title":"An informal introduction to specifications using Clear","author":"Burstall","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB21","author":"Chandy","year":"1988"},{"key":"10.1016\/0164-1212(95)00071-2_BIB22","series-title":"PARLE Parallel Architectures and Languages Europe","first-page":"30","article-title":"PARLOG: The language and its application","author":"Clark","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB23","author":"Clocksin","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB24","article-title":"An executable high level language based on multisets","author":"Cooke","year":"1994"},{"key":"10.1016\/0164-1212(95)00071-2_BIB25","author":"Cooling","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB26","article-title":"An International Survey of Industrial Applications of Formal Methods","volume":"Volume 1","author":"Craigen","year":"1993","journal-title":"NIST GCR 93\/926"},{"key":"10.1016\/0164-1212(95)00071-2_BIB27","author":"Davis","year":"1981"},{"key":"10.1016\/0164-1212(95)00071-2_BIB28","article-title":"System Specification Methods and Languages","author":"Demirors","year":"1993"},{"key":"10.1016\/0164-1212(95)00071-2_BIB29","series-title":"The Second IEEE\/ACM International Conference on System Integration","article-title":"An Alternative Software Development Model Supporting Software Evolution","author":"Demirors","year":"1992"},{"key":"10.1016\/0164-1212(95)00071-2_BIB30","series-title":"Advances in Petri nets 1991","first-page":"93","article-title":"Semantics, Composition and Properties of Algebraic High-Level Nets","author":"Dimirtovici","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB31","series-title":"Proceedings of the Third International Workshop on Rapid System Prototyping","first-page":"235","article-title":"A Language for Prototyping with Sets","author":"Doberkat","year":"1992"},{"key":"10.1016\/0164-1212(95)00071-2_BIB32","author":"Ehrig","year":"1985"},{"key":"10.1016\/0164-1212(95)00071-2_BIB33","article-title":"ACT ONE: An algebraic specification language with two levels of semantics","author":"Ehrig","year":"1983"},{"issue":"1","key":"10.1016\/0164-1212(95)00071-2_BIB34","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative Communications in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/0164-1212(95)00071-2_BIB35","author":"Genesereth","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB36","series-title":"ESPRIT'87 Achievement and Impact","first-page":"451","article-title":"Software Development in RIASE","author":"George","year":"1987"},{"issue":"3","key":"10.1016\/0164-1212(95)00071-2_BIB37","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0950-5849(88)90059-6","article-title":"What are Formal Methods","volume":"30","author":"Gibbins","year":"1988","journal-title":"Information and Software Technology"},{"key":"10.1016\/0164-1212(95)00071-2_BIB38","article-title":"Introducing OBJ3","author":"Goguen","year":"1988"},{"key":"10.1016\/0164-1212(95)00071-2_BIB39","series-title":"Software Specification Techniques","first-page":"391","article-title":"An introduction to OBJ: A language for writing and testing formal algebraic program specifications","author":"Goguen","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB40","series-title":"Software Specification Techniques","first-page":"55","article-title":"Notes on type abstraction","author":"Guttag","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB41","article-title":"A tutorial on Larch and LCL, A Larch\/C interface language","volume":"Vol. 2","author":"Guttag","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB42","author":"Guttag","year":"1991"},{"issue":"5","key":"10.1016\/0164-1212(95)00071-2_BIB43","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"},{"key":"10.1016\/0164-1212(95)00071-2_BIB44","author":"Guttag","year":"1985"},{"issue":"4","key":"10.1016\/0164-1212(95)00071-2_BIB45","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","article-title":"MultiLisp: A Language for Concurrent Symbolic Computation","volume":"7","author":"Halstead","year":"1985","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/0164-1212(95)00071-2_BIB46","author":"Hao","year":"1981"},{"key":"10.1016\/0164-1212(95)00071-2_BIB47","article-title":"Understanding the differences between VDM and Z. Programming Research Group","author":"Hayes","year":"1993","journal-title":"Oxford University, Technical Report UMCS-93-8-1"},{"key":"10.1016\/0164-1212(95)00071-2_BIB48","author":"Hayes","year":"1987"},{"issue":"8","key":"10.1016\/0164-1212(95)00071-2_BIB49","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating Sequential Processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Communications of the ACM"},{"key":"10.1016\/0164-1212(95)00071-2_BIB50","author":"Hoare","year":"1985"},{"key":"10.1016\/0164-1212(95)00071-2_BIB51","series-title":"The Software Life Cycle","first-page":"260","article-title":"Z and system specification","author":"Ince","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB52","author":"INMOS Ltd.","year":"1984"},{"issue":"1","key":"10.1016\/0164-1212(95)00071-2_BIB53","first-page":"3","article-title":"The Project GRASPIN and its CASE Environment Prototypes: An Overview","volume":"15","author":"Itzfeld","year":"1991","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/0164-1212(95)00071-2_BIB54","author":"Jensen","year":"1992"},{"key":"10.1016\/0164-1212(95)00071-2_BIB55","series-title":"Software Specification Techniques","first-page":"89","article-title":"Systematic program development","author":"Jones","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB56","author":"Jones","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB57","series-title":"Formal Methods: Theory and Practice","first-page":"103","article-title":"From specification, through design to code: A case study of refinement","author":"King","year":"1989"},{"key":"10.1016\/0164-1212(95)00071-2_BIB58","article-title":"Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond","author":"Klop","year":"1990","journal-title":"Centre for Mathematics and Computer Science Technical Report CS-R9013"},{"key":"10.1016\/0164-1212(95)00071-2_BIB59","series-title":"Proceedings of the 9th Annual International Conference on Software Engineering","first-page":"116","article-title":"SEGRAS\u2014A Formal Language Combining Petri-nets and Abstract Data Types for Specifying Distributed Systems","author":"Kraemer","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB60","author":"Kraemer","year":"1989"},{"issue":"1","key":"10.1016\/0164-1212(95)00071-2_BIB61","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0164-1212(91)90075-H","article-title":"A Sort of Parametric Polymorphism for Algebraic Specifications","volume":"15","author":"Kraemer","year":"1991","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/0164-1212(95)00071-2_BIB62","series-title":"Proceedings of the Sixth International Workshop on Software Specification and Design","first-page":"60","article-title":"Prototyping and Formal Analysis of Concurrent and Distributed Systems","author":"Kraemer","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB63","series-title":"Proceedings of the Fourteenth Annual International Computer Software and Applications Conference","first-page":"617","article-title":"Architecture and Functionality of A Specification Environment for Distributed Software","author":"Kraemer","year":"1990"},{"issue":"5","key":"10.1016\/0164-1212(95)00071-2_BIB64","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1109\/32.232012","article-title":"Compositional Semantics of a Real-Time Prototyping Language","volume":"19","author":"Kraemer","year":"1993","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(95)00071-2_BIB65","series-title":"Software Specification Techniques","first-page":"3","article-title":"An appraisal of program specifications","author":"Liskov","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB66","first-page":"1","article-title":"An introduction to formal specifications of data abstraction","volume":"Vol. 1","author":"Liskov","year":"1977"},{"key":"10.1016\/0164-1212(95)00071-2_BIB67","author":"MacLennan","year":"1990"},{"key":"10.1016\/0164-1212(95)00071-2_BIB68","author":"Mandrioli","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB69","article-title":"A Calculus of Communicating Systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/0164-1212(95)00071-2_BIB70","author":"Milner","year":"1989"},{"key":"10.1016\/0164-1212(95)00071-2_BIB71","author":"Milner","year":"1991"},{"key":"10.1016\/0164-1212(95)00071-2_BIB72","article-title":"A calculus of mobile processes","author":"Milner","year":"1989"},{"issue":"9\u201366","key":"10.1016\/0164-1212(95)00071-2_BIB73","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","article-title":"Specification Oriented Semantics for Communicating Processes","volume":"23","author":"Olderog","year":"1986","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(95)00071-2_BIB74","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","article-title":"Petri-nets and Algebraic Specifications","volume":"80","author":"Reisig","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/0164-1212(95)00071-2_BIB75","author":"Rich","year":"1990"},{"issue":"2","key":"10.1016\/0164-1212(95)00071-2_BIB76","first-page":"42","article-title":"Prolog: A Tutorial Introduction","volume":"15","author":"Sammut","year":"1983","journal-title":"The Australian Computer Journal"},{"key":"10.1016\/0164-1212(95)00071-2_BIB77","author":"Schwartz","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB78","author":"Simon","year":"1969"},{"key":"10.1016\/0164-1212(95)00071-2_BIB79","author":"Sommerville","year":"1989"},{"key":"10.1016\/0164-1212(95)00071-2_BIB80","author":"Spivey","year":"1988"},{"key":"10.1016\/0164-1212(95)00071-2_BIB81","author":"Spivey","year":"1989"},{"key":"10.1016\/0164-1212(95)00071-2_BIB82","author":"Sterling","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB83","series-title":"Software Specification Techniques","first-page":"41","article-title":"On the inevitable intertwining of specification and implementation","author":"Swartout","year":"1986"},{"key":"10.1016\/0164-1212(95)00071-2_BIB84","article-title":"Techniques in abstract design methods in engineering design development","volume":"Volumes 55, 56, or 57","author":"Tanik","year":"1992"},{"key":"10.1016\/0164-1212(95)00071-2_BIB85","series-title":"Functional Programming Languages and Computer Architecture","first-page":"1","article-title":"Miranda: A non-strict functional language with polymorphic types","author":"Turner","year":"1985"},{"key":"10.1016\/0164-1212(95)00071-2_BIB86","series-title":"The Formal Description of Lotos","author":"van Eijk","year":"1989"},{"key":"10.1016\/0164-1212(95)00071-2_BIB87","series-title":"Advances in Petri nets 1987","first-page":"293","article-title":"Parallel systems specifications with colored Petri-nets and algebraic abstract data types","author":"Vautherin","year":"1987"},{"key":"10.1016\/0164-1212(95)00071-2_BIB88","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/spe.4380100203","article-title":"Logic Programming and Compiler Writing","volume":"10","author":"Warren","year":"1980","journal-title":"Software\u2014Practice and Experience"},{"issue":"4","key":"10.1016\/0164-1212(95)00071-2_BIB89","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.17803","article-title":"A Study of 12 Specifications of the Library Problem","volume":"5","author":"Wing","year":"1988","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/0164-1212(95)00071-2_BIB90","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/356635.356639","article-title":"On the Composition of Well-Structured Programs","volume":"8","author":"Wirth","year":"1974","journal-title":"Computing Surveys"},{"key":"10.1016\/0164-1212(95)00071-2_BIB91","first-page":"519","article-title":"Software requirements: New directions and perspectives","author":"Yeh","year":"1984"},{"issue":"3","key":"10.1016\/0164-1212(95)00071-2_BIB92","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1109\/32.75412","article-title":"An Insider's Evaluation of PAISLey","volume":"SE-17","author":"Zave","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10.1016\/0164-1212(95)00071-2_BIB93","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TSE.1982.235254","article-title":"An Operational Approach to Requirements Specification for Embedded Systems","volume":"SE-8","author":"Zave","year":"1982","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/0164-1212(95)00071-2_BIB94","series-title":"Proceedings of the 5th International Conference on Software Engineering","first-page":"295","article-title":"Executable Requirements for Embedded Systems","author":"Zave","year":"1981"},{"key":"10.1016\/0164-1212(95)00071-2_BIB95","series-title":"Programming Methodology","first-page":"477","article-title":"Formalization, history, present, and future","author":"Zemanek","year":"1974"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121295000712?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121295000712?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T05:51:28Z","timestamp":1555653088000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121295000712"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":95,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["0164121295000712"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(95)00071-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}
