Modeling in Event-B: system and software engineering
"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the use...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York
Cambridge University Press
2010
|
| Schlagwörter: | |
| Zusammenfassung: | "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher |
| Beschreibung: | Includes bibliographical references and index |
| Umfang: | XXVI, 586 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036434838 | ||
| 003 | DE-604 | ||
| 005 | 20100823 | ||
| 007 | t| | ||
| 008 | 100503s2010 xx |||| 00||| eng d | ||
| 020 | |z 9780521895569 (hardback) |9 9780521895569 (hardback) | ||
| 020 | |z 0521895561 (hardback) |9 0521895561 (hardback) | ||
| 035 | |a (OCoLC)705471104 | ||
| 035 | |a (DE-599)BVBBV036434838 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-573 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Abrial, Jean-Raymond |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling in Event-B |b system and software engineering |c Jean-Raymond Abrial |
| 264 | 1 | |a New York |b Cambridge University Press |c 2010 | |
| 300 | |a XXVI, 586 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 520 | |a "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher | ||
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a B method (Computer science) | |
| 650 | 4 | |a Computer science / Mathematical models | |
| 650 | 4 | |a Computer systems / Verification | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020307338 | |
Datensatz im Suchindex
| _version_ | 1818970238588289024 |
|---|---|
| any_adam_object | |
| author | Abrial, Jean-Raymond |
| author_facet | Abrial, Jean-Raymond |
| author_role | aut |
| author_sort | Abrial, Jean-Raymond |
| author_variant | j r a jra |
| building | Verbundindex |
| bvnumber | BV036434838 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)705471104 (DE-599)BVBBV036434838 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02435nam a2200433 c 4500</leader><controlfield tag="001">BV036434838</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100823 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100503s2010 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521895569 (hardback)</subfield><subfield code="9">9780521895569 (hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521895561 (hardback)</subfield><subfield code="9">0521895561 (hardback)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705471104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036434838</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-573</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="100" ind1="1" ind2=" "><subfield code="a">Abrial, Jean-Raymond</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling in Event-B</subfield><subfield code="b">system and software engineering</subfield><subfield code="c">Jean-Raymond Abrial</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVI, 586 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">B method (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems / Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020307338</subfield></datafield></record></collection> |
| id | DE-604.BV036434838 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T14:33:18Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020307338 |
| oclc_num | 705471104 |
| open_access_boolean | |
| owner | DE-384 DE-573 |
| owner_facet | DE-384 DE-573 |
| physical | XXVI, 586 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Abrial, Jean-Raymond Verfasser aut Modeling in Event-B system and software engineering Jean-Raymond Abrial New York Cambridge University Press 2010 XXVI, 586 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher Formal methods (Computer science) B method (Computer science) Computer science / Mathematical models Computer systems / Verification Informatik Mathematisches Modell Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 |
| spellingShingle | Abrial, Jean-Raymond Modeling in Event-B system and software engineering Formal methods (Computer science) B method (Computer science) Computer science / Mathematical models Computer systems / Verification Informatik Mathematisches Modell Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 |
| title | Modeling in Event-B system and software engineering |
| title_auth | Modeling in Event-B system and software engineering |
| title_exact_search | Modeling in Event-B system and software engineering |
| title_full | Modeling in Event-B system and software engineering Jean-Raymond Abrial |
| title_fullStr | Modeling in Event-B system and software engineering Jean-Raymond Abrial |
| title_full_unstemmed | Modeling in Event-B system and software engineering Jean-Raymond Abrial |
| title_short | Modeling in Event-B |
| title_sort | modeling in event b system and software engineering |
| title_sub | system and software engineering |
| topic | Formal methods (Computer science) B method (Computer science) Computer science / Mathematical models Computer systems / Verification Informatik Mathematisches Modell Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Formal methods (Computer science) B method (Computer science) Computer science / Mathematical models Computer systems / Verification Informatik Mathematisches Modell Softwareentwicklung Formale Methode |
| work_keys_str_mv | AT abrialjeanraymond modelingineventbsystemandsoftwareengineering |