The Object-Z Specification Language:
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer US
2000
|
| Ausgabe: | 1st ed. 2000 |
| Schriftenreihe: | Advances in Formal Methods
1 |
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry |
| Beschreibung: | 1 Online-Ressource (XIII, 146 p) |
| ISBN: | 9781461552659 |
| DOI: | 10.1007/978-1-4615-5265-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047064437 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461552659 |9 978-1-4615-5265-9 | ||
| 024 | 7 | |a 10.1007/978-1-4615-5265-9 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4615-5265-9 | ||
| 035 | |a (OCoLC)1227484140 | ||
| 035 | |a (DE-599)BVBBV047064437 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Smith, Graeme |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The Object-Z Specification Language |c by Graeme Smith |
| 250 | |a 1st ed. 2000 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2000 | |
| 300 | |a 1 Online-Ressource (XIII, 146 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in Formal Methods |v 1 | |
| 520 | |a Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry | ||
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 0 | 7 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |D s |
| 689 | 0 | 1 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780792386841 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461374015 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461552666 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4615-5265-9 |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-032471548 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4615-5265-9 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182062457946112 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Smith, Graeme |
| author_facet | Smith, Graeme |
| author_role | aut |
| author_sort | Smith, Graeme |
| author_variant | g s gs |
| building | Verbundindex |
| bvnumber | BV047064437 |
| classification_rvk | ST 250 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4615-5265-9 (OCoLC)1227484140 (DE-599)BVBBV047064437 |
| 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 |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4615-5265-9 |
| edition | 1st ed. 2000 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03099nmm a2200577zcb4500</leader><controlfield tag="001">BV047064437</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461552659</subfield><subfield code="9">978-1-4615-5265-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4615-5265-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4615-5265-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227484140</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064437</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">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, Graeme</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Object-Z Specification Language</subfield><subfield code="c">by Graeme Smith</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 146 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="490" ind1="0" ind2=" "><subfield code="a">Advances in Formal Methods</subfield><subfield code="v">1</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</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">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Z</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4225739-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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">9780792386841</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">9781461374015</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">9781461552666</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4615-5265-9</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-032471548</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4615-5265-9</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.BV047064437 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:35Z |
| institution | BVB |
| isbn | 9781461552659 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471548 |
| oclc_num | 1227484140 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XIII, 146 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer US |
| record_format | marc |
| series2 | Advances in Formal Methods |
| spelling | Smith, Graeme Verfasser aut The Object-Z Specification Language by Graeme Smith 1st ed. 2000 New York, NY Springer US 2000 1 Online-Ressource (XIII, 146 p) txt rdacontent c rdamedia cr rdacarrier Advances in Formal Methods 1 Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry Artificial Intelligence Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer Science, general Artificial intelligence Programming languages (Electronic computers) Software engineering Computer science Objektorientierte Programmiersprache (DE-588)4172311-9 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf Objektorientierte Programmiersprache (DE-588)4172311-9 s Z Programmiersprache (DE-588)4225739-6 s DE-604 Erscheint auch als Druck-Ausgabe 9780792386841 Erscheint auch als Druck-Ausgabe 9781461374015 Erscheint auch als Druck-Ausgabe 9781461552666 https://doi.org/10.1007/978-1-4615-5265-9 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Smith, Graeme The Object-Z Specification Language Artificial Intelligence Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer Science, general Artificial intelligence Programming languages (Electronic computers) Software engineering Computer science Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Z Programmiersprache (DE-588)4225739-6 gnd |
| subject_GND | (DE-588)4172311-9 (DE-588)4225739-6 |
| title | The Object-Z Specification Language |
| title_auth | The Object-Z Specification Language |
| title_exact_search | The Object-Z Specification Language |
| title_exact_search_txtP | The Object-Z Specification Language |
| title_full | The Object-Z Specification Language by Graeme Smith |
| title_fullStr | The Object-Z Specification Language by Graeme Smith |
| title_full_unstemmed | The Object-Z Specification Language by Graeme Smith |
| title_short | The Object-Z Specification Language |
| title_sort | the object z specification language |
| topic | Artificial Intelligence Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer Science, general Artificial intelligence Programming languages (Electronic computers) Software engineering Computer science Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Z Programmiersprache (DE-588)4225739-6 gnd |
| topic_facet | Artificial Intelligence Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer Science, general Artificial intelligence Programming languages (Electronic computers) Software engineering Computer science Objektorientierte Programmiersprache Z Programmiersprache |
| url | https://doi.org/10.1007/978-1-4615-5265-9 |
| work_keys_str_mv | AT smithgraeme theobjectzspecificationlanguage |