skip to content
ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings Preview this item
ClosePreview this item
Checking...

ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Author: Jonathan P Bowen; Andreas Fett; Michael G Hinchey
Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1998.
Series: Lecture notes in computer science, 1493
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on  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
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Goos, Gerhard.
Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings.
Berlin/Heidelberg : Springer Berlin Heidelberg, ©1998
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jonathan P Bowen; Andreas Fett; Michael G Hinchey
ISBN: 9783540496762 3540496769
OCLC Number: 771189523
Description: 1 online resource.
Contents: Industrial Issues --
Industrial Requirements for the Efficient Development of Reliable Embedded Systems --
Concurrency --
How to Combine Z with a Process Algebra --
The Specification and Refinement of an Environmental Model --
Formal Derivation of Finite State Machines for Class Testing --
Tools --
Using B to Specify, Verify and Design Hardware Circuits --
Z on the Web Using Java --
Visualizing Z Notation in HTML Documents --
Z and HOL --
On the Semantic Relation of Z and HOL --
HOL-Z in the UniForM-Workbench --
A Case Study in Tool Integration for Z --
Safety-Critical and Real-Time Systems --
Designing a Requirements Specification Language for Reactive Systems --
Analyzing a Real-Time Program with Z --
Semantic Theory --
Recursive Definitions in Z --
A Logic for the Schema Calculus --
Theory and Standards --
Combining Specification Techniques for Processes, Data and Time --
Innovations in the Notation of Standard Z --
Reasoning and Consistency Issues --
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space --
Inconsistency and Undefinedness in Z --
A Practical Guide --
Refinement --
Compositional Specification of Controllers for Batch Process Operations --
Testing Refinements by Refining Tests --
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement --
Object Orientation --
Network Topology and a Case Study in TCOZ --
Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO --
Translating the OMT Dynamic Model into Object-Z --
Appendices --
Select Z Bibliography --
Comp.specification.z and Z FORUM Frequently Asked Questions.
Series Title: Lecture notes in computer science, 1493
Responsibility: edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey.

Abstract:

This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation.

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/771189523> # ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "771189523" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1020860805#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1020860805#Place/berlin> ; # Berlin
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://id.worldcat.org/fast/1183966> ; # Z (Computer program language)
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/79161115> ; # Michael G. Hinchey
   schema:contributor <http://viaf.org/viaf/275940998> ; # Andreas Fett
   schema:contributor <http://viaf.org/viaf/15646992> ; # Jonathan P. Bowen
   schema:datePublished "1998" ;
   schema:description "This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation."@en ;
   schema:description "Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded Systems -- Concurrency -- How to Combine Z with a Process Algebra -- The Specification and Refinement of an Environmental Model -- Formal Derivation of Finite State Machines for Class Testing -- Tools -- Using B to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML Documents -- Z and HOL -- On the Semantic Relation of Z and HOL -- HOL-Z in the UniForM-Workbench -- A Case Study in Tool Integration for Z -- Safety-Critical and Real-Time Systems -- Designing a Requirements Specification Language for Reactive Systems -- Analyzing a Real-Time Program with Z -- Semantic Theory -- Recursive Definitions in Z -- A Logic for the Schema Calculus -- Theory and Standards -- Combining Specification Techniques for Processes, Data and Time -- Innovations in the Notation of Standard Z -- Reasoning and Consistency Issues -- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space -- Inconsistency and Undefinedness in Z -- A Practical Guide -- Refinement -- Compositional Specification of Controllers for Batch Process Operations -- Testing Refinements by Refining Tests -- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement -- Object Orientation -- Network Topology and a Case Study in TCOZ -- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO -- Translating the OMT Dynamic Model into Object-Z -- Appendices -- Select Z Bibliography -- Comp.specification.z and Z FORUM Frequently Asked Questions."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1020860805> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1020860805#CreativeWork/z_formal_specification_notation_11th_international_conference_of_z_users_berlin_germany_september_24_26_1998_proceedings> ;
   schema:name "ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings"@en ;
   schema:productID "771189523" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/771189523#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1020860805#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3087546> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-65070-6> ;
   schema:url <http://dx.doi.org/10.1007/b68208> ;
   schema:url <http://link.springer.com/10.1007/b68208> ;
   schema:workExample <http://worldcat.org/isbn/9783540496762> ;
   schema:workExample <http://dx.doi.org/10.1007/b68208> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/771189523> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1020860805#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@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/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/15646992> # Jonathan P. Bowen
    a schema:Person ;
   schema:familyName "Bowen" ;
   schema:givenName "Jonathan P." ;
   schema:name "Jonathan P. Bowen" ;
    .

<http://viaf.org/viaf/275940998> # Andreas Fett
    a schema:Person ;
   schema:familyName "Fett" ;
   schema:givenName "Andreas" ;
   schema:name "Andreas Fett" ;
    .

<http://viaf.org/viaf/79161115> # Michael G. Hinchey
    a schema:Person ;
   schema:familyName "Hinchey" ;
   schema:givenName "Michael G." ;
   schema:name "Michael G. Hinchey" ;
    .

<http://worldcat.org/entity/work/data/1020860805#CreativeWork/z_formal_specification_notation_11th_international_conference_of_z_users_berlin_germany_september_24_26_1998_proceedings>
    a schema:CreativeWork ;
   rdfs:label "Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/771189523> ; # ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
    .

<http://worldcat.org/isbn/9783540496762>
    a schema:ProductModel ;
   schema:isbn "3540496769" ;
   schema:isbn "9783540496762" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/771189523> ; # ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/771189523>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/771189523> ; # ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
   schema:dateModified "2017-12-24" ;
   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.