skip to content
Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992 Preview this item
ClosePreview this item
Checking...

Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992

Author: J P Bowen; John E Nicholls
Publisher: London ; New York : Springer-Verlag, ©1993.
Series: Workshops in computing.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Z User Workshop (7th : 1992 : London, England).
Z User Workshop, London 1992.
London ; New York : Springer-Verlag, ©1993
(OCoLC)679358002
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: J P Bowen; John E Nicholls
ISBN: 3540198180 9783540198185 0387198180 9780387198187
OCLC Number: 27896483
Description: pages cm.
Contents: An International Survey of Industrial Applications of Formal Methods / D. Craigen, S. Gerhart and T. Ralston --
Putting Numbers into the Mathematical Toolkit / S. H. Valentine --
Towards Libraries for Z / I. Hayes and L. Wildman --
Plain Guide to the Z Base Standard / J. E. Nicholls --
Reuse and Adaptation of Z Specifications / K. Lano and H. Haughton --
Requirements for Defence Standard 00-55 / A. Bradley --
Formal Specification and Development of Control System Input/Output / J. Jacky --
Preliminary Experience Using Z to Specify a Safety-Critical System / J. C. Knight and D. M. Kienzle --
Using Diagrams to Give a Formal Specification of Timing Constraints in Z / A. C. Coombes and J. A. McDermid --
Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems / A. R. Ruddle --
Introducing Hyper-Z --
A New Approach to Object Orientation in Z / I. Maung and J. R. Howse --
From Object-Z to C[superscript ++]: A Structural Mapping / G.-H. B. Rafsanjani and S. J. Colwill --
Deriving Tests for Objects Specified in Z / E. Cusack and C. Wezeman --
Using Z in Communications Engineering / E. Cusack --
Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals / P. A. Swatman --
Practical Experiences of Z and SSADM / C. Draper --
Support for Using Z / R. Barden and S. Stepney --
Cleanroom and Z / G. Normington --
Animating Z Specifications in SQL* Forms 3.0 / M. Love --
Select Z Bibliography / J. Bowen --
Comp.specification.z and Z FORUM Frequently Asked Questions / J. Bowen.
Series Title: Workshops in computing.
Responsibility: J.P. Bowen and J.E. Edward (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/27896483> # Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "27896483" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/005.12/e20/> ;
   schema:about <http://id.worldcat.org/fast/1183966> ; # Z (Computer program language)
   schema:about <http://experiment.worldcat.org/entity/work/data/898172661#Topic/z_programmeertaal> ; # Z (programmeertaal)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/898172661#Person/nicholls_john_e> ; # John E. Nicholls
   schema:contributor <http://viaf.org/viaf/15646992> ; # Jonathan Peter Bowen
   schema:copyrightYear "1993" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/898172661#Meeting/z_user_workshop_7th_1992_london_england> ; # Z User Workshop (7th : 1992 : London, England)
   schema:datePublished "1993" ;
   schema:description "An International Survey of Industrial Applications of Formal Methods / D. Craigen, S. Gerhart and T. Ralston -- Putting Numbers into the Mathematical Toolkit / S. H. Valentine -- Towards Libraries for Z / I. Hayes and L. Wildman -- Plain Guide to the Z Base Standard / J. E. Nicholls -- Reuse and Adaptation of Z Specifications / K. Lano and H. Haughton -- Requirements for Defence Standard 00-55 / A. Bradley -- Formal Specification and Development of Control System Input/Output / J. Jacky -- Preliminary Experience Using Z to Specify a Safety-Critical System / J. C. Knight and D. M. Kienzle -- Using Diagrams to Give a Formal Specification of Timing Constraints in Z / A. C. Coombes and J. A. McDermid -- Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems / A. R. Ruddle -- Introducing Hyper-Z -- A New Approach to Object Orientation in Z / I. Maung and J. R. Howse -- From Object-Z to C[superscript ++]: A Structural Mapping / G.-H. B. Rafsanjani and S. J. Colwill -- Deriving Tests for Objects Specified in Z / E. Cusack and C. Wezeman -- Using Z in Communications Engineering / E. Cusack -- Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals / P. A. Swatman -- Practical Experiences of Z and SSADM / C. Draper -- Support for Using Z / R. Barden and S. Stepney -- Cleanroom and Z / G. Normington -- Animating Z Specifications in SQL* Forms 3.0 / M. Love -- Select Z Bibliography / J. Bowen -- Comp.specification.z and Z FORUM Frequently Asked Questions / J. Bowen."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/898172661> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/898172661#Series/workshops_in_computing> ; # Workshops in computing.
   schema:isSimilarTo <http://www.worldcat.org/oclc/679358002> ;
   schema:name "Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992"@en ;
   schema:productID "27896483" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/27896483#PublicationEvent/london_new_york_springer_verlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/898172661#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9783540198185> ;
   schema:workExample <http://worldcat.org/isbn/9780387198187> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9333528> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/27896483> ;
    .


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://experiment.worldcat.org/entity/work/data/898172661#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/898172661#Meeting/z_user_workshop_7th_1992_london_england> # Z User Workshop (7th : 1992 : London, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/898172661#Place/london_england> ; # London, England)
   schema:name "Z User Workshop (7th : 1992 : London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898172661#Person/nicholls_john_e> # John E. Nicholls
    a schema:Person ;
   schema:familyName "Nicholls" ;
   schema:givenName "John E." ;
   schema:name "John E. Nicholls" ;
    .

<http://experiment.worldcat.org/entity/work/data/898172661#Place/london_england> # London, England)
    a schema:Place ;
   schema:name "London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898172661#Series/workshops_in_computing> # Workshops in computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/27896483> ; # Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992
   schema:name "Workshops in computing." ;
   schema:name "Workshops in computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/898172661#Topic/z_programmeertaal> # Z (programmeertaal)
    a schema:Intangible ;
   schema:name "Z (programmeertaal)"@en ;
    .

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

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

<http://worldcat.org/isbn/9780387198187>
    a schema:ProductModel ;
   schema:isbn "0387198180" ;
   schema:isbn "9780387198187" ;
    .

<http://worldcat.org/isbn/9783540198185>
    a schema:ProductModel ;
   schema:isbn "3540198180" ;
   schema:isbn "9783540198185" ;
    .

<http://www.worldcat.org/oclc/679358002>
    a schema:CreativeWork ;
   rdfs:label "Z User Workshop, London 1992." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/27896483> ; # Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992
    .

<http://www.worldcat.org/title/-/oclc/27896483>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/27896483> ; # Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992
   schema:dateModified "2017-09-03" ;
   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.