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: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  name:
    name part: Przigoda, Nils
    role:
      role term: creator
    role:
      role term: author.
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: Wille, Robert
    role:
      role term: author.
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: Przigoda, Judith
    role:
      role term: author.
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: Drechsler, Rolf
    role:
      role term: author.
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: gw
    date issued: 2018
    issuance: monographic
  language:
    language term: eng
  physical description:
    reformatting quality: access
    form: remote
    extent: 1 online resource (XII, 255 pages 16 illustrations, 5 illustrations in color) : online resource.
  abstract: This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches.
  note: by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
  note: Electronic resource.
  subject:
    topic: Systems engineering
  subject:
    topic: Computer science
  subject:
    topic: Electronics
  subject:
    topic: Circuits and Systems
  subject:
    topic: Processor Architectures
  subject:
    topic: Electronics and Microelectronics, Instrumentation
  classification: TK7888.4
  classification: 621.3815
  related item:
    title info:
      title: Springer eBooks
  identifier: 9783319728148
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record creation date: 180122
    record change date: 20240730204922.1
    record identifier: in00004009568