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: Formal Aspects of Component Software
    sub title: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
  name:
    name part: Braga, Christiano.
    role:
      role term: editor.
  name:
    name part: Ölveczky, Peter Csaba.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2016
    edition: 1st ed. 2016.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 331 p. 118 illus. in color. online resource.
  abstract: This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification.
  table of contents: Quality of service to withstand faults -- Component-based software development through research on mathematical models for components -- Composition and adaptation -- Rigorous approaches to verification, deployment, testing, and certification.
  note: edited by Christiano Braga, Peter Csaba Ölveczky.
  subject:
    topic: Computer science
  subject:
    topic: Computer programming
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Management information systems
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Programming Techniques
  subject:
    topic: Management of Computing and Information Systems
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 9539
  identifier: 9783319289342
  identifier: http://dx.doi.org/10.1007/978-3-319-28934-2
  record info:
    record creation date: 160128
    record change date: 20160129142038.0
    record identifier: 978-3-319-28934-2