IEEE Trans on Software Engineering, v11 n11, Nov 1985
Jon Mauney
%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