{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:19:38Z","timestamp":1743146378953,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612926"},{"type":"electronic","value":"9783540684510"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61292-0_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:26:32Z","timestamp":1330291592000},"page":"44-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A logic-based framework for reasoning support in software evolution"],"prefix":"10.1007","author":[{"given":"Vassilios C.","family":"Vescoukis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Papaspyrou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Skordalakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Arango, Guillermo, and Eric Schoen, and Robert Pettengill, A Process for Consolidating and Reusing Design Knowledge, Proceedings of the 15th International Conference on Software Engineering, IEEE Computer Society Press, pp. 231\u2013242, 1993.","DOI":"10.1109\/ICSE.1993.346040"},{"key":"3_CR2","unstructured":"Arango, G., and E. Shoen, R.Pettengill, and J.Hoskins, The Graft-Host Method for Design Evolution, Proceedings of the 15th International Conference on Software Engineering, IEEE Computer Society Press, 1993."},{"issue":"No4","key":"3_CR3","first-page":"303","volume":"6","author":"J. Conclin","year":"1988","unstructured":"Conclin, J., and M.L., Begeman, IBIS: A Hypertext Tool for Exploratory Policy Discussion, Vol 6, No 4, pp. 303\u2013331, 1988.","journal-title":"IBIS: A Hypertext Tool for Exploratory Policy Discussion"},{"issue":"No5","key":"3_CR4","doi-asserted-by":"crossref","first-page":"3549","DOI":"10.1145\/103167.103172","volume":"34","author":"P. Devanbu","year":"1991","unstructured":"Devanbu, P., and R. Brachman, P. Selfridge, and B. Ballard, LaSSIE: A Knowledge-Based Software Information System, Communications of the ACM, Vol 34, No 5, pp. 3549, May 1991.","journal-title":"Communications of the ACM"},{"key":"3_CR5","first-page":"9","volume-title":"A Software Development and Evolution Model Based on Decision-making","author":"Dong","year":"1991","unstructured":"Dong, Jinghuan, and Chris Wild, and Kurt Maly, A Software Development and Evolution Model Based on Decision-making, Proceedings of the 3rd International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Inst., Skokie, IL, USA, pp. 9\u201314, 1991."},{"issue":"No6","key":"3_CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1109\/32.142873","volume":"18","author":"Fischer","year":"1992","unstructured":"Fischer, Gerhard, and A. Girgensohn, K. Nakakoji, and David Redmiles, Supporting Software Designers with Integrated Domain-Oriented Design Environments, IEEE Transactions on Software Engineering, Vol 18, No 6, pp. 511\u2013522, June 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR7","volume-title":"Tech. Rep. MIP-9107","author":"M. Jarke","year":"1991","unstructured":"Jarke, M., Conceptbase 3.0 user manual, Univ. Passau, Passau, Germany, Tech. Rep. MIP-9107, March 1991."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Lease, M., and M. Lively, and J. Leggett, Using an Issue-based hypertext system to capture the software life-cycle process, Hypermedia, vol. 2, no. 1, 1990.","DOI":"10.1080\/09558543.1990.12031173"},{"key":"3_CR9","volume-title":"Artificial Intelligence at MIT: Expanding Frontiers","author":"J. Lee","year":"1990","unstructured":"Lee, Jintae, SIBYL: A Qualitative Decision Management System, Artificial Intelligence at MIT: Expanding Frontiers, Winston and Shellard, editors, MIT Press, Cambridge, MA, Vol 1, Ch. 5, 1990."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Lee, Jintae, Extending the Potts and Bruns Model for Recording Design Rationale, Proceedings of the 13th International Conference on Software Engineering, IEEE Computer Society Press, pp. 114\u2013125, 1991.","DOI":"10.1109\/ICSE.1991.130629"},{"key":"3_CR11","unstructured":"Lehman, M.M., Program life cycles and laws of software evolution, Proceedings IEEE special issue on Software Engineering, pp. 1060\u20131076, September 1980."},{"issue":"5","key":"3_CR12","first-page":"243","volume":"6","author":"M.M. Lehman","year":"1991","unstructured":"Lehman, M.M., Software Engineering, the software process and their support, IEE Software Engineering Journal, special issue on Software Environments and Factories, 6(5), pp. 243\u2013258, September 1991","journal-title":"IEE Software Engineering Journal, special issue on Software Environments and Factories"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., and A. Borgida, and M. Jarke, and M. Koubarakis, Telos: Representing knowledge about information systems, ACM Trans. Inform. Syst., vol 8, pp. 325\u2013362, October 1990.","journal-title":"ACM Trans. Inform. Syst."},{"key":"3_CR14","unstructured":"Oivo, Markku, Knowledge-Based Support for Embedded Computer Software Analysis and Design, Technical Research Centre of Finland, ISBN 951-38-3763-7, September 1990."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Potts, Collin, and Glenn Bruns, Recording the Reasons for Design Decisions, Proceedings of the 10th International Conference on Software Engineering, IEEE Computer Society Press, pp. 418\u2013427, 1988.","DOI":"10.1109\/ICSE.1988.93722"},{"issue":"No6","key":"3_CR16","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.142872","volume":"18","author":"B. Ramesh","year":"1992","unstructured":"Ramesh, B., and V. Dhar, Supporting Systems Development by Capturing Deliberations During Requirements Engineering, IEEE Transactions on Software Engineering, Vol 18, No 6, pp. 498\u2013510, June 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"no.5","key":"3_CR17","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1049\/sej.1991.0034","volume":"6","author":"T. Rose","year":"1991","unstructured":"Rose, T., and M. Jarke, and M. Gocek, and M. Maltzahn, and H. Nissen, A decision based configuration process environment, Software Eng. J., vol. 6 no.5, pp. 332\u2013346, 1991.","journal-title":"Software Eng. J."},{"issue":"No6","key":"3_CR18","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/32.142869","volume":"18","author":"Rich","year":"1992","unstructured":"Rich, Charles, and Yishai A. Feldman, Seven Layers of Knowledge Representation and Reasoning in Support of Software Development, IEEE Transactions on Software Engineering, Vol 18, No 6, pp. 451\u2013469, June 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-1-4684-5862-6_9","volume-title":"Empirical Foundations of Information and Software Science V","author":"J.I. Siddiqi","year":"1990","unstructured":"Siddiqi, J.I., and J.H. Sumiga, and B. Khazaei, Use of a Blackboard Framework to Model Software Design, Empirical Foundations of Information and Software Science V, Edited by P. Zunde and D. Hocking, Plenum press, NY, pp. 99\u2013107, 1990."},{"key":"3_CR20","volume-title":"An introduction to reasoning","author":"S. Toulmin","year":"1984","unstructured":"Toulmin, S., and R. Rieke, and A. Janik, An introduction to reasoning, 2nd edition, NY Macmillan, 1984","edition":"2nd edition"},{"key":"3_CR21","unstructured":"V.C.Vescoukis, Software Design Decisions, proceedings of CAiSE 95 W3, Jyvaskyla, Finland, June 1995."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Humphrey, S. Watt, Managing the Software Process, SEI, Addison-Wesley 1989, ISBN 0-201-18095-2.","DOI":"10.1080\/09332480.1989.10554934"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61292-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:16:42Z","timestamp":1742599002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61292-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612926","9783540684510"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61292-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}