{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:48Z","timestamp":1725663348605},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171898"},{"type":"electronic","value":"9783540473473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17189-4_121","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:12:30Z","timestamp":1330197150000},"page":"566-575","source":"Crossref","is-referenced-by-count":3,"title":["Framework for a knowledge-based programming environment"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Polak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"39_CR1","unstructured":"R. Balzer, D. Dyer, M. Fehling, S. Saunders, Specification-Based Computing Environments, Information Sciences Institute, April 1982"},{"key":"39_CR2","unstructured":"J.A. Bergstra, J.W. Klopp, J.V. TuckerAlgebraic Tools for System Construction in Proc. Logics of Programs, LNCS 164, Springer Verlag, 1983"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"David R. Barstow, Howard E. Shrobe, Erik Sandewall, Interactive Programming Environments, McGraw-Hill, 1984","DOI":"10.1145\/1012339.1012342"},{"key":"39_CR4","unstructured":"Jan Chomicki, Naftaly H. Minsky, Towards a Programming Environment for Large Prolog Programs, Rutgers University, May 1985"},{"key":"39_CR5","unstructured":"V. Donzeau-Gouge, G. Huet, G. Kahn, Programming Environments Based on Structured Editors: The MENTOR Experience, in [3]"},{"key":"39_CR6","unstructured":"Peter H. Feiler, Raul Medina-Mora, An Incremental Programming Environment, Carnegie-Mellon University, April 1980"},{"key":"39_CR7","unstructured":"Peter Fritzson, Architecture of an Incremental Programming Environment and some Notions of Consistency, Report LITH-IDA-R-84-02, Link\u00f6ping University, 1984"},{"key":"39_CR8","unstructured":"Cordell Green, David Luckham, Robert Balzer, Thomas Cheatham, Charles Rich, Report on a Knowledge-Based Software Assistent, KES.U.83.2, Kestrel Institute, Palo Alto, 1983"},{"key":"39_CR9","unstructured":"Habermann, A., The Gandalf Research Project, Computer Science Research Review, Carnegie-Mellon University, 1978\u201379."},{"key":"39_CR10","unstructured":"Jean-Marie Hullot, CEYX, A Multiformalism Programming Environment, Institut National de Recherche en Informatique et en Automatique, May, 1983"},{"key":"39_CR11","volume-title":"Knowledge-Based Command Understanding: An Example for the Software Development Environment","author":"K. E. Huff","year":"1982","unstructured":"Karen E. Huff, Victor R. Lesser, Knowledge-Based Command Understanding: An Example for the Software Development Environment, University of Massachusetts, Amherst, June 1982"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"R. H. Katz, T.J.Lehman, Database Support for Versions and Alternatives of Large Design Files, IEEE Transactions on Software Engineering, SE-10\/2, March 1984","DOI":"10.1109\/TSE.1984.5010222"},{"issue":"4","key":"39_CR13","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/C-M.1981.220408","volume":"14","author":"B. Kernighan","year":"1981","unstructured":"Kernighan, B. and Mashey, J., The Univ Programming Environment, IEEE Computer, Vol 14 No 4:12\u201324, April 1981.","journal-title":"IEEE Computer"},{"key":"39_CR14","unstructured":"Paul Klint, Survey of Three Language-Independent Programming Environments, INRIA, December 1983"},{"key":"39_CR15","unstructured":"H.C. Kuo, J. Ramanathan, D. Soni, M. Suni, System Architecture of an Adaptable Software Environment, Ohio State University, 1983"},{"key":"39_CR16","unstructured":"H. J. Komorowski, Interactive and Incremental Programming Environments: Experience, Foundations and Future, Report HARV-TR-09-83, Harvard University, 1983"},{"key":"39_CR17","unstructured":"Raul Medina-Mora, Syntax-Directed Editing: Towards Integrated Programming Environments, Dept. of Computer Science, Carnegie-Mellon University, 1982"},{"issue":"2","key":"39_CR18","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/322123.322134","volume":"26","author":"G. Milne","year":"1979","unstructured":"George Milne, Robin Milner, Concurrent Processes and their Syntax, J.ACM 26\/2, pp. 302\u2013321, April 1979","journal-title":"J.ACM"},{"issue":"4","key":"39_CR19","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1145\/322154.322167","volume":"26","author":"R. Milner","year":"1979","unstructured":"Robin Milner, Flowgraphs and Flow Algebras, J.ACM 26\/4, pp. 794\u2013818, October 1979","journal-title":"J.ACM"},{"key":"39_CR20","volume-title":"Active Databases as a Paradigm for Enhanced Computing Environments","author":"M. Morgenstern","year":"1983","unstructured":"Matthew Morgenstern, Active Databases as a Paradigm for Enhanced Computing Environments, Information Sciences Institute, USC, October, 1983"},{"key":"39_CR21","unstructured":"Thomas W. Reps, Generating Language-Based Environments, MIT Press, 1984"},{"key":"39_CR22","unstructured":"Rich, C., Shrobe, H. and Waters, R.,Programmer's Apprentice Project, MIT, Outline of Research, 1979\u201380."},{"key":"39_CR23","unstructured":"Eric E. Schmidt, Controlling Large Software Development in a Distributed Environment, XEROX Palo Alto Research Center, Ph.D Thesis, December 1982"},{"issue":"1","key":"39_CR24","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MEX.1986.5006497","volume":"1","author":"M. I. Schor","year":"1986","unstructured":"Marshall I. SchorDeclarative Knowledge Programming: Better than Procedural?, IEEE Expert, Vol. 1\/1, Spring 1986, pp 36\u201343","journal-title":"IEEE Expert"},{"key":"39_CR25","doi-asserted-by":"crossref","unstructured":"Sintzoff, M., Understanding and Expressing Software Construction, in NATO ASI Series, Vol. F8, Program Transformation and Programming Environments, P. Pepper (ed.), Springer Verlag, 1984","DOI":"10.1007\/978-3-642-46490-4_16"},{"key":"39_CR26","unstructured":"Sintzoff, M., Exploratory Proposals for a Calculus of Software Development, Rapport 84\/2, Universite Catholique de Louvain, September, 1984"},{"key":"39_CR27","unstructured":"Sintzoff, M., Desiderata for a design calculus, RM 85\u201313, Universite Catholique de Louvain, June, 1985"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Warren Teitelman, Larry Masinter, The Interlisp Programming Environment, in [3]","DOI":"10.1109\/C-M.1981.220410"},{"key":"39_CR29","volume-title":"Relational Database Environment for Software Development","author":"A. Wasserman","year":"1983","unstructured":"Anthony Wasserman, Martin L. Kersten, Relational Database Environment for Software Development, Vrije University, Amsterdam, October 1983"}],"container-title":["Lecture Notes in Computer Science","Advanced Programming Environments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17189-4_121.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:45Z","timestamp":1605643965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17189-4_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171898","9783540473473"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-17189-4_121","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}