Cargando…

Readings in artificial intelligence and software engineering /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Rich, Charles, 1951-, Waters, Richard C.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Los Altos, Calif. : M. Kaufmann Publishers, �1986.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn562932409
003 OCoLC
005 20231117032934.0
006 m o d
007 cr bn||||||abp
007 cr bn||||||ada
008 100318s1986 caua ob 001 0 eng d
040 |a OCLCE  |b eng  |e pn  |c OCLCE  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCF  |d IDEBK  |d E7B  |d OPELS  |d OCLCQ  |d INARC  |d VT2  |d C6I  |d VLY  |d LUN  |d UAB  |d OCLCQ  |d OCLCO  |d S2H  |d OCLCO  |d OCLCQ  |d OCL  |d OCLCO 
019 |a 300992085  |a 974619264  |a 974670726  |a 1036828434  |a 1103280729  |a 1105779973  |a 1162216875  |a 1176489509  |a 1184511814  |a 1224215286 
020 |a 9780934613125  |q (electronic bk.) 
020 |a 0934613125  |q (electronic bk.) 
020 |a 9781483214429  |q (e-book) 
020 |a 1483214427 
035 |a (OCoLC)562932409  |z (OCoLC)300992085  |z (OCoLC)974619264  |z (OCoLC)974670726  |z (OCoLC)1036828434  |z (OCoLC)1103280729  |z (OCoLC)1105779973  |z (OCoLC)1162216875  |z (OCoLC)1176489509  |z (OCoLC)1184511814  |z (OCoLC)1224215286 
042 |a dlr 
050 4 |a Q336  |b .R43 1986 
082 0 4 |a 006.3  |2 19 
084 |a 54.72  |2 bcl 
245 0 0 |a Readings in artificial intelligence and software engineering /  |c edited by Charles Rich and Richard C. Waters. 
260 |a Los Altos, Calif. :  |b M. Kaufmann Publishers,  |c �1986. 
300 |a 1 online resource (xxi, 602 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 589-599) and index. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
588 0 |a Print version record. 
520 |a 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. 
505 0 |a Cover image; Title page; Table of Contents; Copyright; ACKNOWLEDGMENTS; INTRODUCTION; I: Deductive Synthesis; Chapter 1: Introduction to Deductive Synthesis; Chapter 2: A Deductive Approach to Program Synthesis; Publisher Summary; MOTIVATION; SPECIFICATION; BASIC STRUCTURE; SPLITTING RULES; TRANSFORMATION RULES; RESOLUTION; THE RESOLUTION RULES; THE POLARITY STRATEGY; MATHEMATICAL INDUCTION AND THE FORMATION OF RECURSIVE CALLS; A COMPLETE EXAMPLE: FINDING THE QUOTIENT OF TWO INTEGERS; THE FORMATION OF AUXILIARY PROCEDURES; GENERALIZATION; COMPARISON WITH THE PURE TRANSFORMATION-RULE APPROACH 
505 8 |a ACKNOWLEDGMENTSChapter 3: Top-Down Synthesis of Divide-and-Conquer Algorithms; ABSTRACT; 1 Introduction; 2 A Simple Example; 3 Derived Antecedents; 4 SPECIFICATIONS; 5 Design Strategies for Simple Algorithms; 6 The Form and Function of Divide-and-Conquer Algorithms; 7 Design Strategies for Divide-and-Conquer Algorithms; 8 Concluding remarks; Appendix A; ACKNOWLEDGMENT; II: Program Verification; Chapter 4: Introduction to Program Verification; Chapter 5: Mechanical proofs about computer programs; Publisher Summary; 1 INTRODUCTION; 2 A MATHEMATICAL APPROACH; 3 THE GYPSY ENVIRONMENT 
505 8 |a 4 AN EXAMPLE5 TRIAL APPLICATIONS; 6 CONCLUSION; Appendix A. Formal proof of lemma extend_separation; Appendix B. Formal proof of verification conditionseparator#3; Discussion; Chapter 6: PROOF CHECKING THE RSA PUBLIC KEY ENCRYPTION ALGORITHM; Publisher Summary; 1 Introduction; 2 A Sketch of the Theorem-Prover; 3 Correctness of CRYPT; 4 Fermat's Theorem; 5 Invertibility of CRYPT; 6 Sample Input to the Theorem-Prover; 7 Conclusion; III: Transformational Approaches; Chapter 7: Introduction to Transformational Approaches; Chapter 8: An Experimental Program Transformation and Synthesis System 
505 8 |a ABSTRACT1 Introduction; 2 Languages and Formalism Used; 3 System Structure; 4 Synthesis; 5 Generalisation and Sub-function Synthesis; 6 Eureka Elimination; 7 Conclusion; ACKNOWLEDGMENTS; Chapter 9: Program Development as a Formal Activity; Abstract; I INTRODUCTION; II TRANSFORMATION RULES; III CORRECTNESS OF TRANSFORMATIONS; IV TRANSFORMATIONAL SEMANTICS; V THE ROLE OF ABSTRACT DATA TYPES; VI THE ROLE OF ASSERTIONS; VII AN EXTENDED EXAMPLE: THE WARSHALL ALGORITHM; VIII CONCLUDING REMARKS; ACKNOWLEDGMENT; Chapter 10: An Experiment in Knowledge-based Automatic Programming; ABSTRACT 
505 8 |a 1 Introduction2 Overview of the Knowledge Base; 3 Sample Programs; 4 A Detailed Example; 5 Implementation; 6 Discussion; 7 Approaches to Automatic Programming; 8 Assessment; ACKNOWLEDGEMENTS; Chapter 11: On the Efficient Synthesis of Efficient Programs; ABSTRACT; 1 Introduction; 2 Background; 3 A Framework for Efficient Program Synthesis; 4 An Overview of the LIBRA Implementation; 5 An Example of LIBRA in Operation; 6 Methods for Controlling Search in Program Refinement; 7 Prototypes; 8 Estimating Execution Costs; 9 Adding New Efficiency Knowledge; 10 Results; 11 Related Research 
546 |a English. 
650 0 |a Artificial intelligence  |x Data processing. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Programming languages (Electronic computers) 
650 2 |a Programming Languages  |0 (DNLM)D011381 
650 6 |a Intelligence artificielle  |x Informatique.  |0 (CaQQLa)201-0131916 
650 6 |a Programmation (Informatique)  |0 (CaQQLa)201-0002014 
650 6 |a Langages de programmation.  |0 (CaQQLa)201-0003535 
650 6 |a G�enie logiciel.  |0 (CaQQLa)201-0121595 
650 7 |a computer programming.  |2 aat  |0 (CStmoGRI)aat300054641 
650 7 |a Programming languages (Electronic computers)  |2 fast  |0 (OCoLC)fst01078704 
650 7 |a Computer programming  |2 fast  |0 (OCoLC)fst00872390 
650 7 |a Artificial intelligence  |x Data processing  |2 fast  |0 (OCoLC)fst00817255 
650 7 |a Software engineering  |2 fast  |0 (OCoLC)fst01124185 
650 1 7 |a Kunstmatige intelligentie.  |2 gtt 
650 1 7 |a Ontwerpen.  |2 gtt 
650 1 7 |a Software.  |2 gtt 
700 1 |a Rich, Charles,  |d 1951- 
700 1 |a Waters, Richard C. 
776 0 8 |i Print version:  |t Readings in artificial intelligence and software engineering.  |d Los Altos, Calif. : M. Kaufmann Publishers, �1986  |w (DLC) 86018627  |w (OCoLC)13904623 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780934613125  |z Texto completo