[net.mag] IEEE Trans on Software Engineering, v11 n11, Nov 1985

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