Readings in artificial intelligence and software engineering

✍ Scribed by Charles Rich; Richard C Waters

• Publisher: Morgan Kaufmann, Elsevier Inc
• Year: 1986
• Tongue: English
• Leaves: 589
• Category: Library

✦ Synopsis

Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The ultimate goal of artificial intelligence applied to software engineering is automatic programming. Automatic programming would allow a user to simply say what is wanted and have a program produced completely automatically.
This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive synthesis, program transformations, program verification, and programming tutors. The opening parts provide an introduction to the key ideas to the deductive approach, namely the correspondence between theorems and specifications and between constructive proofs and programs. These parts also describes automatic theorem provers whose development has be designed for the programming domain. The subsequent parts present generalized program transformation systems, the problems involved in using natural language input, the features of very high level languages, and the advantages of the programming by example system. Other parts explore the intelligent assistant approach and the significance and relation of programming knowledge in other programming system. The concluding parts focus on the features of the domain knowledge system and the artificial intelligence programming.
Software engineers and designers and computer programmers, as well as researchers in the field of artificial intelligence will find this book invaluable.

✦ Table of Contents

Content:
Front Matter, Page i
Copyright, Page ii
ACKNOWLEDGMENTS, Pages vii-ix
INTRODUCTION, Pages xi-xxi
Introduction to Deductive Synthesis, Page 1
A Deductive Approach to Program Synthesis, Pages 3-34, ZOHAR MANNA, RICHARD WALDINGER
Top-Down Synthesis of Divide-and-Conquer Algorithms, Pages 35-61, Douglas R. Smith
Introduction to Program Verification, Page 63
Mechanical proofs about computer programs, Pages 65-85, D.I. Good
PROOF CHECKING THE RSA PUBLIC KEY ENCRYPTION ALGORITHM, Pages 87-95, ROBERT S. BOYER, STROTHER J. MOORE
Introduction to Transformational Approaches, Pages 97-98
An Experimental Program Transformation and Synthesis System, Pages 99-121, John Darlington
Program Development as a Formal Activity, Pages 123-131, MANFRED BROY, PETER PEPPER
An Experiment in Knowledge-based Automatic Programming, Pages 133-156, David R. Barstow
On the Efficient Synthesis of Efficient Programs, Pages 157-183, Elaine Kant, R.M. Burstall
Reusability Through Program Transformations, Pages 185-190, THOMAS E. CHEATHAM JR.
RESEARCH CONTRIBUTIONS - Program Developments: Formal Explanations of Implementations, Pages 191-200, DAVID S. WILE
Introduction to Natural Language Specifications, Page 201
Automatic Programming Through Natural Language Dialogue: A Survey, Pages 203-214, G.E. HEIDORN
Protosystem I—An automatic programming system prototype, Pages 215-221, GREGORY R. RUTH
Informality in Program Specifications, Pages 223-232, ROBERT BALZER, NEIL GOLDMAN, DAVID WILE
Introduction to Very High Level Languages, Pages 233-234
An Automatic Technique for Selection of Data Representations in SETL Programs, Pages 235-243, EDMOND SCHONBERG, JACOB T. SCHWARTZ, MICHA SHARIR
Automating the Selection of Implementation Structures, Pages 245-257, LAWRENCE A. ROWE, FRED M. TONGE
KNOWLEDGE-BASED PROGRAMMING SELF APPLIED, Pages 259-284, Cordell Green, Stephen Westfold
IMPLEMENTING SPECIFICATION FREEDOMS, Pages 285-305, Philip E. LONDON, Martin S. FEATHER
Introduction to Programming by Example, Page 307
A Methodology for LISP Program Construction from Examples, Pages 309-316, PHILLIP D. SUMMERS
Programming by Examples, Pages 317-327, Michael A. Bauer
Introduction to Intelligent Assistants, Page 329
TOWARD INTERACTIVE DESIGN OF CORRECT PROGRAMS, Pages 331-334, Robert W. FLOYD
A Designer/Verifier's Assistant, Pages 335-349, MARK S. MORICONI
The Programmer's Apprentice: A Session with KBEmacs, Pages 351-375, RICHARD C. WATERS
Kestrel Institute: REPORT ON A KNOWLEDGE-BASED SOFTWARE ASSISTANT, Pages 377-428, CORDELL GREEN, DAVID LUCKHAM, ROBERT BALZER, THOMAS CHEATHAM, CHARLES RICH
Introduction to Programming Tutors, Page 429
Intelligent Program Analysis, Pages 431-441, Gregory R. Ruth
PROUST: Knowledge-Based Program Understanding, Pages 443-451, W.LEWIS JOHNSON, ELLIOT SOLOWAY
Introduction to Programming Knowledge, Page 453
On Program Synthesis Knowledge, Pages 455-474, Cordell Green, David Barstow
Program Abstraction and Instantiation, Pages 475-490, NACHUM DERSHOWITZ
A Formal Representation For Plans In The Programmer's Apprentice, Pages 491-506, Charles Rich
Empirical Studies of Programming Knowledge, Pages 507-521, ELLIOT SOLOWAY, KATE EHRLICH
Introduction to Domain Knowledge, Page 523
The Draco Approach to Constructing Software from Reusable Components, Pages 525-535, JAMES M. NEIGHBORS
A Perspective on Automatic Programming, Pages 537-559, David Barstow
Knowledge Representation as the Basis for Requirements Specifications, Pages 561-570, Alexander Borgida, Sol Greenspan, John Mylopoulos
Introduction to Artificial Intelligence Programming, Page 571
DATAMATION®: POWER TOOLS FOR PROGRAMMERS, Pages 573-580, Beau Sheil
Perspectives on Artificial Intelligence Programming, Pages 581-587, DANIEL G. BOBROW, MARK J. STEFIK
BIBLIOGRAPHY, Pages 589-599
INDEX, Pages 601-602