Refinement in Z and Object-Z: Foundations and Advanced Applications
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different applica...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
Springer London
2001
|
| Ausgabe: | 1st ed. 2001 |
| Schriftenreihe: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: - data refinement and its application to Z; - generalisations of refinement that change the interface and atomicity of operations; - refinement in Object-Z; - and modelling state and behaviour by combining Object-Z with CSP. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students |
| Beschreibung: | 1 Online-Ressource (XVIII, 466 p) |
| ISBN: | 9781447102571 |
| DOI: | 10.1007/978-1-4471-0257-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064103 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9781447102571 |9 978-1-4471-0257-1 | ||
| 024 | 7 | |a 10.1007/978-1-4471-0257-1 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4471-0257-1 | ||
| 035 | |a (OCoLC)1227483636 | ||
| 035 | |a (DE-599)BVBBV047064103 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 100 | 1 | |a Derrick, John |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Refinement in Z and Object-Z |b Foundations and Advanced Applications |c by John Derrick, Eerke A. Boiten |
| 250 | |a 1st ed. 2001 | ||
| 264 | 1 | |a London |b Springer London |c 2001 | |
| 300 | |a 1 Online-Ressource (XVIII, 466 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Formal Approaches to Computing and Information Technology (FACIT) | |
| 520 | |a Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: - data refinement and its application to Z; - generalisations of refinement that change the interface and atomicity of operations; - refinement in Object-Z; - and modelling state and behaviour by combining Object-Z with CSP. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students | ||
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Object-Z |0 (DE-588)4640268-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Object-Z |0 (DE-588)4640268-8 |D s |
| 689 | 0 | 1 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Z |g Programmiersprache |0 (DE-588)4225739-6 |D s |
| 689 | 1 | 1 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 2 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | 2 | |a Object-Z |0 (DE-588)4640268-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Boiten, Eerke A. |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781447102588 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781852332457 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-0257-1 |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-032471215 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4471-0257-1 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182061667319808 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Derrick, John Boiten, Eerke A. |
| author_facet | Derrick, John Boiten, Eerke A. |
| author_role | aut aut |
| author_sort | Derrick, John |
| author_variant | j d jd e a b ea eab |
| building | Verbundindex |
| bvnumber | BV047064103 |
| classification_rvk | ST 230 ST 250 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4471-0257-1 (OCoLC)1227483636 (DE-599)BVBBV047064103 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4471-0257-1 |
| edition | 1st ed. 2001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03460nmm a2200673zc 4500</leader><controlfield tag="001">BV047064103</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447102571</subfield><subfield code="9">978-1-4471-0257-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-0257-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4471-0257-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227483636</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064103</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">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</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">Derrick, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Refinement in Z and Object-Z</subfield><subfield code="b">Foundations and Advanced Applications</subfield><subfield code="c">by John Derrick, Eerke A. Boiten</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer London</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 466 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">Formal Approaches to Computing and Information Technology (FACIT)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: - data refinement and its application to Z; - generalisations of refinement that change the interface and atomicity of operations; - refinement in Object-Z; - and modelling state and behaviour by combining Object-Z with CSP. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</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="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-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="650" ind1="0" ind2="7"><subfield code="a">Object-Z</subfield><subfield code="0">(DE-588)4640268-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Object-Z</subfield><subfield code="0">(DE-588)4640268-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><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="1" ind2="1"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Object-Z</subfield><subfield code="0">(DE-588)4640268-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boiten, Eerke A.</subfield><subfield code="4">aut</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">9781447102588</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">9781852332457</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-0257-1</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-032471215</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-0257-1</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.BV047064103 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:21Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781447102571 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471215 |
| oclc_num | 1227483636 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XVIII, 466 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer London |
| record_format | marc |
| series2 | Formal Approaches to Computing and Information Technology (FACIT) |
| spelling | Derrick, John Verfasser aut Refinement in Z and Object-Z Foundations and Advanced Applications by John Derrick, Eerke A. Boiten 1st ed. 2001 London Springer London 2001 1 Online-Ressource (XVIII, 466 p) txt rdacontent c rdamedia cr rdacarrier Formal Approaches to Computing and Information Technology (FACIT) Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: - data refinement and its application to Z; - generalisations of refinement that change the interface and atomicity of operations; - refinement in Object-Z; - and modelling state and behaviour by combining Object-Z with CSP. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Software Engineering Software engineering Mathematical logic Software Engineering (DE-588)4116521-4 gnd rswk-swf Verfeinerung (DE-588)4267759-2 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Z Programmiersprache (DE-588)4225739-6 gnd rswk-swf Object-Z (DE-588)4640268-8 gnd rswk-swf Object-Z (DE-588)4640268-8 s Verfeinerung (DE-588)4267759-2 s DE-604 Z Programmiersprache (DE-588)4225739-6 s Informatik (DE-588)4026894-9 s Software Engineering (DE-588)4116521-4 s Boiten, Eerke A. aut Erscheint auch als Druck-Ausgabe 9781447102588 Erscheint auch als Druck-Ausgabe 9781852332457 https://doi.org/10.1007/978-1-4471-0257-1 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Derrick, John Boiten, Eerke A. Refinement in Z and Object-Z Foundations and Advanced Applications Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Software Engineering Software engineering Mathematical logic Software Engineering (DE-588)4116521-4 gnd Verfeinerung (DE-588)4267759-2 gnd Informatik (DE-588)4026894-9 gnd Z Programmiersprache (DE-588)4225739-6 gnd Object-Z (DE-588)4640268-8 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4267759-2 (DE-588)4026894-9 (DE-588)4225739-6 (DE-588)4640268-8 |
| title | Refinement in Z and Object-Z Foundations and Advanced Applications |
| title_auth | Refinement in Z and Object-Z Foundations and Advanced Applications |
| title_exact_search | Refinement in Z and Object-Z Foundations and Advanced Applications |
| title_exact_search_txtP | Refinement in Z and Object-Z Foundations and Advanced Applications |
| title_full | Refinement in Z and Object-Z Foundations and Advanced Applications by John Derrick, Eerke A. Boiten |
| title_fullStr | Refinement in Z and Object-Z Foundations and Advanced Applications by John Derrick, Eerke A. Boiten |
| title_full_unstemmed | Refinement in Z and Object-Z Foundations and Advanced Applications by John Derrick, Eerke A. Boiten |
| title_short | Refinement in Z and Object-Z |
| title_sort | refinement in z and object z foundations and advanced applications |
| title_sub | Foundations and Advanced Applications |
| topic | Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Software Engineering Software engineering Mathematical logic Software Engineering (DE-588)4116521-4 gnd Verfeinerung (DE-588)4267759-2 gnd Informatik (DE-588)4026894-9 gnd Z Programmiersprache (DE-588)4225739-6 gnd Object-Z (DE-588)4640268-8 gnd |
| topic_facet | Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Software Engineering Software engineering Mathematical logic Verfeinerung Informatik Z Programmiersprache Object-Z |
| url | https://doi.org/10.1007/978-1-4471-0257-1 |
| work_keys_str_mv | AT derrickjohn refinementinzandobjectzfoundationsandadvancedapplications AT boiteneerkea refinementinzandobjectzfoundationsandadvancedapplications |