{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:50:01Z","timestamp":1725987001286},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58113-8_173","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:16:01Z","timestamp":1330251361000},"page":"228-241","source":"Crossref","is-referenced-by-count":2,"title":["A Knowledge-Based Program Transformation System"],"prefix":"10.1007","author":[{"given":"P. C- Y.","family":"Sheu","sequence":"first","affiliation":[]},{"given":"S.","family":"Yoo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","unstructured":"Barstow, D., \u201cArtificial Intelligence and Software Engineering, \u201d 9th International Conference on Software Engineering, 1987, pp. 200\u2013211."},{"issue":"No.2","key":"18_CR2","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/69.87960","volume":"1","author":"E. Bertino","year":"1989","unstructured":"Bertino, E., and Kim, W., \u201cIndexing Techniques for Queries on Nested Objects, \u201d IEEE Trans. on Knowledge and Data Engineering, Vol. 1, No.2, June, 1989, pp. 196\u2013214.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"18_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-03521-2","volume-title":"Graph Theory with Application","author":"J. Bondy","year":"1976","unstructured":"Bondy, J., and Murty, U., Graph Theory with Application, Macmillan Press Ltd., Great Britain, 1976."},{"issue":"No.5","key":"18_CR4","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TSE.1984.5010281","volume":"SE-10","author":"J. Boyle","year":"1984","unstructured":"Boyle, J., and Muralidharan, M., \u201cProgram Reusability through Program Transformation, \u201d IEEE Trans. on Software Engineering, Vol. SE-10, No. 5, Sept. 1984, pp. 574\u2013588.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"No.2","key":"18_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/32.21743","volume":"15","author":"F. Bauer","year":"1989","unstructured":"Bauer, F., Moller, B., Partsch, H., and Pepper, P., \u201cFormal Program Construction by Transformations \u2014 Computer-Aided, Intuition-Guided Programming, \u201d IEEE Trans. on Software Engineering, Vol. 15, No. 2, Feb. 1989, pp. 165\u2013180.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"18_CR6","unstructured":"Carbonell, J., \u201cA Computational Model of Analogical Problem Solving, \u201d Proceedings of IJCAI, 1981, pp. 147\u2013152."},{"key":"18_CR7","volume-title":"Knowledge-Based System Diagnosis, Supervision, and Control","author":"J. Caviedes","year":"1989","unstructured":"Caviedes, J., et al., \u201cA Meta-Knowledge Architecture for Planning and Explanation In Repair Domains.\u201d in Knowledge-Based System Diagnosis, Supervision, and Control, Tzafestas, S. ed., Plenum Press, New York, 1989."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Cheatham, T., \u201c Program Reusability Through Program Transformation, \u201d IEEE Trans. Software Engineering, Sept. 1984.","DOI":"10.1109\/TSE.1984.5010282"},{"key":"18_CR9","unstructured":"CIP Language Group, Lecture Notes in Computer Science. Volume I: The Munich project CIP, Spring-Verlag, 1984."},{"key":"18_CR10","volume-title":"Rule-based Expert Systems","author":"R. Davis","year":"1984","unstructured":"Davis, R., and Buchanan, B., \u201cMeta-level Knowledge, \u201d in Rule-based Expert Systems, Buchanan, B., and Shortliffe, E. eds, Addison-Wesley, Reading, Massachusetts, 1984."},{"key":"18_CR11","unstructured":"Dershowitz, N., \u201cProgramming by Analogy, \u201d in Machine Learning: An Artificial Intelligence Approach, Vol. 2, Michalski, R., Carbonell, J., and Mitchell, T. eds, Morgan Kaufmann Publishers, Inc., 1986, pp. 395\u2013423."},{"key":"18_CR12","volume-title":"Software Engineering Environments","author":"B. Dillistone","year":"1988","unstructured":"Dillistone, B., \u201cConfiguration management within an IPSE and its implications for software re-use, \u201d in Software Engineering Environments, Pearl Brereton ed., Ellis Horwood Limited, England, 1988."},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. Floyd","year":"1967","unstructured":"Floyd, R., \u201cAssigning meanings to programs, \u201d Proc. Amer. Math. Soc. Symposia in Applied Mathematics, Vol. 19, 1967, pp 19\u201331.","journal-title":"Proc. Amer. Math. Soc. Symposia in Applied Mathematics"},{"key":"18_CR14","unstructured":"Foderaro, J., Sklower, K., and Layer, K., The Franz Lisp Manual University of California, 1983."},{"issue":"No.10","key":"18_CR15","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare, C., \u201cAn axiomatic basis for computer programming, \u201d Comm. ACM, Vol. 12, No. 10, Oct. 1969, pp 576\u2013580.","journal-title":"Comm. ACM"},{"issue":"No.4","key":"18_CR16","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TSE.1979.234198","volume":"SE-5","author":"Z. Manna","year":"1979","unstructured":"Manna, Z., and Waldinger, R., \u201cSynthesis: Dreams \u2192 Programs, \u201d IEEE Trans. on Software Engineering, Vol. SE-5, No. 4, July 1979, pp. 294\u2013328.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Medina-Mora, R., and Feiler, P., \u201cAn incremental programming environment, \u201d IEEE Trans. on Software Engineering, Vol. SE-7, Sept. 1981.","DOI":"10.1109\/TSE.1981.231109"},{"key":"18_CR18","unstructured":"Nilsson, N., Principles of Artificial Intelligence, Springer-Verlag, 1980."},{"key":"18_CR19","volume-title":"Knowledge-Based System Diagnosis, Supervision, and Control","author":"C. Oussalah","year":"1989","unstructured":"Oussalah, C., Santucci, J., Giambiasi, N., and Roux, P., \u201cExpert system based on multi-view\/multi-level model approach for test pattern generation, \u201d in Knowledge-Based System Diagnosis, Supervision, and Control, Tzafestas, S. ed., Plenum Press, New York, 1989."},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0004-3702(89)90035-0","volume":"38","author":"D. Pastre","year":"1989","unstructured":"Pastre, D., \u201cMUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics, \u201d Artificial Intelligence, Vol. 38, 1989, pp 257\u2013318.","journal-title":"Artificial Intelligence"},{"issue":"No.1","key":"18_CR21","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1987.229789","volume":"4","author":"R. Prieto-Diaz","year":"1987","unstructured":"Prieto-Diaz, R., and Freeman, P., \u201cClassifying software for reusability, \u201d IEEE Software, Vol. 4, No. 1, January 1987, pp 6\u201316.","journal-title":"IEEE Software"},{"key":"18_CR22","volume-title":"Software Engineering Environments","author":"T. Pressburger","year":"1988","unstructured":"Pressburger, T., and Smith, D., \u201cKnowledge-based software development tools, \u201d in Software Engineering Environments, Pearl Brereton ed., Ellis Horwood Limited, England, 1988."},{"issue":"No.1","key":"18_CR23","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. Robinson","year":"1965","unstructured":"Robinson, J., \u201cA Machine-Oriented Logic Based on the Resolution Principle, \u201d JACM, Vol. 12, No. 1, January 1965, pp. 23\u201341.","journal-title":"JACM"},{"key":"18_CR24","unstructured":"Sheu, P.C-Y., \u201cDescribing Semantic Databases in Logic, \u201d Journal of Systems and Software, 1988."},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Sheu, P.C-Y., \u201cOASIS \u2014 An Object-oriented And Symbolic Information System, \u201d Proc. First Int'l Conf. on System Integration, April, 1990.","DOI":"10.1109\/ICSI.1990.138720"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Shooman, M., Software Engineering: Design, Reliability and Management, McGraw-Hill Book Co., 1983.","DOI":"10.1145\/800038.801015"},{"issue":"No.2","key":"18_CR27","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/10447318909525964","volume":"1","author":"P. C. Sheu","year":"1990","unstructured":"Sheu, P. C-Y., and Yoo, S.B., \u201cA Knowledge-Based Software Environment (KBSE) for Designing Concurrent Processes, \u201d International Journal of Human-Computer Interactions, Vol. 1, No. 2, pp. 161\u2013185, 1990.","journal-title":"International Journal of Human-Computer Interactions"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Teitelbaum, T., and Reps, T., \u201cThe Cornell program synthesizer: A syntax-directed programming environment, \u201d Communication of ACM, Vol. 24, No. 9, Sept. 1981.","DOI":"10.1145\/358746.358755"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Waters, R., \u201cThe Programmer's Apprentice: A Session with KBSmacs, \u201d IEEE Trans. on Software Engineering, Vol. SE-11, No. 11, November 1985.","DOI":"10.1109\/TSE.1985.231880"},{"key":"18_CR30","volume-title":"LISPcraft","author":"R. Wilenski","year":"1984","unstructured":"Wilenski, R., LISPcraft, W.W.Norton & Company, Inc., New York, N.Y., 1984."},{"key":"18_CR31","volume-title":"Software Engineering Environments","author":"M. Wood","year":"1988","unstructured":"Wood, M., and Sommerville, I., \u201cA knowledge-based software components catalogue, \u201d in Software Engineering Environments, Pearl Brereton ed., Ellis Horwood Limited, England, 1988."},{"key":"18_CR32","unstructured":"Yoo, S., \u201cIntegrated Process Management In A Parallel Database Programming Environment, \u201d Ph.D. Thesis, School of Electrical Engineering, Purdue University, May 1990."},{"key":"18_CR33","unstructured":"Zanilo, C., \u201cObject-base Logic Programming, \u201d Symp. on Logic Programming, 1984."}],"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-58113-8_173","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,2]],"date-time":"2019-02-02T10:17:48Z","timestamp":1549102668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58113-8_173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783319981765","9783319981772"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-58113-8_173","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1994]]}}}