The Resource Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
Resource Information
The item Modeling in Event-B : system and software engineering, Jean-Raymond Abrial represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Modeling in Event-B : system and software engineering, Jean-Raymond Abrial represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.
This item is available to borrow from 1 library branch.
- Summary
- A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: 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
- Language
- eng
- Extent
- 1 online resource (xxvi, 586 pages)
- Note
- Title from publisher's bibliographic system (viewed on 05 Oct 2015)
- Isbn
- 9781139195881
- Label
- Modeling in Event-B : system and software engineering
- Title
- Modeling in Event-B
- Title remainder
- system and software engineering
- Statement of responsibility
- Jean-Raymond Abrial
- Language
- eng
- Summary
- A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: 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
- Cataloging source
- UkCbUP
- http://library.link/vocab/creatorName
- Abrial, Jean-Raymond
- Dewey number
- 004.01/51
- Index
- index present
- LC call number
- QA76.9.F67
- LC item number
- A27 2010
- Literary form
- non fiction
- Nature of contents
- dictionaries
- http://library.link/vocab/subjectName
-
- Formal methods (Computer science)
- B method (Computer science)
- Computer science
- Computer systems
- Label
- Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
- Note
- Title from publisher's bibliographic system (viewed on 05 Oct 2015)
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- CR9781139195881
- Extent
- 1 online resource (xxvi, 586 pages)
- Form of item
- online
- Isbn
- 9781139195881
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- digital, PDF file(s).
- Specific material designation
- remote
- Label
- Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
- Note
- Title from publisher's bibliographic system (viewed on 05 Oct 2015)
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Control code
- CR9781139195881
- Extent
- 1 online resource (xxvi, 586 pages)
- Form of item
- online
- Isbn
- 9781139195881
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other physical details
- digital, PDF file(s).
- Specific material designation
- remote
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Modeling-in-Event-B--system-and-software/ge4iimXutnQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Modeling-in-Event-B--system-and-software/ge4iimXutnQ/">Modeling in Event-B : system and software engineering, Jean-Raymond Abrial</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Modeling in Event-B : system and software engineering, Jean-Raymond Abrial
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Modeling-in-Event-B--system-and-software/ge4iimXutnQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Modeling-in-Event-B--system-and-software/ge4iimXutnQ/">Modeling in Event-B : system and software engineering, Jean-Raymond Abrial</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
