{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:30:03Z","timestamp":1729661403024,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.2003.1232749","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"181-187","source":"Crossref","is-referenced-by-count":6,"title":["A reference model for requirements engineering"],"prefix":"10.1109","author":[{"given":"J.G.","family":"Hall","sequence":"first","affiliation":[]},{"given":"L.","family":"Rapanotti","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Software Requirements & Specifications: a Lexicon of Practice, Principles, and Prejudices","year":"1995","author":"jackson","key":"ref4"},{"article-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref3"},{"key":"ref10","first-page":"1","article-title":"Four dark corners of Requirements Engineering, ACM Transactions on Software Engineering and and methodology","volume":"6","author":"zave","year":"1997"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/225014.225016","article-title":"deriving specifications from requirements: an example","author":"jackson","year":"1995","journal-title":"1995 17th International Conference on Software Engineering icse"},{"article-title":"Problem Frames, ACM Press Books","year":"2001","author":"jackson","key":"ref5"},{"article-title":"A Calculus of Communicating Systems, Lecture Notes in Computer Science 92","year":"1980","author":"milner","key":"ref8"},{"key":"ref7","first-page":"13","article-title":"Verifying Clocked Transition Systems. In Hybrid Systems III, LNCS","volume":"1066","author":"kesten","year":"1996"},{"journal-title":"Towards a semantics of Problem Frames The Open University Department of Computing","year":"2003","author":"hall","key":"ref2"},{"key":"ref9","first-page":"41","article-title":"Functional Documentation for Computer Systems. Science of Computer Programming","volume":"25","author":"parnas","year":"1995"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/52.896248"}],"event":{"name":"11th IEEE International Requirements Engineering Conference","acronym":"ICRE-03","location":"Monterey Bay, CA, USA"},"container-title":["Journal of Lightwave Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8725\/27626\/01232749.pdf?arnumber=1232749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:22:29Z","timestamp":1497579749000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1232749\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icre.2003.1232749","relation":{},"subject":[]}}