{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:07:52Z","timestamp":1759032472552,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2001.989828","type":"proceedings-article","created":{"date-parts":[[2005,8,25]],"date-time":"2005-08-25T03:23:34Z","timestamp":1124940214000},"page":"354-358","source":"Crossref","is-referenced-by-count":7,"title":["An analysis-revision cycle to evolve requirements specifications"],"prefix":"10.1109","author":[{"given":"A.S.","family":"d'Avila Garcez","sequence":"first","affiliation":[]},{"given":"A.","family":"Russo","sequence":"additional","affiliation":[]},{"given":"B.","family":"Nuseibeh","sequence":"additional","affiliation":[]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1733-5_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008328630915"},{"key":"ref10","article-title":"An abductive approach for handling inconsistencies in SCR speci-fications","author":"russo","year":"2000","journal-title":"Proc 3rd lCSE WISE"},{"key":"ref6","first-page":"235","article-title":"The role of abduction in logic programming","volume":"5","author":"kakas","year":"1994","journal-title":"Handbook of Logic in A rtificial Intelligence and Logic Programming"},{"key":"ref11","article-title":"An abductive approach for analysing event-based requirements speci-fications","author":"rubso","year":"2001","journal-title":"Technical Report of Computing Department"},{"article-title":"Neural Networks: A Comprehensive Foundation","year":"1999","author":"haykin","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337184"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"ref7","article-title":"Example NRL\/SCR software requirements for an automobile cruise control and monitoring system","author":"kirby","year":"1987","journal-title":"Technical Report TR-87–07"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00077-1"},{"article-title":"Machine Learning","year":"1997","author":"mitchell","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(96)81920-4"}],"event":{"name":"16th Annual International Conference on Automated Software Engineering (ASE 2001)","acronym":"ASE-01","location":"San Diego, CA, USA"},"container-title":["Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7763\/21331\/00989828.pdf?arnumber=989828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T21:19:32Z","timestamp":1489180772000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/989828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ase.2001.989828","relation":{},"subject":[]}}