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: Software reliability methods
  name:
    name part: Peled, Doron A.
    name part: 1962-
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: nyu
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xix, 331 pages) : illustrations.
  abstract: The book 'formal methods for software' presents a collection of current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a nonexpert audience with some minimal technical background (e.g., some training in software engineering, or basic computer science courses). It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This text/reference is intended to be used as an introduction to software methods techniques, a source for learning about various ways to enhanced software reliability, a reference on formal methods technique, and also as a basis for a one semester university course in this subject. It suggests various projects and exercises for achieving "hands-on" experience with the various formal methods tools.
  table of contents: 1. Introduction -- 2. Preliminaries -- 3. Logic and Theorem Proving -- 4. Modeling Software Systems -- 5. Formal Specification -- 6. Automatic Verification -- 7. Deductive Software Verification -- 8. Process Algebra and Equivalences -- 9. Software Testing -- 10. Combining Formal Methods -- 11. Visualization -- 12. Conclusions.
  note: Doron A. Peled ; foreword by Edmund M. Clarke.
  note: Includes bibliographical references (pages [321]-328) and index.
  subject:
    topic: Computer software
    topic: Reliability
  subject:
    topic: Fiabilité du logiciel
  subject:
    topic: Méthode formelle
  subject:
    topic: Software
  subject:
    topic: Zuverlässigkeit
  subject:
    topic: Formale Methode
  subject:
    topic: Computer software
    topic: Reliability
  classification: QA76.76.R44 P317 2001eb
  classification: 005
  classification: 54.52
  related item:
    title info:
      title: Software reliability methods
    name:
      name part: Peled, Doron, 1962-
    identifier: (DLC) 2001018395
    identifier: (OCoLC)45804896
  related item:
    title info:
      title: Texts in computer science
  identifier: 9781475735406 (electronic bk.)
  identifier: 1475735405 (electronic bk.)
  identifier: 0387951067
  identifier: 9780387951065
  identifier: 1441928766
  identifier: 9781441928764
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: GW5XE
    record creation date: 131029
    record change date: 20260420203351.2
    record identifier: in00003562182
    language of cataloging:
      language term: eng