Readings in Artificial Intelligence and Software Engineering

Nonfiction, Computers, General Computing
Cover of the book Readings in Artificial Intelligence and Software Engineering by , Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781483214429
Publisher: Elsevier Science Publication: June 28, 2014
Imprint: Morgan Kaufmann Language: English
Author:
ISBN: 9781483214429
Publisher: Elsevier Science
Publication: June 28, 2014
Imprint: Morgan Kaufmann
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Elsevier Science

Cover of the book Recent Progress in Hormone Research by
Cover of the book Solar-Terrestrial Magnetic Activity and Space Environment by
Cover of the book Microsomes, Drug Oxidations and Chemical Carcinogenesis V2 by
Cover of the book Rare Earth and Transition Metal Doping of Semiconductor Materials by
Cover of the book Advances in Energy Systems and Technology by
Cover of the book The Ecology of Sandy Shores by
Cover of the book Digital Humanities, Libraries, and Partnerships by
Cover of the book Texas National Energy Modeling Project by
Cover of the book A Paradigm Shift to Prevent and Treat Alzheimer's Disease by
Cover of the book Tribological Research and Design for Engineering Systems by
Cover of the book Model Theory by
Cover of the book Marine Mammals of the World: A Comprehensive Guide to Their Identification by
Cover of the book Progenitor and Stem Cell Technologies and Therapies by
Cover of the book The Performance of Concentrated Solar Power (CSP) Systems by
Cover of the book Practical Stress Management by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy