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...
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Körperschaft: | |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
[Erscheinungsort nicht ermittelbar]
Morgan Kaufmann
2014
|
| Ausgabe: | 1st edition. |
| Schlagwörter: | |
| Links: | https://learning.oreilly.com/library/view/-/9780934613125/?ar |
| Zusammenfassung: | 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. |
| Umfang: | 1 Online-Ressource (624 Seiten) |
| ISBN: | 1483214427 9781483214429 9780934613125 |
Internformat
MARC
| LEADER | 00000cam a22000002 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-048595543 | ||
| 003 | DE-627-1 | ||
| 005 | 20240228120735.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191206s2014 xx |||||o 00| ||eng c | ||
| 020 | |a 1483214427 |9 1-4832-1442-7 | ||
| 020 | |a 9781483214429 |9 978-1-4832-1442-9 | ||
| 020 | |a 9780934613125 |9 978-0-934613-12-5 | ||
| 035 | |a (DE-627-1)048595543 | ||
| 035 | |a (DE-599)KEP048595543 | ||
| 035 | |a (ORHE)9780934613125 | ||
| 035 | |a (DE-627-1)048595543 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 082 | 0 | |a 006.3 |2 19/eng/20230216 | |
| 100 | 1 | |a Rich, Charles |e VerfasserIn |4 aut | |
| 245 | 1 | 0 | |a Readings in Artificial Intelligence and Software Engineering |c Rich, Charles |
| 250 | |a 1st edition. | ||
| 264 | 1 | |a [Erscheinungsort nicht ermittelbar] |b Morgan Kaufmann |c 2014 | |
| 300 | |a 1 Online-Ressource (624 Seiten) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 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. 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. | ||
| 650 | 0 | |a Engineering | |
| 650 | 4 | |a Ingénierie | |
| 650 | 4 | |a engineering | |
| 650 | 4 | |a Engineering | |
| 700 | 1 | |a Waters, Richard |e VerfasserIn |4 aut | |
| 710 | 2 | |a Safari, an O'Reilly Media Company. |e MitwirkendeR |4 ctb | |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9780934613125/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-048595543 |
|---|---|
| _version_ | 1821494847919357952 |
| adam_text | |
| any_adam_object | |
| author | Rich, Charles Waters, Richard |
| author_corporate | Safari, an O'Reilly Media Company |
| author_corporate_role | ctb |
| author_facet | Rich, Charles Waters, Richard Safari, an O'Reilly Media Company |
| author_role | aut aut |
| author_sort | Rich, Charles |
| author_variant | c r cr r w rw |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)048595543 (DE-599)KEP048595543 (ORHE)9780934613125 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1st edition. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02953cam a22004332 4500</leader><controlfield tag="001">ZDB-30-ORH-048595543</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228120735.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">191206s2014 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1483214427</subfield><subfield code="9">1-4832-1442-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483214429</subfield><subfield code="9">978-1-4832-1442-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780934613125</subfield><subfield code="9">978-0-934613-12-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)048595543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP048595543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9780934613125</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)048595543</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">19/eng/20230216</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rich, Charles</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Readings in Artificial Intelligence and Software Engineering</subfield><subfield code="c">Rich, Charles</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Erscheinungsort nicht ermittelbar]</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (624 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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. 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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingénierie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Waters, Richard</subfield><subfield code="e">VerfasserIn</subfield><subfield code="4">aut</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Safari, an O'Reilly Media Company.</subfield><subfield code="e">MitwirkendeR</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9780934613125/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-048595543 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-17T11:20:53Z |
| institution | BVB |
| isbn | 1483214427 9781483214429 9780934613125 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (624 Seiten) |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| spelling | Rich, Charles VerfasserIn aut Readings in Artificial Intelligence and Software Engineering Rich, Charles 1st edition. [Erscheinungsort nicht ermittelbar] Morgan Kaufmann 2014 1 Online-Ressource (624 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier 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. Engineering Ingénierie engineering Waters, Richard VerfasserIn aut Safari, an O'Reilly Media Company. MitwirkendeR ctb |
| spellingShingle | Rich, Charles Waters, Richard Readings in Artificial Intelligence and Software Engineering Engineering Ingénierie engineering |
| title | Readings in Artificial Intelligence and Software Engineering |
| title_auth | Readings in Artificial Intelligence and Software Engineering |
| title_exact_search | Readings in Artificial Intelligence and Software Engineering |
| title_full | Readings in Artificial Intelligence and Software Engineering Rich, Charles |
| title_fullStr | Readings in Artificial Intelligence and Software Engineering Rich, Charles |
| title_full_unstemmed | Readings in Artificial Intelligence and Software Engineering Rich, Charles |
| title_short | Readings in Artificial Intelligence and Software Engineering |
| title_sort | readings in artificial intelligence and software engineering |
| topic | Engineering Ingénierie engineering |
| topic_facet | Engineering Ingénierie engineering |
| work_keys_str_mv | AT richcharles readingsinartificialintelligenceandsoftwareengineering AT watersrichard readingsinartificialintelligenceandsoftwareengineering AT safarianoreillymediacompany readingsinartificialintelligenceandsoftwareengineering |