{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:18:24Z","timestamp":1730283504913,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/modre.2011.6045369","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T11:31:41Z","timestamp":1318937501000},"page":"74-78","source":"Crossref","is-referenced-by-count":0,"title":["Requirements verification in the presence of variability"],"prefix":"10.1109","author":[{"given":"J.-Pierre","family":"Corriveau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soheila","family":"Bashardoust","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojislav D.","family":"Radonjic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Software support for Computational Independent Modelling in the MDA context","author":"martin","year":"2008","journal-title":"1st International Workshop on Business Support for MDA"},{"key":"ref11","first-page":"22","article-title":"From requirements to architectural design—using goals and scenarios","author":"liu","year":"2001","journal-title":"ICSE-2001 Workshop From Software Requirements to Architectures (STRAW"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.6.5.747-768"},{"article-title":"Use Case Maps for Object Oriented Systems","year":"1995","author":"buhr","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00244-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2010.29"},{"article-title":"The Validation Framework","year":"0","author":"arnold","key":"ref17"},{"article-title":"Generating Verifiable Test Scenarios, SERP 2011","year":"2011","author":"corriveau","key":"ref18"},{"key":"ref19","first-page":"23","article-title":"Software Product Line Testing: A Systematic Review","volume":"1","author":"lamancha","year":"2009","journal-title":"ICSOFT"},{"article-title":"Generative Programming: Methods, Tools, and Applications","year":"2000","author":"czarnecki","key":"ref4"},{"article-title":"Software Product Lines: Practice and Patterns","year":"2001","author":"clements","key":"ref3"},{"key":"ref6","first-page":"33","article-title":"Modeling behaviors in product lines","author":"ziadi","year":"2002","journal-title":"Proceedings of REPL'02 Workshop on Requirements Engineering for Product Lines"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267581"},{"key":"ref7","first-page":"35","author":"nuseibeh","year":"2000","journal-title":"Requirements Engineering A Roadmap Proceedings of the Conference on the Future of Software Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233797"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/52.730836"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.54"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00079-1"},{"key":"ref22","article-title":"Challenges of Variability in Model-Driven and Transformational Approaches: A Systematic Survey","author":"bashardoust","year":"2011","journal-title":"Workshop on Variability in Software Architecture WICSA2011"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16086-8_3"}],"event":{"name":"2011 Model-Driven Requirements Engineering Workshop (MoDRE)","start":{"date-parts":[[2011,8,29]]},"location":"Trento, Italy","end":{"date-parts":[[2011,8,29]]}},"container-title":["2011 Model-Driven Requirements Engineering Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6035928\/6045358\/06045369.pdf?arnumber=6045369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T03:53:25Z","timestamp":1490068405000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6045369\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/modre.2011.6045369","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}