Coverart for item
The Resource ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings, edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings, edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

Label
ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Title
ZUM 98: The Z Formal Specification Notation
Title remainder
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Statement of responsibility
edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Contributor
Subject
Genre
Language
eng
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 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
Member of
Cataloging source
DKDLA
Dewey number
005.1
Index
no index present
LC call number
QA76.758
Literary form
non fiction
Nature of contents
  • dictionaries
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorDate
  • 1956-
  • 1969-
http://library.link/vocab/relatedWorkOrContributorName
  • Bowen, J. P.
  • Fett, Andreas
  • Hinchey, Michael G.
Series statement
Lecture Notes in Computer Science
Series volume
1493,
http://library.link/vocab/subjectName
  • Z (Computer program language)
  • Computer science
  • Software engineering
  • Logic design
  • Computer science
  • Logic design
  • Software engineering
  • Z (Computer program language)
Label
ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings, edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
771189523
Extent
1 online resource.
Form of item
online
Isbn
9783540496762
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b68208
Specific material designation
remote
System control number
(OCoLC)771189523
Label
ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings, edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
771189523
Extent
1 online resource.
Form of item
online
Isbn
9783540496762
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b68208
Specific material designation
remote
System control number
(OCoLC)771189523

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...