{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:48:59Z","timestamp":1755838139476},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070527","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"page":"265-275","source":"Crossref","is-referenced-by-count":57,"title":["Learning operational requirements from goal models"],"prefix":"10.1109","author":[{"given":"Dalal","family":"Alrajeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastin","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/940103.940106"},{"journal-title":"Message Sequence Charts International Telecommunications Union Telecommunication Standardisation Sector","year":"1996","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1049\/ip-e.1983.0001"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"ref14","article-title":"Goal-oriented elaboration of requirements for a safety injection control system","author":"letier","year":"2002","journal-title":"Technical Report"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0027-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587070"},{"journal-title":"Concurrency State Models and Java Programs","year":"1999","author":"magee","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45632-5_17"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346033"},{"key":"ref3","article-title":"SAT based abstraction-refinement using ILP and machine learning techniques","author":"clarke","year":"2002","journal-title":"Proc of CAV"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/250707.239131"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78743-3_1"},{"key":"ref1","first-page":"63","article-title":"Extracting requirements from scenarios with ILP","author":"alrajeh","year":"2006","journal-title":"Proc of 16th ILP Conf"},{"key":"ref9","first-page":"5","article-title":"The london ambulance system case study","author":"finkelstein","year":"0","journal-title":"Proc 8th Int l Workshop Software Specification and Design"},{"key":"ref20","first-page":"28","article-title":"Using abduction for induction of normal logic programs","author":"ray","year":"2006","journal-title":"Proc of 2nd Workshop on AIAI and Scientific Modelling"},{"key":"ref21","first-page":"22","article-title":"An abductive approach for analysing event-based requirements specifications","author":"russo","year":"2002","journal-title":"Proc of 18th ICLP volume 2401 of LNCS"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","start":{"date-parts":[[2009,5,16]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070527.pdf?arnumber=5070527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T03:59:28Z","timestamp":1489809568000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070527\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070527","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}