{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T18:17:59Z","timestamp":1792865879298,"version":"4.5.0"},"reference-count":18,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.2003.1232742","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"105-114","source":"Crossref","is-referenced-by-count":17,"title":["Specifying and analyzing early requirements: some experimental results"],"prefix":"10.1109","author":[{"given":"A.","family":"Fuxman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Pistore","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Formal analysis of early requirements specifications","author":"fuxman","year":"2001"},{"key":"ref11","first-page":"174","article-title":"Model checking early requirements specifications in Tropos","author":"fuxman","year":"2001","journal-title":"IEEE Int Symp Requirements Engineering"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253498"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337616"},{"key":"ref15","article-title":"Reasoning about Agents in Goal-oriented Requirements Engineering","author":"leiter","year":"2001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919112"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"key":"ref4","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"the 5th Int Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref3","first-page":"81","article-title":"Compositional reasoning in model checking","volume":"1536","author":"berezin","year":"1998","journal-title":"COMPOSE*"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1049\/sej.1993.0025","article-title":"safety-critical systems, formal methods and standards","volume":"8","author":"bowen","year":"1993","journal-title":"Software Engineering Journal"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref7","first-page":"109","article-title":"Model checking RSML-e requirements","author":"choi","year":"2002","journal-title":"IEEE Intl Symposium on High Assurance Systems Engineering"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36577-X_3","article-title":"Bounded Model Checking for Past LTL","author":"benedetti","year":"2003","journal-title":"the 9th Int Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.210305"},{"key":"ref9","author":"clarke","year":"1999","journal-title":"Model checking"}],"event":{"name":"11th IEEE International Requirements Engineering Conference","location":"Monterey Bay, CA, USA","acronym":"ICRE-03"},"container-title":["Journal of Lightwave Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8725\/27626\/01232742.pdf?arnumber=1232742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:22:28Z","timestamp":1497579748000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1232742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icre.2003.1232742","relation":{},"subject":[]}}