{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:10:03Z","timestamp":1737123003880,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678397"},{"type":"electronic","value":"9783540449140"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-44914-0_11","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T21:26:14Z","timestamp":1179869174000},"page":"185-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Interactions of Abstractions in Programming"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Gordon S.","family":"Novak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/99.615429","volume":"4","author":"R. Akers","year":"1997","unstructured":"R. Akers, E. Kant, C. Randall, S. Steinberg, and R. Young, \u201cSciNapse: A Problem-Solving Environment for Partial Differential Equations,\u201d IEEE Computational Science and Engineering, vol. 4, no. 3, July\u2013Sept. 1997, pp 32\u201342.","journal-title":"IEEE Computational Science and Engineering"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"D. Batory, V. Singhal, J. Thomas, and M. Sirkin, \u201cScalable Software Libraries,\u201d Proc. ACM SIGSOFT\u2019 93: Foundations of Software Engineering, Dec. 1993.","DOI":"10.1145\/256428.167078"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"T. Biggerstaff, \u201cA New Control Structure for Transformation-Based Generators,\u201d Proc. Int. Conf. on Software Reuse, Vienna, Austria, June, 2000, Springer-Verlag.","DOI":"10.1007\/978-3-540-44995-9_1"},{"key":"11_CR4","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995."},{"issue":"7","key":"11_CR5","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/176789.176794","volume":"37","author":"M. Genesereth","year":"1994","unstructured":"M. Genesereth and S. Ketchpel, \u201cSoftware Agents,\u201d Communications of the ACM, vol. 37, no. 7 (Jul. 1994), pp. 48\u201353.","journal-title":"Communications of the ACM"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, \u201cReusing and Interconnecting Software Components,\u201d IEEE Computer, pp. 16\u201328, Feb. 1986.","DOI":"10.1109\/MC.1986.1663146"},{"key":"11_CR7","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft, Partial Evaluation and Automatic Program Generation, Prentice Hall, 1993."},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF00871693","volume":"1","author":"R. M. Keller","year":"1994","unstructured":"Richard M. Keller, Michal Rimon, and Aseem Das, \u201cA Knowledge-based Prototyping Environment for Construction of Scientific Modeling Software,\u201d Automated Software Engineering, vol. 1, no. 1, March 1994, pp. 79\u2013128.","journal-title":"Automated Software Engineering"},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Euro. Conf. OOP 1997","author":"G. Kiczales","year":"1997","unstructured":"Gregor Kiczales, et al.,\u201dAspect-Oriented Programming,\u201d Proc. Euro. Conf. OOP 1997, LNCS 1241, Springer Verlag, 1997."},{"key":"11_CR10","unstructured":"D. E. Knuth, The Art of Computer Programming, vol. 3: Sorting and Searching, Addison-Wesley, 1973."},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"C.W. Krueger","year":"1992","unstructured":"C.W. Krueger, \u201cSoftware Reuse,\u201d ACM Computing Surveys, vol. 24, no. 2, pp. 131\u2013184, June 1992.","journal-title":"ACM Computing Surveys"},{"key":"11_CR12","unstructured":"Michael R. Lowry, \u201cThe Abstraction\/Implementation Model of Problem Reformulation,\u201d Proc. IJCAI-87, pp. 1004\u20131010, 1987."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Michael Lowry, Andrew Philpot, Thomas Pressburger, and Ian Underwood, \u201cA Formal Approach to Domain-Oriented Software Design Environments,\u201d Proc. Ninth Knowledge-Based Software Engineering Conference (KBSE-94), pp. 48\u201357, 1994.","DOI":"10.1109\/KBSE.1994.342678"},{"key":"11_CR14","unstructured":"M. D. McIlroy, \u201cMass-produced software components,\u201d in Software Engineering Concepts and Techniques, 1968 NATO Conf. Software Eng., ed. J. M. Buxton, P. Naur, and B. Randell, pp. 88\u201398, 1976."},{"issue":"6","key":"11_CR15","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/32.391379","volume":"21","author":"H. Mili","year":"1995","unstructured":"H. Mili, F. Mili, and A. Mili, \u201cReusing Software: Issues and Research Directions,\u201d IEEE Trans. Soft. Engr., vol. 21, no. 6, pp. 528\u2013562, June 1995.","journal-title":"IEEE Trans. Soft. Engr."},{"issue":"3","key":"11_CR16","first-page":"37","volume":"4","author":"G. Novak","year":"1983","unstructured":"G. Novak, \u201cGLISP: A LISP-Based Programming System With Data Abstraction,\u201d AI Magazine, vol. 4, no. 3, pp. 37\u201347, Fall 1983.","journal-title":"AI Magazine"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"G. Novak, \u201cGenerating Programs from Connections of Physical Models,\u201d 10th Conf. on Artificial Intelligence for Applications, IEEE CS Press, 1994, pp. 224\u2013230.","DOI":"10.1109\/CAIA.1994.323628"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"G. Novak, \u201cComposing Reusable Software Components through Views\u201d, 9th Knowledge-Based Soft. Engr. Conf., IEEE CS Press, 1994, pp. 39\u201347.","DOI":"10.1109\/KBSE.1994.342679"},{"issue":"8","key":"11_CR19","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/32.403789","volume":"21","author":"G. Novak","year":"1995","unstructured":"G. Novak, \u201cConversion of Units of Measurement,\u201d IEEE Trans. Software Engineering, vol. 21, no. 8, pp. 651\u2013661, Aug. 1995.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"12","key":"11_CR20","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/32.489074","volume":"21","author":"G. Novak","year":"1995","unstructured":"G. Novak, \u201cCreation of Views for Reuse of Software with Different Data Representations\u201d, IEEE Trans. Soft. Engr., vol. 21, no. 12, pp. 993\u20131005, Dec. 1995.","journal-title":"IEEE Trans. Soft. Engr."},{"issue":"7","key":"11_CR21","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/32.605759","volume":"23","author":"G. Novak","year":"1997","unstructured":"G. Novak, \u201cSoftware Reuse by Specialization of Generic Procedures through Views, IEEE Trans. Soft. Engr., vol. 23, no. 7, pp. 401\u2013417, July 1997.","journal-title":"IEEE Trans. Soft. Engr."},{"key":"11_CR22","unstructured":"D.E. Perry, \u201cSome Holes in the Emperor\u2019s Reused Clothes,\u201d Proc. Ninth Annual Workshop on Software Reuse, Austin, TX, Jan. 1999."},{"key":"11_CR23","unstructured":"C. Rich, \u201cA Formal Representation for Plans in the Programmer\u2019s Apprentice,\u201d 7th Intl. Joint Conf. Art. Int. (IJCAI-81), pp. 1044\u20131052, 1981."},{"key":"11_CR24","unstructured":"C. Rich and R. Waters, The Programmer\u2019s Apprentice, ACM Press, 1990."},{"key":"11_CR25","unstructured":"S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 1995."},{"issue":"9","key":"11_CR26","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"D.R. Smith, \u201cKIDS: A Semiautomatic Program Development System,\u201d IEEE Trans. Software Engineering, vol. 16, no. 9, pp. 1024\u20131043, Sept. 1990.","journal-title":"IEEE Trans. Software Engineering"},{"key":"11_CR27","unstructured":"Y.V. Srinivas and J.L. McDonald, \u201cThe Architecture of SPECWARE\u2122, a Formal Software Development System,\u201d Tech. Report KES.U.96.7, Kestrel Institute, Palo Alto, CA."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"M. Stefik, \u201cPlanning with Constraints (MOLGEN: Part 1),\u201d Artificial Intelligence, vol. 16, no. 2, May 1981.","DOI":"10.1016\/0004-3702(81)90007-2"},{"key":"11_CR29","unstructured":"B. Stroustrup, The C++ Programming Language, Addison-Wesley, 1991."},{"key":"11_CR30","unstructured":"D. Waltz, \u201cUnderstanding line drawings of scenes with shadows,\u201d in P.H. Winston, ed., The Psychology of Computer Vision, McGraw-Hill, 1975."},{"issue":"11","key":"11_CR31","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/138844.138853","volume":"35","author":"G. Wiederhold","year":"1992","unstructured":"G. Wiederhold, P. Wegner, and S. Ceri, \u201cToward Megaprogramming,\u201d Communications of the ACM, vol. 35, no. 11 (Nov. 1992), pp. 89\u201399.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Abstraction, Reformulation, and Approximation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44914-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:53:36Z","timestamp":1737039216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44914-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678397","9783540449140"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-44914-0_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"11 August 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}