Can I read Readings in Artificial Intelligence and Software Engineering on EtoBox?

Readings in Artificial Intelligence and Software Engineering by Charles Rich; Richard C. Waters (Editors) is a nonfiction available to read on EtoBox.

What is Readings in Artificial Intelligence and Software Engineering about?

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 relati

Who reads Readings in Artificial Intelligence and Software Engineering?

Author

Charles Rich; Richard C. Waters (Editors)

Publisher

Morgan Kaufmann, Elsevier Inc

Published

1986

Language

EN

ISBN

9780934613125

Category

nonfiction

Subjects

Engineering, Science, Computer Science