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 '97, the Z formal specification notation
    sub title: 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
  title info:
    title: Z formal specification notation
  name:
    name part: International Conference of Z Users 1997 : Reading, England)
    role:
      role term: creator
  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: Till, David
    name part: 1942-
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  origin info:
    place:
      place term: gw
    date issued: 1997
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 433 pages) : illustrations
  table of contents: Formal methods : a panacea or academic poppycock? (invited paper) / C.L. Heitmeyer -- An introduction to the event calculus / W.J. (Bill) Stoddart -- Experiences with PiZa, an animator for Z / M.A. Hewitt, C.M. O'Halloran and C.T. Sennett -- Automating test case generation from Z specifications with Isabelle / S. Helke, T. Neustupny and T. Santen -- The Z/EVES system / M. Saaltink -- Taking Z seriously (invited paper) / J.A. (Anthony) Hall -- A formal OO method inspired by fusion and object-Z / K. Achatz and W. Schulte -- W reconstructed / J. Hall and A. Martin -- Using the rippling heuristic in set membership proofs / I. Kraan -- A practical method for rigorously controllable hardware design (invited paper) / E. Börger and S. Mazzanti -- Integrating VDM++ and real-time system design / K. Lano [and others] -- An approach to the design of distributed systems with B AMN / M. Butler -- Specifying reactive systems in B AMN / K. Lano -- An improved recipe for specifying reactive systems in Z / A.S. Evans -- A Z specification of the soft-link hypertext model / M. d'Inverno and M. Hu -- Experience with Z developing a control program for a radiation therapy machine / J. Jacky [and others] -- Preliminary evaluation of a formal approach to user interface specification / J.C. Knight and S.S. Brilliant -- Analyzing and refining an architectural style P. Ciancarini and C. Mascolo -- Weak refinement in Z / J. Derrick [and others] -- Select Z bibliography ; Comp.specification.z and Z FORUM frequently asked questions / J.P. Bowen.
  note: Jonathan P. Bowen, Michael G. Hinchey, David Till (eds).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Z (Computer program language)
    genre: Congresses
  subject:
    topic: sémantique langage programmation
  subject:
    topic: langage spécification
  subject:
    topic: langage Z
  subject:
    topic: Z (Langage de programmation)
    genre: Congrès
  subject:
    topic: Z (Computer program language)
  subject:
    topic: Z (programmeertaal)
  subject:
    topic: Programmatuurtechniek
  subject:
    topic: Engenharia De Programacao (Software)
  subject:
    topic: Z (langage de programmation)
    topic: Congrès
  classification: QA76.73.Z2 I58 1997
  classification: 005.1/01/5113
  classification: 54.53
  classification: 54.52
  related item:
    title info:
      title: Lecture notes in computer science ; 1212
  identifier: 3540627170
  identifier: 9783540627173
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: CUI
    record creation date: 970506
    record change date: 20190325093305.0
    record identifier: in00001360159
    language of cataloging:
      language term: eng