mauney@ncsu.UUCP (Jon Mauney) (12/13/85)
%A J. Mostow %T What is AI? and what does it have to do with software engineering? %J IEEE-TSE %V SE-11 %N 11 %P 1253-1256 %D NOV 1985 %A Robert Balzer %T A 15 year perspective on automatic programming %J IEEE-TSE %V SE-11 %N 11 %P 1257-1268 %D NOV 1985 %K automatic programming, evolution, explanation, knowledge base maintenance, prototyping, specification, transformation %A Stephen F. Fickas %T Automating the transformational development of software %J IEEE-TSE %V SE-11 %N 11 %P 1268-1277 %D NOV 1985 %K knowlege-based software development, program transformation systems %A Douglas R. Smith %A Gordon B. Kotik %A Stephen J. Westfold %T Research on knowledge-based software environments at Kestrel Institute %J IEEE-TSE %V SE-11 %N 11 %P 1278-1295 %D NOV 1985 %K automatic programming, knowledge-base systems, program synthesis, programming environments, software environments, very-high-level languages, wide-spectrum languages %A Richard C. Waters %T The programmers apprentice: a session with KBEmacs %J IEEE-TSE %V SE-11 %N 11 %P 1296-1320 %D NOV 1985 %K computer-aided design, program editing, programming environments, reusable software components, Programmer's Apprentice %A David R. Barstow %T Domain-specific automatic programming %J IEEE-TSE %V SE-11 %N 11 %P 1321-1336 %D NOV 1985 %K automatic programming, programming knowledge, program transformations %A Robert Neches %A William R. Swartout %A Johanna D. Moore %T Enhanced maintenance and explanation of expert systems through explicit models of their development %J IEEE-TSE %V SE-11 %N 11 %P 1337-1351 %D NOV 1985 %K expert systems, explanation, natural language generation, software development, software maintenance %A Beth Adelson %A Elliot Soloway %T The Role of domain experience in software design %J IEEE-TSE %V SE-11 %N 11 %P 1351-1360 %D NOV 1985 %K artificial intelligence, cognitive models, cognitive science, software desig %A Elaine Kant %T Understanding and automating algorithm design %J IEEE-TSE %V SE-11 %N 11 %P 1361-1374 %D NOV 1985 %K automatic programming, automating algorithm design, human problem solving, program synthesis, protocol analysis %A David M. Steier %A Elaine Kant %T The roles of execution and analysis in algorithm design %J IEEE-TSE %V SE-11 %N 11 %P 1375-1386 %D NOV 1985 %K algorithm design, automatic programming, developmental evaluation, meta-evaluation, symbolic execution %A Jon Doyle %T Expert systems and the "myth" of symbolic reasoning %J IEEE-TSE %V SE-11 %N 11 %P 1387-1390 %D NOV 1985 %K automatic programming, expert systems, Lisp, programmer productivity, Prolog, prototypes, specifications, symbolic reasoning %A P. A. Subrahmanyam %T The "software engineering" of expert systems: is Prolog appropriate? %J IEEE-TSE %V SE-11 %N 11 %P 1391-1400 %D NOV 1985 %K expert systems, Lisp, logic programming, programming environments, Prolog %A Daniel G. Bobrow %T if Prolog is the answer, what is the question? or what it takes to support AI programming paradigms %J IEEE-TSE %V SE-11 %N 11 %P 1401-1408 %D NOV 1985 %K Artificial intelligence, knowledge programming, logic programming, loops, object-oriented programming, programming environments, programming paradigms -- Jon Mauney, mcnc!ncsu!mauney North Carolina State University