{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T04:03:09Z","timestamp":1743825789597,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-31095-9_25","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T10:08:19Z","timestamp":1342260499000},"page":"382-397","source":"Crossref","is-referenced-by-count":20,"title":["Agile Requirements Evolution via Paraconsistent Reasoning"],"prefix":"10.1007","author":[{"given":"Neil A.","family":"Ernst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Borgida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan J.","family":"Jureta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-642-13094-6_36","volume-title":"Advanced Information Systems Engineering","author":"M. Jarke","year":"2010","unstructured":"Jarke, M., Loucopoulos, P., Lyytinen, K., Mylopoulos, J., Robinson, W.: The Brave New World of Design Requirements: Four Key Principles. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 470\u2013482. Springer, Heidelberg (2010)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Mcgee, S., Greer, D.: Software Requirements Change Taxonomy: Evaluation by Case Study. In: Int. Conf. on Req. Engineering, Trento, Italy (September 2011)","DOI":"10.1109\/RE.2011.6051641"},{"issue":"5","key":"25_CR3","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1111\/j.1365-2575.2007.00259.x","volume":"20","author":"B. Ramesh","year":"2010","unstructured":"Ramesh, B., Cao, L., Baskerville, R.: Agile requirements engineering practices and challenges: an empirical study. Information Systems Journal\u00a020(5), 449\u2013480 (2010)","journal-title":"Information Systems Journal"},{"key":"25_CR4","unstructured":"IEEE Software Engineering Standards Committee: IEEE Recommended Practice for Software Requirements Specifications. Technical report, IEEE (1998)"},{"issue":"1-2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-25975-6_4","volume-title":"Advanced Information Systems Engineering","author":"R. Sebastiani","year":"2004","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 20\u201335. Springer, Heidelberg (2004)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Ernst, N.A., Borgida, A., Jureta, I.: Finding Incremental Solutions for Evolving Requirements. In: Int. Conf. on Req. Engineering, Trento, Italy (September 2011)","DOI":"10.1109\/RE.2011.6051656"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four Dark Corners of Requirements Engineering. ACM Transactions on Software Engineering and Methodology\u00a06, 1\u201330 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Jureta, I.J., Borgida, A., Ernst, N.A., Mylopoulos, J.: Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. In: Int. Conf. on Req. Engineering, Sydney, Australia (September 2010)","DOI":"10.1109\/RE.2010.24"},{"issue":"2","key":"25_CR10","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/857076.857079","volume":"35","author":"W.N. Robinson","year":"2003","unstructured":"Robinson, W.N., Pawlowski, S.D., Volkov, V.: Requirements interaction management. ACM Computing Surveys\u00a035(2), 132 (2003)","journal-title":"ACM Computing Surveys"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Easterbrook, S.M., Nuseibeh, B.: Managing inconsistencies in an evolving specification. In: Int. Conf. on Req. Engineering, York, England, pp. 48\u201355 (1995)","DOI":"10.1109\/ISRE.1995.512545"},{"issue":"14","key":"25_CR12","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1016\/S0950-5849(03)00100-9","volume":"45","author":"D. Zowghi","year":"2003","unstructured":"Zowghi, D., Gervasi, V.: On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology\u00a045(14), 993\u20131009 (2003)","journal-title":"Information and Software Technology"},{"issue":"2","key":"25_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B. Nuseibeh","year":"2001","unstructured":"Nuseibeh, B., Easterbrook, S.M., Russo, A.: Making inconsistency respectable in software development. Journal of Systems and Software\u00a058(2), 171\u2013180 (2001)","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/52.2027","volume":"5","author":"H. Thimbleby","year":"1988","unstructured":"Thimbleby, H.: Delaying commitment. IEEE Software\u00a05(3), 78\u201386 (1988)","journal-title":"IEEE Software"},{"issue":"2","key":"25_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N. Rescher","year":"1970","unstructured":"Rescher, N., Manor, R.: On inference from inconsistent premisses. Theory and Decision\u00a01(2), 179\u2013217 (1970)","journal-title":"Theory and Decision"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: An assumption-based TMS. Artificial Intelligence\u00a028(2), 127\u2013162 (1986)","journal-title":"Artificial Intelligence"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"L. Chung","year":"1992","unstructured":"Chung, L., Mylopoulos, J., Nixon, B.: Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. Trans. Soft. Eng.\u00a018, 483\u2013497 (1992)","journal-title":"Trans. Soft. Eng."},{"key":"25_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39733-5_1","volume-title":"Journal on Data Semantics I","author":"P. Giorgini","year":"2003","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 1\u201320. Springer, Heidelberg (2003)"},{"key":"25_CR19","unstructured":"PCI Security Standards Council: PCI DSS Requirements and Security Assessment Procedures, Version 2.0. Technical report, PCI, Boston (October 2010)"},{"issue":"4","key":"25_CR20","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1057\/palgrave.jit.2000116","volume":"22","author":"R. O\u2019Callaghan","year":"2007","unstructured":"O\u2019Callaghan, R.: Fixing the payment system at Alvalade XXI: a case on IT project risk management. Journal of Information Technology\u00a022(4), 399\u2013409 (2007)","journal-title":"Journal of Information Technology"},{"key":"25_CR21","unstructured":"van Lamsweerde, A.: Goal-oriented requirements enginering: a roundtrip from research to practice. In: Int. Conf. on Req. Engineering, pp. 4\u20137 (2004)"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Zowghi, D., Offen, R.: A logical framework for modeling and reasoning about the evolution of requirements. In: Int. Conf. on Req. Engineering, pp. 247\u2013257 (1997)","DOI":"10.1109\/ISRE.1997.566875"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Ghose, A.: Formal tools for managing inconsistency and change in RE. In: International Workshop on Software Specification and Design, pp. 171\u2013181 (2000)","DOI":"10.1109\/IWSSD.2000.891138"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Hunter, A., Nuseibeh, B.: Managing inconsistent specifications: reasoning, analysis, and action. ACM Transactions on Software Engineering and Methodology 7(4) (1998)","DOI":"10.1145\/292182.292187"},{"key":"25_CR25","unstructured":"Poppleton, M., Groves, L.: Software evolution with refinement and retrenchment. In: International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland (2003)"}],"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\/978-3-642-31095-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:25:18Z","timestamp":1743740718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31095-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783319981765","9783319981772"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31095-9_25","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2012]]}}}