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: 4th Refinement Workshop
    sub title: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge
  name:
    name part: Morris, Joseph M.
    role:
      role term: creator
  name:
    name part: Shaw, Roger C.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: xxk
    date issued: 1991
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (viii, 480 pages)
  abstract: This volume contains the papers presented at the 4th Refinement Workshop, organised by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. Refinement is the term used to describe systematic and formal methods of specifying hardware and software, and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hardware and software is by now widely appreciated among both academics and many workers in industry, although such methods - and in particular their application to industrial-scale problems - are still in their infancy. This workshop brought together some of the best European workers in the field to present tutorials on the state of the art in both theory and industrial application, to describe their latest research, and to indicate future directions. The papers cover the development of both sequential and concurrent systems, and both theoretical ideas and support tools for their effective use. This volume will be of interest to researchers in formal methods, and software engineers wanting to keep track of developments in the application of formal methods in industry.
  note: edited by Joseph M. Morris, Roger C. Shaw.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  classification: QA8.9-QA10.3
  classification: 005.131
  related item:
    title info:
      title: Workshops in computing
  identifier: 9781447137566 (electronic bk.)
  identifier: 1447137566 (electronic bk.)
  identifier: 9783540196570
  identifier: 3540196579
  identifier: 1447137566
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130125
    record change date: 20260422221342.5
    record identifier: in00003569367
    language of cataloging:
      language term: eng