skip to content
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

Author: Helen Treharne
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3455.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Conference of B and Z Users (4th : 2005 : Guildford, England).
ZB 2005.
Berlin ; New York : Springer, ©2005
(OCoLC)132687749
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Helen Treharne
ISBN: 9783540320074 3540320075 3540255591 9783540255598
OCLC Number: 262677930
Description: 1 online resource (xv, 492 pages) : illustrations.
Contents: Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification -Extended Abstract-.- Visualising Larger State Spaces in Pro B.- Non-atomic Refinement in Z and CSP.- Process Refinement in B.- CZT: A Framework for Z Tools.- Model Checking Z Specifications Using SAL.- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.- A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.- An Extension of Event B for Developing Grid Systems.- The Challenge of Probabilistic Event B-Extended Abstract-.- Requirements as Conjectures: Intuitive DVD Menu Navigation.- A Prospective-Value Semantics for the GSL.- Retrenchment and the B-Toolkit.- Refinement and Reachability in Event_B.- A Rigorous Foundation for Pattern-Based Design Models.- An Object-Oriented Structuring for Z Based on Views.- Component Reuse in B Using ACL2.- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z.- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL.- Development via Refinement in Probabilistic B - Foundation and Case Study.- Formal Program Development with Approximations.- Practical Data Refinement for the Z Schema Calculus.- Slicing Object-Z Specifications for Verification.- Checking JML Specifications with B Machines.- Including Design Guidelines in the Formal Specification of Interfaces in Z.- Some Guidelines for Formal Development of Web-Based Applications in B-Method.
Series Title: Lecture notes in computer science, 3455.
Other Titles: Formal specification and development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005
Responsibility: Helen Treharne [and others] (eds.).

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/262677930> # ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "262677930" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/290374599#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_langage_de_programmation> ; # B (Langage de programmation)
    schema:about <http://id.worldcat.org/fast/1183966> ; # Z (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/290374599#Topic/specification_formelle> ; # Spécification formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_langage_de_programmation> ; # Z (Langage de programmation)
    schema:about <http://experiment.worldcat.org/entity/work/data/290374599#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/290374599#Thing/formal_specification> ; # Formal specification
    schema:about <http://dewey.info/class/005.133/e22/> ;
    schema:about <http://id.worldcat.org/fast/824788> ; # B (Computer program language)
    schema:alternateName "Formal specification and development in Z and B" ;
    schema:alternateName "4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/290374599#Person/treharne_helen> ; # Helen Treharne
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4th_2005_guildford_england> ; # International Conference of B and Z Users (4th : 2005 : Guildford, England)
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/290374599> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/3402-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/132687749> ;
    schema:name "ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings"@en ;
    schema:productID "262677930" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262677930#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/290374599#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10528711> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-25559-8> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3067791> ;
    schema:url <http://www.springerlink.com/link.asp?id=j892mre72f7t> ;
    schema:url <http://www.myilibrary.com?id=140827> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3455> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3455> ;
    schema:url <http://dx.doi.org/10.1007/b135596> ;
    schema:workExample <http://worldcat.org/isbn/9783540320074> ;
    schema:workExample <http://worldcat.org/isbn/9783540255598> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262677930> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/290374599#Meeting/international_conference_of_b_and_z_users_4th_2005_guildford_england> # International Conference of B and Z Users (4th : 2005 : Guildford, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/290374599#Place/guildford_england> ; # Guildford, England)
    schema:name "International Conference of B and Z Users (4th : 2005 : Guildford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/290374599#Person/treharne_helen> # Helen Treharne
    a schema:Person ;
    schema:familyName "Treharne" ;
    schema:givenName "Helen" ;
    schema:name "Helen Treharne" ;
    .

<http://experiment.worldcat.org/entity/work/data/290374599#Place/guildford_england> # Guildford, England)
    a schema:Place ;
    schema:name "Guildford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/290374599#Thing/formal_specification> # Formal specification
    a schema:Thing ;
    schema:name "Formal specification" ;
    .

<http://experiment.worldcat.org/entity/work/data/290374599#Topic/b_langage_de_programmation> # B (Langage de programmation)
    a schema:Intangible ;
    schema:name "B (Langage de programmation)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290374599#Topic/specification_formelle> # Spécification formelle
    a schema:Intangible ;
    schema:name "Spécification formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/290374599#Topic/z_langage_de_programmation> # Z (Langage de programmation)
    a schema:Intangible ;
    schema:name "Z (Langage de programmation)"@en ;
    .

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

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

<http://worldcat.org/isbn/9783540255598>
    a schema:ProductModel ;
    schema:isbn "3540255591" ;
    schema:isbn "9783540255598" ;
    .

<http://worldcat.org/isbn/9783540320074>
    a schema:ProductModel ;
    schema:isbn "3540320075" ;
    schema:isbn "9783540320074" ;
    .

<http://worldcat.org/issn/3402-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262677930> ; # ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
    schema:issn "3402-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/132687749>
    a schema:CreativeWork ;
    rdfs:label "ZB 2005." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262677930> ; # ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262677930>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262677930> ; # ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
    schema:dateModified "2016-08-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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