skip to content
Refinement in Z and Object-Z : foundations and advanced applications Preview this item
ClosePreview this item
Checking...

Refinement in Z and Object-Z : foundations and advanced applications

Author: John Derrick; Eerke Boiten
Publisher: London ; New York : Springer, ©2001.
Series: Formal approaches to computing and information technology.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  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 in Z and Object-Z.
London ; New York : Springer, ©2001
(DLC) 2001020204
(OCoLC)45845501
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: John Derrick; Eerke Boiten
ISBN: 9781447102571 1447102576
OCLC Number: 603652090
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xviii, 466 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Preface I: Refining Z Specifications: 1. An Introduction to Z 2. Simple Refinement 3. Data Refinement and Simulations 4. Refinement in Z 5. Calculating Refinements 6. Promotion 7. Testing and Refinement 8. A Single Simulation Rule II. Interfaces and Operations --
ADTs Viewed in an Environment: 9. Refinement, Observation and Modification 10. IO Refinement 11. Weak Refinement 12. Non-Atomic Refinement 13. Case Study --
A Digital and Analog Watch 14. Further Generalisations III. Object-Oriented Refinement 15. An Introduction to Object-Z 16. Refinement in Object-Z 17. Class Refinement IV. Modelling State and Behaviour 18. Combining CSP and Object-Z 19. Refining CSP and Object-Z Specifications 20. Conclusions Glossary --
Bibliography --
Index.
Series Title: Formal approaches to computing and information technology.
Responsibility: John Derrick and Eerke Boiten.

Abstract:

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.

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/603652090> # Refinement in Z and Object-Z : foundations and advanced applications
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "603652090" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://dewey.info/class/005.133/e21/> ;
   schema:about <http://id.worldcat.org/fast/1183966> ; # Z (Computer program language)
   schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/34710225> ; # Eerke Boiten
   schema:copyrightYear "2001" ;
   schema:creator <http://viaf.org/viaf/85435009> ; # John Derrick
   schema:datePublished "2001" ;
   schema:description "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."@en ;
   schema:description "Preface I: Refining Z Specifications: 1. An Introduction to Z 2. Simple Refinement 3. Data Refinement and Simulations 4. Refinement in Z 5. Calculating Refinements 6. Promotion 7. Testing and Refinement 8. A Single Simulation Rule II. Interfaces and Operations -- ADTs Viewed in an Environment: 9. Refinement, Observation and Modification 10. IO Refinement 11. Weak Refinement 12. Non-Atomic Refinement 13. Case Study -- A Digital and Analog Watch 14. Further Generalisations III. Object-Oriented Refinement 15. An Introduction to Object-Z 16. Refinement in Object-Z 17. Class Refinement IV. Modelling State and Behaviour 18. Combining CSP and Object-Z 19. Refining CSP and Object-Z Specifications 20. Conclusions Glossary -- Bibliography -- Index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/196448915> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1431-9683> ; # Formal approaches to computing and information technology.
   schema:isSimilarTo <http://www.worldcat.org/oclc/45845501> ;
   schema:name "Refinement in Z and Object-Z : foundations and advanced applications"@en ;
   schema:productID "603652090" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/603652090#PublicationEvent/london_new_york_springer_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/196448915#Agent/springer> ; # Springer
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3073812> ;
   schema:url <http://books.google.com/books?id=lrZQAAAAMAAJ> ;
   schema:url <http://link.springer.com/10.1007/978-1-4471-0257-1> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/45845501.html> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4471-0257-1> ;
   schema:workExample <http://worldcat.org/isbn/9781447102571> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/603652090> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
   schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/1183966> # Z (Computer program language)
    a schema:Intangible ;
   schema:name "Z (Computer program language)"@en ;
    .

<http://link.springer.com/10.1007/978-1-4471-0257-1>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/34710225> # Eerke Boiten
    a schema:Person ;
   schema:birthDate "1966" ;
   schema:familyName "Boiten" ;
   schema:givenName "Eerke" ;
   schema:name "Eerke Boiten" ;
    .

<http://viaf.org/viaf/85435009> # John Derrick
    a schema:Person ;
   schema:birthDate "1963" ;
   schema:familyName "Derrick" ;
   schema:givenName "John" ;
   schema:name "John Derrick" ;
    .

<http://worldcat.org/isbn/9781447102571>
    a schema:ProductModel ;
   schema:isbn "1447102576" ;
   schema:isbn "9781447102571" ;
    .

<http://worldcat.org/issn/1431-9683> # Formal approaches to computing and information technology.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/603652090> ; # Refinement in Z and Object-Z : foundations and advanced applications
   schema:issn "1431-9683" ;
   schema:name "Formal approaches to computing and information technology." ;
   schema:name "Formal approaches to computing and information technology," ;
    .

<http://www.worldcat.org/oclc/45845501>
    a schema:CreativeWork ;
   rdfs:label "Refinement in Z and Object-Z." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/603652090> ; # Refinement in Z and Object-Z : foundations and advanced applications
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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