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: NASA Formal Methods
    sub title: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
  name:
    name part: Badger, Julia M.
    role:
      role term: editor.
  name:
    name part: Rozier, Kristin Yvonne.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXVI, 360 p. 114 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.
  table of contents: Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.- Application of formal methods to emerging technologies.
  note: edited by Julia M. Badger, Kristin Yvonne Rozier.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computer programming
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Operating systems (Computers)
  subject:
    topic: Computer logic
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Operating Systems
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: Programming Techniques
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 8430
  identifier: 9783319062006
  identifier: http://dx.doi.org/10.1007/978-3-319-06200-6
  record info:
    record creation date: 140423
    record change date: 20151103122609.0
    record identifier: 978-3-319-06200-6