skip to content
Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 Preview this item
ClosePreview this item
Checking...

Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994

Author: J P Bowen; J A Hall
Publisher: London ; New York : Springer-Verlag, ©1994.
Series: Workshops in computing.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students 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

Additional Physical Format: Online version:
Z User Workshop (8th : 1994 : Cambridge, England).
Z User Workshop, Cambridge, 1994.
London ; New York : Springer-Verlag, ©1994
(OCoLC)692433581
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: J P Bowen; J A Hall
ISBN: 0387198849 9780387198842 3540198849 9783540198840
OCLC Number: 30318391
Notes: "Published in collaboration with the British Computing Society."
Description: x, 403 pages ; 24 cm.
Contents: Fermenting and Distilling (Invited Paper).- Applications.- The Formal Specification in Z of Defence Standard 00-56 (Invited Paper).- Formal Specification of Telephone Features.- A Tale of Two Paradigms: Formal Methods and Software Testing.- Education.- Integrating Formal Methods into a Professional Master of Software Engineering Program (Invited Paper).- Object-Orientation I.- An Object-Oriented Development Framework for Z.- Z for Managed Objects.- Specifying and Interpreting Class Hierarchies in Z.- Semantics.- Z and HOL (Invited Paper).- Z and Natural Semantics.- Towards Correct Executable Semantics for Z.- Methods.- Towards a Z Method: Axiomatic Specification in Z.- Software Quality Assurance Using the SAZ Method.- Z and Abstract Machine Notation: A Comparison.- Concurrency.- TLZ (Invited Paper).- Visualising Concurrent Z Specifications.- Specifying Real-Time Systems with Z and the Duration Calculus.- Object-Orientation II.- An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z.- Producing Z Specifications from Object-Oriented Analysis.- Animation of Object-Z Specifications with a Set-Oriented Prototyping Language.- Appendices.- Select Z Bibliography.- Comp.specification.z and Z FORUM Frequently Asked Questions.- Author Index.
Series Title: Workshops in computing.
Responsibility: J.P. Bowen and J.A. Hall, (eds.).

Reviews

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

Tags

Be the first.

Similar Items

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/30318391> # Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "30318391" ;
   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://id.worldcat.org/fast/1183966> ; # Z (Computer program language)
   schema:about <http://experiment.worldcat.org/entity/work/data/836865085#Thing/programming_languages> ; # Programming languages
   schema:about <http://dewey.info/class/005.12/e20/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/113993028> ; # John Anthony Hall
   schema:contributor <http://viaf.org/viaf/15646992> ; # Jonathan Peter Bowen
   schema:copyrightYear "1994" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/836865085#Meeting/z_user_workshop_8th_1994_cambridge_england> ; # Z User Workshop (8th : 1994 : Cambridge, England)
   schema:datePublished "1994" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/836865085> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836865085#Series/workshops_in_computing> ; # Workshops in computing.
   schema:isSimilarTo <http://www.worldcat.org/oclc/692433581> ;
   schema:name "Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994"@en ;
   schema:productID "30318391" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30318391#PublicationEvent/london_new_york_springer_verlag_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/836865085#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387198842> ;
   schema:workExample <http://worldcat.org/isbn/9783540198840> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9448543> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9458690> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30318391> ;
    .


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/836865085#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/836865085#Meeting/z_user_workshop_8th_1994_cambridge_england> # Z User Workshop (8th : 1994 : Cambridge, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/836865085#Place/cambridge_england> ; # Cambridge, England)
   schema:name "Z User Workshop (8th : 1994 : Cambridge, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/836865085#Place/cambridge_england> # Cambridge, England)
    a schema:Place ;
   schema:name "Cambridge, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/836865085#Series/workshops_in_computing> # Workshops in computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30318391> ; # Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994
   schema:name "Workshops in computing." ;
   schema:name "Workshops in computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/836865085#Thing/programming_languages> # Programming languages
    a schema:Thing ;
   schema:name "Programming languages" ;
    .

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

<http://viaf.org/viaf/113993028> # John Anthony Hall
    a schema:Person ;
   schema:birthDate "1946 November 7" ;
   schema:familyName "Hall" ;
   schema:givenName "John Anthony" ;
   schema:givenName "J. A." ;
   schema:name "John Anthony Hall" ;
    .

<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/9780387198842>
    a schema:ProductModel ;
   schema:isbn "0387198849" ;
   schema:isbn "9780387198842" ;
    .

<http://worldcat.org/isbn/9783540198840>
    a schema:ProductModel ;
   schema:isbn "3540198849" ;
   schema:isbn "9783540198840" ;
    .

<http://www.worldcat.org/oclc/692433581>
    a schema:CreativeWork ;
   rdfs:label "Z User Workshop, Cambridge, 1994." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/30318391> ; # Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994
    .

<http://www.worldcat.org/title/-/oclc/30318391>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/30318391> ; # Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994
   schema:dateModified "2017-12-25" ;
   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.