{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:54:28Z","timestamp":1715241268536},"reference-count":52,"publisher":"CRC Press","isbn-type":[{"value":"9781420059779","type":"print"},{"value":"9781420059786","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11,24]]},"DOI":"10.1081\/e-ese-120044141","type":"book-chapter","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T15:09:12Z","timestamp":1469718552000},"page":"1230-1248","source":"Crossref","is-referenced-by-count":1,"title":["Triptych Process Model"],"prefix":"10.1081","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,7,28]]},"reference":[{"key":"CIT0001","unstructured":"Sommerville , I.Software Engineering, 6th ; Addison-Wesley : England , 1982 \u2013 2001 ."},{"key":"CIT0002","first-page":"1981","volume-title":"International Edition, Computer Science Series","author":"Pressman R. S.","edition":"5"},{"key":"CIT0003","volume-title":"Software Engineering, Theory and Practice","author":"Pfleeger S. L.","year":"2001","edition":"2"},{"key":"CIT0004","volume-title":"Fundamentals of Software Engineering","author":"Ghezzi C.","year":"2002","edition":"2"},{"key":"CIT0005","volume-title":"Managing The Software Process","author":"Humphrey W.","year":"1989"},{"key":"CIT0006","volume-title":"Software Engineering: Principles and Practice","author":"van Vliet H.","year":"2000","edition":"2"},{"key":"CIT0007","volume-title":"Software Engineering, Vol. 3: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series","author":"Bj\u00f8rner D.","year":"2006"},{"key":"CIT0008","volume-title":"Problem Frames\u2014Analyzing and Structuring Software Development Problems","author":"Jackson M. A.","year":"2001"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner , D. Oest , O. N.The DDC Ada Compiler Development Project; 1980 ; 1 \u2013 19 .","DOI":"10.1007\/3-540-10283-3_1"},{"key":"CIT0010","first-page":"430","volume-title":"Proceedings of 7th International Conference on Software Engineering","author":"Clemmensen G. B.","year":"1984"},{"key":"R0011","volume-title":"Software Abstractions Logic, Language, and Analysis","author":"Jackson D.","year":"2006"},{"key":"R0012","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"R0013","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_3"},{"key":"R0014","volume-title":"Proceedings from an April 1998 Symposium","author":"Futatsugi K."},{"key":"R0015","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification, of AMAST Series in Computing","volume":"6","author":"Futatsugi K.","year":"1998"},{"key":"R0016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_4"},{"key":"R0017","volume-title":"CASL User Manual. Springer-Verlag Lecture Notes in Computer Science 2900","author":"Bidoit M.","year":"2004"},{"key":"R0018","volume-title":"Reference Manual, Lecture Notes in Computer Science (IFIP Series)","volume":"2690","author":"CoFI (The Common Framework Initiative), CASL","year":"2004"},{"key":"R0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_5"},{"key":"R0020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06784-0"},{"issue":"5","key":"R0021","volume":"40","author":"Chao Chen Zhou","year":"1992","journal-title":"Inf. Proc. Letters"},{"key":"R0022","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"R0023","volume-title":"Come, Let's Play\u2014Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003"},{"key":"R0024","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_35"},{"key":"R0028","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"Jensen K.","year":"1997"},{"key":"R0029","volume-title":"Kommunikation mit Automaten","author":"Petri C. A.","year":"1962"},{"key":"R0030","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"R0031","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75329-9"},{"key":"R0032","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7"},{"key":"R0033","volume-title":"Software Engineering, Vol. 3: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series","author":"Bj\u00f8rner D.","year":"2006"},{"key":"R0034","volume-title":"The RAISE Specification Language","author":"George C. W.","year":"1992"},{"key":"R0035","volume-title":"The RAISE Method","author":"George C. W.","year":"1995"},{"key":"R0036","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_7"},{"key":"R0037","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"R0038","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"R0039","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"R0040","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"R0041","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"R0042","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"R0043","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"R0044","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"R0045","volume-title":"Specifying Systems","author":"Lamport L.","year":"2002"},{"key":"R0046","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_8"},{"key":"R0047","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08766-4"},{"key":"R0048","volume-title":"Formal Specification and Software Development","author":"Bj\u00f8rner D.","year":"1982"},{"key":"R0049","volume-title":"Developing Software Using VDM-SL","author":"Fitzgerald J. S.","year":"1997"},{"key":"R0050","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_9"},{"key":"R0051","volume-title":"Understanding Z: A Specification Language and its Formal Semantics","author":"Spivey J. M.","year":"1988"},{"key":"R0052","volume-title":"The Z Notation: A Reference Manual","author":"Spivey J. M.","year":"1992"},{"key":"R0053","volume-title":"Using Z: Specification, Proof and Refinement","author":"Woodcock J.C. P.","year":"1996"},{"key":"R0054","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_10"},{"key":"R0055","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10283-3"}],"container-title":["Encyclopedia of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.crcnetbase.com\/doi\/pdf\/10.1081\/E-ESE-120044141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T21:31:11Z","timestamp":1568237471000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1081\/E-ESE-120044141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,24]]},"ISBN":["9781420059779","9781420059786"],"references-count":52,"alternative-id":["10.1081\/E-ESE-120044141","10.1081\/E-ESE"],"URL":"https:\/\/doi.org\/10.1081\/e-ese-120044141","relation":{},"subject":[],"published":{"date-parts":[[2010,11,24]]}}}