Practical Foundations of Business System Specifications:
"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering,...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2003
|
| Ausgabe: | 1st ed. 2003 |
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time |
| Beschreibung: | 1 Online-Ressource (X, 338 p) |
| ISBN: | 9789401727402 |
| DOI: | 10.1007/978-94-017-2740-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064811 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401727402 |9 978-94-017-2740-2 | ||
| 024 | 7 | |a 10.1007/978-94-017-2740-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-94-017-2740-2 | ||
| 035 | |a (OCoLC)1227480583 | ||
| 035 | |a (DE-599)BVBBV047064811 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 245 | 1 | 0 | |a Practical Foundations of Business System Specifications |c edited by Haim Kilov, Ken Baclavski |
| 250 | |a 1st ed. 2003 | ||
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2003 | |
| 300 | |a 1 Online-Ressource (X, 338 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time | ||
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Business Mathematics | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a IT in Business | |
| 650 | 4 | |a Innovation/Technology Management | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Business mathematics | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Information technology | |
| 650 | 4 | |a Business—Data processing | |
| 650 | 4 | |a Management | |
| 650 | 4 | |a Industrial management | |
| 650 | 4 | |a Mathematical logic | |
| 700 | 1 | |a Kilov, Haim |4 edt | |
| 700 | 1 | |a Baclavski, Ken |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789048163670 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402014802 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789401727419 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-2740-2 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471923 | ||
| 966 | e | |u https://doi.org/10.1007/978-94-017-2740-2 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182063341895680 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Kilov, Haim Baclavski, Ken |
| author2_role | edt edt |
| author2_variant | h k hk k b kb |
| author_facet | Kilov, Haim Baclavski, Ken |
| building | Verbundindex |
| bvnumber | BV047064811 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-94-017-2740-2 (OCoLC)1227480583 (DE-599)BVBBV047064811 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-94-017-2740-2 |
| edition | 1st ed. 2003 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03341nmm a2200577zc 4500</leader><controlfield tag="001">BV047064811</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401727402</subfield><subfield code="9">978-94-017-2740-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-2740-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-94-017-2740-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227480583</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064811</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-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical Foundations of Business System Specifications</subfield><subfield code="c">edited by Haim Kilov, Ken Baclavski</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2003</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 338 p)</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="520" ind1=" " ind2=" "><subfield code="a">"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">IT in Business</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Innovation/Technology Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information technology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business—Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kilov, Haim</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baclavski, Ken</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789048163670</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781402014802</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789401727419</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-2740-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471923</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-2740-2</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064811 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:35Z |
| institution | BVB |
| isbn | 9789401727402 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471923 |
| oclc_num | 1227480583 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (X, 338 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Netherlands |
| record_format | marc |
| spelling | Practical Foundations of Business System Specifications edited by Haim Kilov, Ken Baclavski 1st ed. 2003 Dordrecht Springer Netherlands 2003 1 Online-Ressource (X, 338 p) txt rdacontent c rdamedia cr rdacarrier "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time Theory of Computation Business Mathematics Software Engineering/Programming and Operating Systems IT in Business Innovation/Technology Management Mathematical Logic and Foundations Computers Business mathematics Software engineering Information technology Business—Data processing Management Industrial management Mathematical logic Kilov, Haim edt Baclavski, Ken edt Erscheint auch als Druck-Ausgabe 9789048163670 Erscheint auch als Druck-Ausgabe 9781402014802 Erscheint auch als Druck-Ausgabe 9789401727419 https://doi.org/10.1007/978-94-017-2740-2 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Practical Foundations of Business System Specifications Theory of Computation Business Mathematics Software Engineering/Programming and Operating Systems IT in Business Innovation/Technology Management Mathematical Logic and Foundations Computers Business mathematics Software engineering Information technology Business—Data processing Management Industrial management Mathematical logic |
| title | Practical Foundations of Business System Specifications |
| title_auth | Practical Foundations of Business System Specifications |
| title_exact_search | Practical Foundations of Business System Specifications |
| title_exact_search_txtP | Practical Foundations of Business System Specifications |
| title_full | Practical Foundations of Business System Specifications edited by Haim Kilov, Ken Baclavski |
| title_fullStr | Practical Foundations of Business System Specifications edited by Haim Kilov, Ken Baclavski |
| title_full_unstemmed | Practical Foundations of Business System Specifications edited by Haim Kilov, Ken Baclavski |
| title_short | Practical Foundations of Business System Specifications |
| title_sort | practical foundations of business system specifications |
| topic | Theory of Computation Business Mathematics Software Engineering/Programming and Operating Systems IT in Business Innovation/Technology Management Mathematical Logic and Foundations Computers Business mathematics Software engineering Information technology Business—Data processing Management Industrial management Mathematical logic |
| topic_facet | Theory of Computation Business Mathematics Software Engineering/Programming and Operating Systems IT in Business Innovation/Technology Management Mathematical Logic and Foundations Computers Business mathematics Software engineering Information technology Business—Data processing Management Industrial management Mathematical logic |
| url | https://doi.org/10.1007/978-94-017-2740-2 |
| work_keys_str_mv | AT kilovhaim practicalfoundationsofbusinesssystemspecifications AT baclavskiken practicalfoundationsofbusinesssystemspecifications |