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: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
    sub title: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  name:
    name part: Calinescu, Radu.
    role:
      role term: editor.
  name:
    name part: Jackson, Ethan.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: 250 p. 102 illus., 35 illus. in color. online resource.
  abstract: This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.
  note: edited by Radu Calinescu, Ethan Jackson.
  subject:
    topic: Computer science
  subject:
    topic: Computer communication systems
  subject:
    topic: Computer system failures
  subject:
    topic: Software engineering
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Information Systems Applications (incl. Internet)
  subject:
    topic: Information Storage and Retrieval
  subject:
    topic: Computer Communication Networks
  subject:
    topic: System Performance and Evaluation
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6662
  identifier: 9783642212925
  identifier: http://dx.doi.org/10.1007/978-3-642-21292-5
  record info:
    record creation date: 110527
    record change date: 20151204184745.0
    record identifier: 978-3-642-21292-5