{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T19:11:17Z","timestamp":1780513877236,"version":"3.54.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227147","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"705-715","source":"Crossref","is-referenced-by-count":30,"title":["Generating obstacle conditions for requirements completeness"],"prefix":"10.1109","author":[{"given":"Dalal","family":"Alrajeh","sequence":"first","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"van Lamsweerde","sequence":"additional","affiliation":[{"name":"ICTEAM, Université catholique de Louvain, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"van Lamsweerde","year":"2009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-002-0160-y"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671112"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"ref6","article-title":"report on the Inquiry Into the London Ambulance Service","volume-title":"The Communications Directorate, South West Thames Regional Authority. See also the London Ambulance System home page","year":"1993"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940106"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref9","article-title":"Specifying Message Passing and Time-Critical Systems with Temporal Logic","volume":"651","author":"Koymans","year":"1992"},{"key":"ref10","article-title":"Concurrency","volume-title":"State Models and Java Programs","author":"Magee","year":"1999"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6"},{"key":"ref13","first-page":"1070","article-title":"The stable model semantics for logic programming","volume-title":"Proc. of 5th Intl. Conf on Log. Program","author":"Gelfond"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501141"},{"key":"ref16","article-title":"Reasoning about agents in goal-oriented requirements engineering","author":"Letier","year":"2001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0027-7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2008.10.007"},{"key":"ref19","first-page":"54","article-title":"Inductive logic programming as abductive search","volume-title":"Tech. Comm. of 26th Intl. Conf. on Log. Program","volume":"7","author":"Corapi"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45402-0_38"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/225434.225462"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.738340"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671102"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0039-4"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_2"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79789-7_2"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1995.521878"},{"key":"ref28","volume-title":"Safeware-System Safety and Computers","author":"Leveson","year":"1995"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/9781119183631"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0128-5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45619-8_3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227147.pdf?arnumber=6227147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:40:52Z","timestamp":1747806052000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6227147\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227147","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}