{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:48:39Z","timestamp":1763534919861},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439301"},{"type":"electronic","value":"9783540456193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45619-8_3","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:57:41Z","timestamp":1179586661000},"page":"22-37","source":"Crossref","is-referenced-by-count":25,"title":["An Abductive Approach for Analysing Event-Based Requirements Specifications"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Russo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bashar","family":"Nuseibeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"3_CR1","unstructured":"Alspaugh, T. et al. (1988). Software Requirements for the A-7E Aircraft. Naval Research Laboratory."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, R., et al. (1996). Model Checking Large Software Specifications. ACM Proc. of 4th Int. Symp. on the Foundation of Software Engineering.","DOI":"10.1145\/239098.239127"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.210305","volume":"19","author":"J. M. Atlee","year":"1993","unstructured":"Atlee, J. M., and Gannon, J. (1993). State-Based Model Checking of Event-Driven System Requirements. IEEE Transaction on Software Engineering, 19(1): 24\u201340.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"3_CR4","unstructured":"Bharadwaj, R., and Heitmeyer, C. (1997). Model Checking Complete Requirements Specifications Using Abstraction. Technical Report No. NRL-7999, NRL."},{"key":"3_CR5","unstructured":"Bharadwaj, R., and Sims, S. (2000). Salsa: Combining Solvers with BDDs for Automated Invariant Checking. Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in CS, Springer."},{"issue":"4","key":"3_CR6","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"M. Clarke","year":"1996","unstructured":"Clarke, M., and Wing, M. (1996). Formal Methods, State of the Art and Future Directions. ACM Computing Survey, 28(4): 626\u2013643.","journal-title":"ACM Computing Survey"},{"key":"3_CR7","unstructured":"Easterbrook, S., and Callahan, J. (1997). Formal Methods for Verification and Validation of Partial Specifications. Journal of Systems and Software."},{"key":"3_CR8","unstructured":"Gilb, T., and Graham, D. (1993). Software Inspection. Addison-Wesley."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C. L., Labaw, B., and Kiskis, D. (1995). Consistency Checking of SCR-style Requirements Specifications. Proc. of 2nd Int. Symp. on Requirements Engineering, York, 27\u201329.","DOI":"10.1109\/ISRE.1995.512546"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. L. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C. L., Jeffords, R. D., and Labaw, B. G. (1996). Automated Consistency Checking of Requirements Specifications. ACM Transaction of Software Engineering and Methodology, 5(3): 231\u2013261.","journal-title":"ACM Transaction of Software Engineering and Methodology"},{"issue":"11","key":"3_CR11","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1109\/32.730543","volume":"24","author":"C. L. Heitmeyer","year":"1998","unstructured":"Heitmeyer, C. L., et al. (1998). Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Transaction on Software Engineering, 24(11): 927\u2013947.","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"5","key":"3_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"Holzmann, G. J. (1997). The Model Checker SPIN. IEEE Transaction on Software Engineering, 23(5): 279\u2013295.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"3_CR13","unstructured":"Kakas, A. C., and Mancarella, P. (1990). Generalised Stable Models: A Semantics for Abduction. ECAI\u201990, Stockholm, pages 385\u2013391."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Kakas, A. C., and Michael, A. (1995). Integrating Abductive and Constraint Logic Programming. Proc. of 12th Int. Conf. on Logic Programming, Tokyo.","DOI":"10.7551\/mitpress\/4298.003.0043"},{"issue":"1\u20133","key":"3_CR15","first-page":"157","volume":"31","author":"A. C. Kakas","year":"1997","unstructured":"Kakas, A. C., and Miller R. (1997). A Simple Declarative Language for Describing Narratives with Actions. Journal of Logic Programming, Special issue on Reasoning about Actions and Events, 31(1\u20133): 157\u2013200.","journal-title":"Journal of Logic Programming, Special issue on Reasoning about Actions and Events"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Kakas, A. C., Kowalski, R. A., and Toni, F. (1998). The Role of Abduction in Logic Programming. In C. J. Hogger, J. A. Robinson D. M. Gabbay (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming (235\u2013324). OUP.","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"Kowalski, R. A., and Sergot, M. J. (1986). A Logic-Based Calculus of Events. New Generation Computing, 4: 67\u201395.","journal-title":"New Generation Computing"},{"key":"3_CR18","unstructured":"Magee, J., and Kramer, J. (1999). Concurrency: State Models and Java Programs. John Wiley."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"McMillian, K. L. (1993). Symbolic Model Checking. Kluwer Academic.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Menzies, T. (1996). Applications of Abduction: Knowledge Level Modeling. International Journal of Human Computer Studies.","DOI":"10.1006\/ijhc.1996.0054"},{"key":"3_CR21","unstructured":"Miller, R. (1997) Deductive and Abductive Planning in the Event Calculus. Poc. 2nd AISB Workshop on Practical Reasoning and Rationality, Manchester, U. K."},{"key":"3_CR22","unstructured":"Miller, R., and Shanahan, M. (1999). The Event Calculus in Classical Logic. Linkoping Electronic Articles in Computer and Information Science, 4(16)."},{"key":"3_CR23","unstructured":"Miller, S. (1998). Specifying the mode logic of a Flitght Guidance System in CoRE and SCR. Proceedings of 2nd Workshop of Formal Methods in Software Practice."},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"Owre, S., et al. (1995). Formal verification for fault-tolerant architecture: Prolegomena to the design of PVS. IEEE Transactions on S.E, 21(2): 107\u2013125.","journal-title":"IEEE Transactions on S.E"},{"key":"3_CR25","unstructured":"Parnas, D. L., and Madey, J. (1995). Functional Documentation for Computer Systems. Technical Report No. CRL 309, McMaster University."},{"key":"3_CR26","unstructured":"Russo, A., Miller, R., Nuseibeh, B., and Kramer, J. (2001). An Abductive Approach for Analysing Event-based Specifications. Technical Report no. 2001\/7, Imperial College."},{"key":"3_CR27","unstructured":"Satoh, K. (1998). Computing Minimal Revised Logical Specification by Abduction. Proc. of Int. Workshop on the Principles of Software Evolution, 177\u2013182."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Darimont, R., and Letier, E. (1998). Managing Conflicts in Goal-Driven Requirement Engineering. IEEE Transactions on S. E.","DOI":"10.1109\/32.730542"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45619-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T11:38:08Z","timestamp":1707910688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45619-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439301","9783540456193"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45619-8_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}