rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: ZUM '95: The Z Formal Specification Notation
    sub title: 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings
  name:
    name part: Bowen, J. P. (Jonathan Peter)
    name part: 1956-
  name:
    name part: Hinchey, Michael G. (Michael Gerard)
    name part: 1969-
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  genre: Conference papers and proceedings.
  origin info:
    place:
      place term: gw
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (XI, 571 pages).
  abstract: This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
  table of contents: Language-free mathematical methods for software design extended abstract -- A formal approach to software design: The Clepsydra methodology -- Refining database systems -- Structuring a Z specification to provide a formal framework for autonomous agent systems -- On the use of formal specifications in the design and simulation of artificial neural networks -- Structuring specification in Z to build a unifying framework for hypertext systems -- Mechanizing formal methods: Opportunities and challenges -- An algebraic proof in VDM? -- Testing as abstraction -- Improving software tests using Z Specifications -- Compilation of Z specifications into C for automatic test result evaluation -- Equal rights for schemas in Z -- Structuring Z specifications: Some choices -- Experiments with the Z interchange format and SGML -- The future of industrial formal methods -- Specifications and their use in defining subtypes -- How firing conditions help inheritance -- Extending W for Object-Z -- A formal semantics for a language with type extension -- From Z to code: A graphical user interface for a radiation therapy machine -- The French population census for 1990 -- Implementing Z in Isabelle -- The Z-into-Haskell tool-kit: An illustrative case study -- Types and sets in Gödel and Z -- Exploring specifications with Mathematica -- Using Z to rigorously review a specification of a Network Management System -- A two-dimensional view of integrated formal and informal specification techniques -- Viewpoints and objects -- Teaching programming as engineering -- A course on formal methods in software engineering: Matching requirements with design -- Hints for writing specifications -- Mental models of Z: I -- Sets and logic -- Equational logic: A great pedagogical tool for teaching a skill in logic -- Z Browser -- Tool for visualisation of Z specifications -- Select Z bibliography -- Comp.specification.z and Z forum frequently asked questions.
  note: edited by Jonathan P. Bowen, Michael G. Hinchey.
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Z (Computer program language)
    genre: Congresses
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Logic design
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Combinatorial analysis
  subject:
    topic: Computer Science
  subject:
    topic: Software engineering
  subject:
    topic: Symbolic and Algebraic Manipulation
  subject:
    topic: Programming Techniques
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Algebra
    topic: Data processing
  subject:
    topic: Combinatorial analysis
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Software engineering
  subject:
    topic: Z (Computer program language)
  classification: QA76.73.Z2 I58 1995
  classification: 005.1
  related item:
    title info:
      title: Lecture notes in computer science ; 967
  related item:
    title info:
      title: Lecture notes in computer science. 967
  identifier: 9783540447825
  identifier: 3540447822
  identifier: 9783540602712
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: Nz
    record creation date: 121227
    record change date: 20260422201208.7
    record identifier: in00003718597
    language of cataloging:
      language term: eng