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: Design of Dependable Computing Systems
  name:
    name part: Geffroy, Jean-Claude.
    role:
      role term: creator
  name:
    name part: Motet, G.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    date issued: 2002
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (xix, 672 pages)
  abstract: Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the delivered service. For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable. Hence, it is necessary to take dependability attributes into account, along the product lifecycle. This book aims at providing a general overview of the dependability of computing systems: impairments and protective means. Issues, concepts and techniques are considered from a system point of view, and are illustrated by both hardware and software technologies. An important pedagogical effort has been made: the explanations are illustrated by 370 figures, 80 examples, and 97 exercises with complete answers. A glossary of more than 500 entries defines the important terms.
  note: by Jean-Claude Geffroy, Gilles Motet.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computer-aided design
  subject:
    topic: Computer engineering
  subject:
    topic: Computer-aided design
  subject:
    topic: Computer engineering
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  classification: TA345-345.5
  classification: 620.00420285
  identifier: 9789401598842 (electronic bk.)
  identifier: 9401598843 (electronic bk.)
  identifier: 9789048159413
  identifier: 9048159415
  identifier: 9401598843
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 130220
    record change date: 20260422210223.2
    record identifier: in00003578239
    language of cataloging:
      language term: eng