{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:41Z","timestamp":1725487181076},"reference-count":11,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.1994.292380","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T09:32:51Z","timestamp":1040117571000},"page":"230-238","source":"Crossref","is-referenced-by-count":4,"title":["Towards a system for the construction, clarification, discovery and formalisation of requirements"],"prefix":"10.1109","author":[{"given":"J.","family":"Siddiqi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Morrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Hibberd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Buckberry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Programming from Specifications","year":"1990","author":"morgan","key":"ref4"},{"journal-title":"Software Engineering Principles and Methods","year":"1987","author":"ratcliff","key":"ref3"},{"journal-title":"Lisp and Symbol Manipulation","year":"1988","author":"hekmatpour","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1005937.1005945"},{"key":"ref11","article-title":"Putting into practice methods and tools for information system design","author":"stoddart","year":"1992","journal-title":"Tutorial Notes on Z and Formal Specification Fifth International Conference"},{"key":"ref5","first-page":"551","author":"mccracken","year":"1981","journal-title":"Systems Analysis and Design A Foundation for the 1980 s"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1993.404236"},{"journal-title":"Software Requirements Analysis and Specification","year":"1990","author":"davis","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"journal-title":"The Z Notation","year":"1989","author":"spivey","key":"ref9"},{"journal-title":"Software Development A Rigorous Approach","year":"1980","author":"jones","key":"ref1"}],"event":{"name":"IEEE International Conference on Requirements Engineering","acronym":"ICRE-94","location":"Colorado Springs, CO, USA"},"container-title":["Proceedings of IEEE International Conference on Requirements Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/948\/7229\/00292380.pdf?arnumber=292380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T07:33:48Z","timestamp":1489044828000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/292380\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icre.1994.292380","relation":{},"subject":[]}}