{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:57:21Z","timestamp":1730257041572,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606690","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:38:03Z","timestamp":1380638283000},"page":"1249-1252","source":"Crossref","is-referenced-by-count":0,"title":["Computational alignment of goals and scenarios for complex systems"],"prefix":"10.1109","author":[{"given":"Dalai","family":"Alrajeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Lockerbie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Maiden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alistair","family":"Mavin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Novak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Social Modeling for Requirements Engineering","year":"0","author":"yu","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.52"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2003.1232752"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.008"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1049\/cp:20060237"},{"key":"11","first-page":"102","article-title":"Will it work","author":"hammond","year":"2001","journal-title":"IEEE Int Symp on RE"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48738-1_4"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985924"},{"journal-title":"Elaborating Requirements Using Model Checking and Inductive Learning","year":"2012","author":"alrajeh","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227147"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_23"},{"key":"7","first-page":"116","article-title":"Assumeguarantee verification for interface automata","author":"emmi","year":"2008","journal-title":"15th Intl Symp on Formal Methods"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"5","first-page":"54","article-title":"Inductive logic programming as abductive search","author":"corapi","year":"2010","journal-title":"26th ICLP"},{"journal-title":"Hospital Boss Lambasts NHS E-records System","year":"2009","author":"chapman","key":"4"},{"key":"9","first-page":"87","article-title":"Finding robust solutions in requirements models","volume":"17","author":"gay et al","year":"2010","journal-title":"ASEA J"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.61"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606690.pdf?arnumber=6606690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:14:26Z","timestamp":1490220866000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606690","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}