Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
1982
|
| Schriftenreihe: | NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences
91 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Long ago, the welfare of a society used to depend heavily on the skill and dedication of its craftsmen - the miller, the blacksmith, the cobbler and the tailor. These craftsmen acquired their skill by a long and poorly paid apprenticeship to some master of their craft. They learned by imitation and experience, and by trial and error. They did not read books or study science, they knew nothing of the theory of their subject, the geometry of their rudimentary drawings, nor the mathematics underlying their primitive calculations. They could not explain how or why they used their methods; yet they worked effectively by themselves or in small teams to complete their tasks at a predicted cost, to a fairly well predicted timescale, and usually to the satisfaction of their clients. The programmer of today shares many of these attributes of a craftsman. He learns his craft by apprenticeship in an existing team of programmers - but his apprenticeship is highly paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory, or even read books on Computer Science. He knows nothing of the logical and mathematical foundations of his profession; and he hates to explain or justify, or even to document what he has done |
| Beschreibung: | 1 Online-Ressource (672p) |
| ISBN: | 9789400978935 9789027714626 |
| ISSN: | 1389-2185 |
| DOI: | 10.1007/978-94-009-7893-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042415379 | ||
| 003 | DE-604 | ||
| 005 | 20190717 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150316s1982 |||| o||u| ||||||eng d | ||
| 020 | |a 9789400978935 |c Online |9 978-94-009-7893-5 | ||
| 020 | |a 9789027714626 |c Print |9 978-90-277-1462-6 | ||
| 024 | 7 | |a 10.1007/978-94-009-7893-5 |2 doi | |
| 035 | |a (OCoLC)863800802 | ||
| 035 | |a (DE-599)BVBBV042415379 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-83 | ||
| 082 | 0 | |a 510 |2 23 | |
| 084 | |a PHY 000 |2 stub | ||
| 100 | 1 | |a Broy, Manfred |d 1949- |0 (DE-588)109602137 |4 edt | |
| 245 | 1 | 0 | |a Theoretical Foundations of Programming Methodology |b Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare |c edited by Manfred Broy, Gunther Schmidt |
| 246 | 1 | 3 | |a Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981 |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1982 | |
| 300 | |a 1 Online-Ressource (672p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences |v 91 |x 1389-2185 | |
| 500 | |a Long ago, the welfare of a society used to depend heavily on the skill and dedication of its craftsmen - the miller, the blacksmith, the cobbler and the tailor. These craftsmen acquired their skill by a long and poorly paid apprenticeship to some master of their craft. They learned by imitation and experience, and by trial and error. They did not read books or study science, they knew nothing of the theory of their subject, the geometry of their rudimentary drawings, nor the mathematics underlying their primitive calculations. They could not explain how or why they used their methods; yet they worked effectively by themselves or in small teams to complete their tasks at a predicted cost, to a fairly well predicted timescale, and usually to the satisfaction of their clients. The programmer of today shares many of these attributes of a craftsman. He learns his craft by apprenticeship in an existing team of programmers - but his apprenticeship is highly paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory, or even read books on Computer Science. He knows nothing of the logical and mathematical foundations of his profession; and he hates to explain or justify, or even to document what he has done | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1981 |z Marktoberdorf |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Schmidt, Gunther |d 1939- |0 (DE-588)12940893X |4 edt | |
| 830 | 0 | |a NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences |v 91 |w (DE-604)BV000003915 |9 91 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-009-7893-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-PHA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-PHA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027850872 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153082372685824 |
|---|---|
| any_adam_object | |
| author2 | Broy, Manfred 1949- Schmidt, Gunther 1939- |
| author2_role | edt edt |
| author2_variant | m b mb g s gs |
| author_GND | (DE-588)109602137 (DE-588)12940893X |
| author_facet | Broy, Manfred 1949- Schmidt, Gunther 1939- |
| building | Verbundindex |
| bvnumber | BV042415379 |
| classification_tum | PHY 000 |
| collection | ZDB-2-PHA ZDB-2-BAE |
| ctrlnum | (OCoLC)863800802 (DE-599)BVBBV042415379 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Physik Mathematik |
| doi_str_mv | 10.1007/978-94-009-7893-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03811nmm a2200553zcb4500</leader><controlfield tag="001">BV042415379</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190717 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150316s1982 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400978935</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-009-7893-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789027714626</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-277-1462-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-009-7893-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863800802</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042415379</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHY 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical Foundations of Programming Methodology</subfield><subfield code="b">Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare</subfield><subfield code="c">edited by Manfred Broy, Gunther Schmidt</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (672p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences</subfield><subfield code="v">91</subfield><subfield code="x">1389-2185</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Long ago, the welfare of a society used to depend heavily on the skill and dedication of its craftsmen - the miller, the blacksmith, the cobbler and the tailor. These craftsmen acquired their skill by a long and poorly paid apprenticeship to some master of their craft. They learned by imitation and experience, and by trial and error. They did not read books or study science, they knew nothing of the theory of their subject, the geometry of their rudimentary drawings, nor the mathematics underlying their primitive calculations. They could not explain how or why they used their methods; yet they worked effectively by themselves or in small teams to complete their tasks at a predicted cost, to a fairly well predicted timescale, and usually to the satisfaction of their clients. The programmer of today shares many of these attributes of a craftsman. He learns his craft by apprenticeship in an existing team of programmers - but his apprenticeship is highly paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory, or even read books on Computer Science. He knows nothing of the logical and mathematical foundations of his profession; and he hates to explain or justify, or even to document what he has done</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1981</subfield><subfield code="z">Marktoberdorf</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schmidt, Gunther</subfield><subfield code="d">1939-</subfield><subfield code="0">(DE-588)12940893X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences</subfield><subfield code="v">91</subfield><subfield code="w">(DE-604)BV000003915</subfield><subfield code="9">91</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-009-7893-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-PHA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-PHA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027850872</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1981 Marktoberdorf gnd-content |
| genre_facet | Konferenzschrift 1981 Marktoberdorf |
| id | DE-604.BV042415379 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:20:57Z |
| institution | BVB |
| isbn | 9789400978935 9789027714626 |
| issn | 1389-2185 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027850872 |
| oclc_num | 863800802 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-83 |
| physical | 1 Online-Ressource (672p) |
| psigel | ZDB-2-PHA ZDB-2-BAE ZDB-2-PHA_Archive |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Springer Netherlands |
| record_format | marc |
| series | NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences |
| series2 | NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences |
| spelling | Broy, Manfred 1949- (DE-588)109602137 edt Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare edited by Manfred Broy, Gunther Schmidt Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981 Dordrecht Springer Netherlands 1982 1 Online-Ressource (672p) txt rdacontent c rdamedia cr rdacarrier NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences 91 1389-2185 Long ago, the welfare of a society used to depend heavily on the skill and dedication of its craftsmen - the miller, the blacksmith, the cobbler and the tailor. These craftsmen acquired their skill by a long and poorly paid apprenticeship to some master of their craft. They learned by imitation and experience, and by trial and error. They did not read books or study science, they knew nothing of the theory of their subject, the geometry of their rudimentary drawings, nor the mathematics underlying their primitive calculations. They could not explain how or why they used their methods; yet they worked effectively by themselves or in small teams to complete their tasks at a predicted cost, to a fairly well predicted timescale, and usually to the satisfaction of their clients. The programmer of today shares many of these attributes of a craftsman. He learns his craft by apprenticeship in an existing team of programmers - but his apprenticeship is highly paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory, or even read books on Computer Science. He knows nothing of the logical and mathematical foundations of his profession; and he hates to explain or justify, or even to document what he has done Mathematics Mathematics, general Mathematik Programmierung (DE-588)4076370-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1981 Marktoberdorf gnd-content Programmierung (DE-588)4076370-5 s 2\p DE-604 Software Engineering (DE-588)4116521-4 s 3\p DE-604 Schmidt, Gunther 1939- (DE-588)12940893X edt NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences 91 (DE-604)BV000003915 91 https://doi.org/10.1007/978-94-009-7893-5 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences Mathematics Mathematics, general Mathematik Programmierung (DE-588)4076370-5 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4116521-4 (DE-588)1071861417 |
| title | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare |
| title_alt | Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981 |
| title_auth | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare |
| title_exact_search | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare |
| title_full | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare edited by Manfred Broy, Gunther Schmidt |
| title_fullStr | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare edited by Manfred Broy, Gunther Schmidt |
| title_full_unstemmed | Theoretical Foundations of Programming Methodology Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare edited by Manfred Broy, Gunther Schmidt |
| title_short | Theoretical Foundations of Programming Methodology |
| title_sort | theoretical foundations of programming methodology lecture notes of an international summer school directed by f l bauer e w dijkstra and c a r hoare |
| title_sub | Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare |
| topic | Mathematics Mathematics, general Mathematik Programmierung (DE-588)4076370-5 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Mathematics Mathematics, general Mathematik Programmierung Software Engineering Konferenzschrift 1981 Marktoberdorf |
| url | https://doi.org/10.1007/978-94-009-7893-5 |
| volume_link | (DE-604)BV000003915 |
| work_keys_str_mv | AT broymanfred theoreticalfoundationsofprogrammingmethodologylecturenotesofaninternationalsummerschooldirectedbyflbauerewdijkstraandcarhoare AT schmidtgunther theoreticalfoundationsofprogrammingmethodologylecturenotesofaninternationalsummerschooldirectedbyflbauerewdijkstraandcarhoare AT broymanfred paperspresentedatthemarktoberdorfsummerschoolontheoreticalfoundationsofprogrammingmethodologyorganizedundertheauspicesofthetechnicaluniversitymunichandsponsoredbythenatoscientificaffairsdivisiongermany1981 AT schmidtgunther paperspresentedatthemarktoberdorfsummerschoolontheoreticalfoundationsofprogrammingmethodologyorganizedundertheauspicesofthetechnicaluniversitymunichandsponsoredbythenatoscientificaffairsdivisiongermany1981 |