{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:58Z","timestamp":1725490738689},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45006-8_16","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T01:11:17Z","timestamp":1188781877000},"page":"171-185","source":"Crossref","is-referenced-by-count":0,"title":["Solution Verification in Software Design: A CBR Approach"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Francisco C.","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Carreiro","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Paiva","sequence":"additional","affiliation":[]},{"given":"Nuno","family":"Seco","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Lu\u00eds","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Bento","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A. Aamodt","year":"1994","unstructured":"Agnar Aamodt and Enric Plaza, Case-based reasoning: Foundational issues, methodological variations, and system approaches., AI Communications 7 (1994), no. 1, 39\u201359.","journal-title":"AI Communications"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Barry Boehm, A spiral model of software development and enhancement, IEEE Press, 1988.","DOI":"10.1109\/2.59"},{"key":"16_CR3","unstructured":"Ashok Goel, Sambasiva Bhatta, and Eleni Stroulia, Kritik: An early case-based design system, Issues and Applications of Case-Based Reasoning in Design (Mahwah, NJ) (Mary Lou Maher and Pearl Pu, eds.), Lawrence Erlbaum Associates, 1997, pp. 87\u2013132."},{"issue":"2","key":"16_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1017\/S0890060498122035","volume":"12","author":"P. Gomes","year":"1998","unstructured":"Paulo Gomes, Carlos Bento, and Pedro Gago, Learning to verify design solutions from failure knowledge, Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12 (1998), no. 2, 107\u2013115.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, Jos\u00e9 L. Ferreira, and Carlos Bento, Case retrieval of software designs using wordnet, European Conference on Artificial Intelligence (ECAI\u201902) (Lyon, France) (F. van Harmelen, ed.), IOS Press, Amsterdam, 2002.","DOI":"10.1007\/3-540-46119-1_10"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, Jos\u00e9 L. Ferreira, and Carlos Bento, Combining case-based reasoning and analogical reasoning in software design, Proceedings of the 13th Irish Conference on Artificial Intelligence and Cognitive Science (AICS\u201902) (Limerick, Ireland), Springer-Verlag, September 2002.","DOI":"10.1007\/3-540-45750-X_24"},{"issue":"1","key":"16_CR7","first-page":"1","volume":"24","author":"N. Ide","year":"1998","unstructured":"Nancy Ide and Jean Veronis, Introduction to the special issue on word sense disambiguation: The state of the art, Computational Linguistics 24 (1998), no. 1, 1\u201340.","journal-title":"Computational Linguistics"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Janet Kolodner, Case-based reasoning, Morgan Kaufman, 1993.","DOI":"10.1016\/B978-1-55860-237-3.50005-4"},{"key":"16_CR9","unstructured":"Mary Lou Maher, Casecad and cadsyn, Issues and Applications of Case-Based Reasoning in Design (Mahwah, NJ) (Mary Lou Maher and Pearl Pu, eds.), Lawrence Erlbaum Associates, 1997, pp. 161\u2013185."},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/ijl\/3.4.235","volume":"3","author":"G. Miller","year":"1990","unstructured":"George Miller, Richard Beckwith, Christiane Fellbaum, Derek Gross, and Katherine J. Miller, Introduction to wordnet: an on-line lexical database., International Journal of Lexicography 3 (1990), no. 4, 235\u2013244.","journal-title":"International Journal of Lexicography"},{"key":"16_CR11","unstructured":"Pearl Pu and Lisa Purvis, Formalizing the adaptation process for case-based design, Issues and Applications of Case-Based Reasoning in Design (Mahwah, NJ) (Mary Lou Maher and Pearl Pu, eds.), Lawrence Erlbaum Associates, 1997, pp. 221\u2013260."},{"key":"16_CR12","unstructured":"Angi Voss, Case design specialists in fabel, Issues and Applications of Case-Based Reasoning in Design (Mahwah, NJ) (Mary Lou Maher and Pearl Pu, eds.), Lawrence Erlbaum Associates, 1997, pp. 301\u2013336."}],"container-title":["Lecture Notes in Computer Science","Case-Based Reasoning Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45006-8_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:40Z","timestamp":1605647260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45006-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540404330"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45006-8_16","relation":{},"subject":[]}}