skip to content
Refinement : semantics, languages and applications Preview this item
ClosePreview this item
Checking...

Refinement : semantics, languages and applications

Author: John Derrick; Eerke Boiten
Publisher: Cham, Switzerland : Springer, [2018]
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Derrick, John, 1963-
Refinement.
Cham, Switzerland : Springer, [2018]
(OCoLC)1033526201
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: John Derrick; Eerke Boiten
ISBN: 9783319927114 3319927116 9783319927107 3319927108
OCLC Number: 1050602708
Description: 1 online resource
Contents: Semantics.- Labeled Transition Systems and their Refinement.- Automata --
introducing simulations.- Simple State Based Refinement.- A Relational View of Refinement.- Perspicuity, Divergence, and Internal Operations.- Refinement in Specification Languages.- State-based Languages: Z and B.- State-based Languages: Event-B and ASM.- Relating Notions of Refinement.- Relational Concurrent Refinement.- Relating Data Refinement and Failures-divergences Refinement.- Process data types --
a fully general model of concurrent refinement.
Responsibility: John Derrick, Eerke Boiten.

Abstract:

It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1050602708> # Refinement : semantics, languages and applications
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1050602708" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://dewey.info/class/005.3/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5416847498#Topic/application_software_development> ; # Application software--Development
    schema:author <http://experiment.worldcat.org/entity/work/data/5416847498#Person/derrick_john_1963> ; # John Derrick
    schema:author <http://experiment.worldcat.org/entity/work/data/5416847498#Person/boiten_eerke_1966> ; # Eerke Boiten
    schema:bookFormat schema:EBook ;
    schema:datePublished "2018" ;
    schema:description "Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related."@en ;
    schema:description "Semantics.- Labeled Transition Systems and their Refinement.- Automata -- introducing simulations.- Simple State Based Refinement.- A Relational View of Refinement.- Perspicuity, Divergence, and Internal Operations.- Refinement in Specification Languages.- State-based Languages: Z and B.- State-based Languages: Event-B and ASM.- Relating Notions of Refinement.- Relational Concurrent Refinement.- Relating Data Refinement and Failures-divergences Refinement.- Process data types -- a fully general model of concurrent refinement."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5416847498> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1033526201> ;
    schema:name "Refinement : semantics, languages and applications"@en ;
    schema:productID "1050602708" ;
    schema:url <http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-92711-4> ;
    schema:url <https://doi.org/10.1007/978-3-319-92711-4> ;
    schema:url <https://ezproxy.lau.edu.lb:2443/login?url=https://doi.org/10.1007/978-3-319-92711-4> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=https://doi.org/10.1007/978-3-319-92711-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-92711-4> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-92711-4> ;
    schema:url <https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-92711-4> ;
    schema:url <https://nls.ldls.org.uk/welcome.html?ark:/81055/vdc_100066128681.0x000001> ;
    schema:url <http://proxy.library.brocku.ca/login?url=http://link.springer.com/10.1007/978-3-319-92711-4> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-92711-4> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-92711-4> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-92711-4> ;
    schema:workExample <http://worldcat.org/isbn/9783319927114> ;
    schema:workExample <http://worldcat.org/isbn/9783319927107> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1050602708> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5416847498#Person/boiten_eerke_1966> # Eerke Boiten
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Boiten" ;
    schema:givenName "Eerke" ;
    schema:name "Eerke Boiten" ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Person/derrick_john_1963> # John Derrick
    a schema:Person ;
    schema:birthDate "1963" ;
    schema:familyName "Derrick" ;
    schema:givenName "John" ;
    schema:name "John Derrick" ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Topic/application_software_development> # Application software--Development
    a schema:Intangible ;
    schema:name "Application software--Development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computer_programming_software_development> # Computer programming--software development
    a schema:Intangible ;
    schema:name "Computer programming--software development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computers_programming_general> # Computers--Programming--General
    a schema:Intangible ;
    schema:name "Computers--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5416847498#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-92711-4>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://worldcat.org/isbn/9783319927107>
    a schema:ProductModel ;
    schema:isbn "3319927108" ;
    schema:isbn "9783319927107" ;
    .

<http://worldcat.org/isbn/9783319927114>
    a schema:ProductModel ;
    schema:isbn "3319927116" ;
    schema:isbn "9783319927114" ;
    .

<http://www.worldcat.org/oclc/1033526201>
    a schema:CreativeWork ;
    rdfs:label "Refinement." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1050602708> ; # Refinement : semantics, languages and applications
    .

<https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-92711-4>
    rdfs:comment "Unlimited Access available" ;
    rdfs:comment "Access restricted: DAL users only" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.