{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:15Z","timestamp":1763466495663,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/empire.2011.6046248","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T15:35:45Z","timestamp":1318952145000},"page":"13-20","source":"Crossref","is-referenced-by-count":17,"title":["Evaluating the use of model-based requirements verification method: A feasibility study"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Aceituna","sequence":"first","affiliation":[]},{"given":"Hyunsook","family":"Do","sequence":"additional","affiliation":[]},{"given":"Gursimran Singh","family":"Walia","sequence":"additional","affiliation":[]},{"given":"Seok-Won","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.38"},{"key":"ref11","article-title":"A human interactive approach to building requirements models","author":"aceituna","year":"2010","journal-title":"Fast Abstract ISSRE"},{"key":"ref12","first-page":"103","article-title":"Reducing ambiguities in requirements specifications via automatically created object-oriented models","author":"popescu","year":"0","journal-title":"Monterey Workshop"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2010.95"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.53"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1998.667822"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.738340"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/308769.308798","article-title":"A survey of software inspection checklists","volume":"24","author":"brykczynski","year":"1999","journal-title":"ACM SE Notes"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337232"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.962984"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"ref5","article-title":"User DRIVEN design - The luxury that has become a necessity","author":"gause","year":"2000","journal-title":"ICRE Tutorial T7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870421"},{"key":"ref7","first-page":"382","article-title":"Monitoring and control in scenario-based requirements Analysis","author":"letier","year":"2005","journal-title":"ICSE"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.391380"},{"key":"ref9","first-page":"680","article-title":"An automated tool for generationg UML models from natural language requirements","author":"deeptimahanti","year":"2009","journal-title":"ASE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89778-1_1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312976"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.31"},{"journal-title":"Perspectives on Software Requirements","year":"2004","author":"berry","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1057\/jit.1991.12"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.256853"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.177364"}],"event":{"name":"2011 First International Workshop on Empirical Requirements Engineering (EmpiRE)","start":{"date-parts":[[2011,8,30]]},"location":"Trento, Italy","end":{"date-parts":[[2011,8,30]]}},"container-title":["Workshop on Empirical Requirements Engineering (EmpiRE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6036121\/6046247\/06046248.pdf?arnumber=6046248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:12:48Z","timestamp":1497946368000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6046248\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/empire.2011.6046248","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}