{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:03Z","timestamp":1748145783812,"version":"3.41.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1023\/a:1008730221445","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"215-238","source":"Crossref","is-referenced-by-count":7,"title":["Behavioural Conflicts in a Causal Specification"],"prefix":"10.1007","volume":"7","author":[{"given":"Jonathan","family":"Moffett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Vickers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"267424_CR1","unstructured":"Chatzikyriakos, E. 1998. Causal Animator. MSc Thesis, Dept of Computer Science, University of York."},{"key":"267424_CR2","unstructured":"Corsetti, F. et al. 1991. Dealing with different time scales in formal specifications. In IEEE-ACM International Workshop on Software Specification and Design, Como."},{"key":"267424_CR3","doi-asserted-by":"crossref","unstructured":"Gabbay, D. and Hunter, A. 1991. Making inconsistency respectable 1: A logical framework for inconsistency in reasoning, In P. Jorrand and J. Kelemen, editors, Foundations of Artificial Intelligence Research, Springer, p. 19\u201332.","DOI":"10.1007\/3-540-54507-7_3"},{"key":"267424_CR4","volume-title":"3rd Int.Symposium on Requirements Engineering (RE'97)","author":"A. Hunter","year":"1997","unstructured":"Hunter, A. and Nuseibeh, B. 1997. Analysing inconsistent specifications. In 3rd Int.Symposium on Requirements Engineering (RE'97), Annapolis, USA, IEEE Computer Society Press."},{"key":"267424_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","volume":"17","author":"M.S. Jaffe","year":"1991","unstructured":"Jaffe, M.S. et al. 1991. Software requirements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17:241\u2013258.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"267424_CR6","unstructured":"Jonscher, D. and Dittrich, K.R. 1993. A formal security model based on an object-oriented data model. Institut f\u00a8ur Informatik der Universit\u00a8at Z\u00a8urich, TR 93.41, Oct 1993."},{"issue":"6","key":"267424_CR7","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1049\/sej.1992.0038","volume":"7","author":"G. Kotonya","year":"1992","unstructured":"Kotonya, G. and Sommerville, I. 1992. Viewpoints for requirements definition. Software Engineering Journal, 7(6):375\u2013387.","journal-title":"Software Engineering Journal"},{"issue":"1","key":"267424_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01235764","volume":"1","author":"J.D. Moffett","year":"1996","unstructured":"Moffett, J.D., Hall, J.G., Coombes, A.C., and McDermid 1996. A model for a causal logic for requirements engineering. Journal of Requirements Engineering, 1(1):27\u201346.","journal-title":"Journal of Requirements Engineering"},{"issue":"1","key":"267424_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/10919399409540214","volume":"4","author":"J.D. Moffett","year":"1994","unstructured":"Moffett, J.D. and Sloman, M.S. 1994. Policy conflict analysis in distributed system management. Journal of Organizational Computing, 4(1):1\u201322.","journal-title":"Journal of Organizational Computing"},{"key":"267424_CR10","volume-title":"8th Int.Workshop on Software Specification and Design (IWSSD-8)","author":"B. Nuseibeh","year":"1996","unstructured":"Nuseibeh, B. 1996. To be and not to be: On managing inconsistency in software development. In 8th Int.Workshop on Software Specification and Design (IWSSD-8), Schloss Velen, Germany, IEEE CS Press."},{"key":"267424_CR11","volume-title":"EDBT-96","author":"D. Plexousakis","year":"1996","unstructured":"Plexousakis, D. and Mylopoulos, J. 1996. Accommodating integrity constraints during database design. In EDBT-96, Avignon, France."},{"key":"267424_CR12","unstructured":"Rumbaugh, J. and Blaha, M. 1991. Object-Oriented Modelling and Design. Prentice-Hall."},{"issue":"3","key":"267424_CR13","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Sheard, T. and Stemple, D. 1989. Automatic verification of database transaction safety. ACM Transactions on Database Systems, 14(3):322\u2013368.","journal-title":"ACM Transactions on Database Systems"},{"key":"267424_CR14","unstructured":"Shoham, Y. 1987. Reasoning about Change: Time and Causation from the Point of View of Artificial Intelligence. MIT Press, ISBN 0-262-19269-1."},{"key":"267424_CR15","unstructured":"Special Issue on Feature Interactions in Telecommunications Systems. 1993a. IEEE Computer, 26(8)."},{"key":"267424_CR16","doi-asserted-by":"crossref","unstructured":"Special Issue on Feature Interactions in Telecommunications Systems. 1993b. IEEE Communications Magazine, 31(8).","DOI":"10.1109\/35.229532"},{"key":"267424_CR17","unstructured":"Spivey, J.M. 1992. The Z Notation: A Reference Manual, 2nd ed. Prentice Hall."},{"key":"267424_CR18","unstructured":"Sosa, E. and Tooley, M. (eds.) 1993. Causation. Oxford Readings in Philosophy, Oxford University Press, pp. 33\u201355."},{"key":"267424_CR19","unstructured":"Thomas, M. 1997. Feature Interactions in Telecommunications Networks. IOS Press, p. 163\u2013183."},{"issue":"8","key":"267424_CR20","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.223539","volume":"26","author":"P. rZave","year":"1993","unstructured":"rZave, P. 1993. Feature interactions and formal specifications in telecommunications. IEEE Computer, 26(8):20\u201331.","journal-title":"IEEE Computer"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008730221445.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008730221445\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008730221445.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:07:23Z","timestamp":1748070443000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008730221445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["267424"],"URL":"https:\/\/doi.org\/10.1023\/a:1008730221445","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}