{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T20:34:10Z","timestamp":1726432450102},"reference-count":23,"publisher":"CRC Press","isbn-type":[{"type":"print","value":"9781420059779"},{"type":"electronic","value":"9781420059786"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11,24]]},"DOI":"10.1081\/e-ese-120044177","type":"book-chapter","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T11:09:12Z","timestamp":1469704152000},"page":"321-332","source":"Crossref","is-referenced-by-count":1,"title":["Formal Requirements Specification"],"prefix":"10.1081","author":[{"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Hinchey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Vassev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,7,28]]},"reference":[{"volume-title":"IEEE Computer Society","year":"1998","author":"IEEE Standard IEEE-Std-830-1998","key":"CIT0002"},{"volume-title":"Proceedings of the IEEE International Conference on Requirements Engineering, IEEE Computer Society","year":"1994","author":"Jackson M. A.","key":"CIT0003"},{"volume-title":"IEEE Software Engineering Standards Collection","year":"1991","key":"CIT0004"},{"key":"CIT0005","volume-title":"Computer Science and Engineering Handbook","author":"Bowen J. P.","year":"2004","edition":"2"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663697"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.35"},{"key":"CIT0010","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"Larman C.","year":"2004","edition":"3"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0025"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/52.391826"},{"volume-title":"Applications of Formal Methods","year":"1995","author":"Hinchey M. G.","key":"CIT0014"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0523-7"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805818"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"volume-title":"The Object Constraint Language: Precise Modeling with UML","year":"1998","author":"Warmer J.","key":"CIT0018"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"CIT0020","first-page":"17","volume-title":"Applications of Formal Methods","author":"Parnas D.","year":"1995"},{"volume-title":"International Standard ISO\/IEC 13568:2002","year":"2002","key":"CIT0021"},{"volume-title":"Formal Specification and Documentation Using Z: A Case Study Approach","year":"1996","author":"Bowen J. P.","key":"CIT0022"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-736-3"}],"container-title":["Encyclopedia of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.crcnetbase.com\/doi\/pdf\/10.1081\/E-ESE-120044177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T11:15:17Z","timestamp":1469704517000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1081\/E-ESE-120044177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,24]]},"ISBN":["9781420059779","9781420059786"],"references-count":23,"alternative-id":["10.1081\/E-ESE-120044177","10.1081\/E-ESE"],"URL":"https:\/\/doi.org\/10.1081\/e-ese-120044177","relation":{},"subject":[],"published":{"date-parts":[[2010,11,24]]}}}