{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:50:25Z","timestamp":1725987025487},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59498-1_238","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:28:09Z","timestamp":1330277289000},"page":"68-81","source":"Crossref","is-referenced-by-count":8,"title":["A framework for requirements analysis using automated reasoning"],"prefix":"10.1007","author":[{"given":"David","family":"Duffy","sequence":"first","affiliation":[]},{"given":"Craig","family":"MacNish","sequence":"additional","affiliation":[]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Morris","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,20]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/357423.357427","volume":"1","author":"G. Barber","year":"1983","unstructured":"Barber, G. Supporting organizational problem solving with a workstation. ACM Trans. on Office Information Systems 1, 1 (1983), 45\u201367.","journal-title":"ACM Trans. on Office Information Systems"},{"key":"6_CR2","first-page":"55","volume-title":"LNAI 592","author":"A. G. Bondarenko","year":"1992","unstructured":"Bondarenko, A. G. Abductive systems for non-monotonic reasoning. In Logic Programming: First and Second Russian Conferences on Logic Programming, LNAI 592 (Berlin, 1992), A. Voronkov, Ed., Springer-Verlag, pp. 55\u201366."},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., and Fickas, S. Goal directed requirements acquisition. Science of Computer Programming 20 (1993), 3\u201350.","journal-title":"Science of Computer Programming"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/75200.75225","volume":"14","author":"E. Dubois","year":"1989","unstructured":"Dubois, E. A logic of action for supporting goal-oriented elaborations of requirements. 5th International Workshop on Software Specification and Design, ACM Sigsoft Engineering Notes 14 (1989), 160\u2013168.","journal-title":"5th International Workshop on Software Specification and Design, ACM Sigsoft Engineering Notes"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay, D. Abduction in labelled deductive systems \u2014 a conceptual abstract. In Symbolic and Quantitative Approaches to Uncertainty: Proc. European Conference ECSQAU. LNCS 548, R. Kruse and P. Siegel, Eds. Springer-Verlag, 1991, pp. 3\u201311.","DOI":"10.1007\/3-540-54659-6_58"},{"key":"6_CR6","unstructured":"Ladkin, P. Analysis of a technical description of the Airbus A320 braking system. CRIN-CNRS & INRIA Lorraine, BP 239, Vandoeuvre-L\u00e8s-Nancy, France."},{"key":"6_CR7","unstructured":"Luger, G. F., and Stubblefield, W. A. Artificial Intellegence: Structures and Strategies for Complex Problem Solving. Benjamin Cummings, 1993."},{"key":"6_CR8","unstructured":"Macias, B., and Pulman, S. Natural language processing for requirements specifications. In Safety-critical Systems, F. Redmill and T. Anderson, Eds. Chapman and Hall, 1993, pp. 67\u201389."},{"key":"6_CR9","series-title":"Forest Deliverable R3","volume-title":"Tech. rep.","author":"T. Maibaum","year":"1987","unstructured":"Maibaum, T. A logic for the formal requirements specification of real-time embedded systems. Tech. rep., Dept. of Computing, Imperial College, London, 1987. Forest Deliverable R3."},{"issue":"6","key":"6_CR10","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J. Mylopoulos","year":"1992","unstructured":"Mylopoulos, J., Chung, L., and Nixon, B. Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. on Software Engineering 18, 6 (1992), 483\u2013497.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"6_CR11","volume-title":"PhD thesis","author":"M. Ryan","year":"1992","unstructured":"Ryan, M.Ordered Presentations of Theories \u2014 Default Reasoning and Belief Revision. PhD thesis, Dept. of Computing, Imperial College, London, 1992."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59498-1_238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T12:57:32Z","timestamp":1561381052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59498-1_238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783319981765","9783319981772"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-59498-1_238","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1995]]}}}