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: Specification of Software Systems
  name:
    name part: Alagar, Vangalur S.
    name part: 1940-
    role:
      role term: creator
  name:
    name part: Periyasamy, K.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: xxu
    date issued: 1998
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xx, 422 pages)
  abstract: This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.
  table of contents: The Role of Specifications -- Specification Activities -- Specification Qualities -- Abstraction -- Formal Systems -- Logic -- Set Theory and Relations -- Algebraic Specifications -- Vienna Development Method -- The Z Notation -- Larch.
  note: by V. S. Alagar, K. Periyasamy.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Logic design
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Software engineering
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Graduate texts in computer science
  identifier: 9781475729207 (electronic bk.)
  identifier: 1475729200 (electronic bk.)
  identifier: 9781475729221
  identifier: 1475729227
  identifier: 1475729200
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130125
    record change date: 20260422224052.6
    record identifier: in00003568986
    language of cataloging:
      language term: eng