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: Verified Software: Theories, Tools, Experiments
    sub title: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
  name:
    name part: Meyer, Bertrand.
    role:
      role term: editor.
  name:
    name part: Woodcock, Jim.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2008
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXIII, 546 p. online resource.
  abstract: This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.
  table of contents: Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project -- Verification Tools -- Towards a Worldwide Verification Technology -- It Is Time to Mechanize Programming Language Metatheory -- Methods and Tools for Formal Software Engineering -- Guaranteeing Correctness -- The Verified Software Challenge: A Call for a Holistic Approach to Reliability -- A Mini Challenge: Build a Verifiable Filesystem -- A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets -- Some Interdisciplinary Observations about Getting the “Right” Specification -- Software Engineering Aspects -- Software Verification and Software Engineering a Practitioner’s Perspective -- Decomposing Verification Around End-User Features -- Verifying Object-Oriented Programming -- Automatic Verification of Strongly Dynamic Software Systems -- Reasoning about Object Structures Using Ownership -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges for Program Logic -- Programming Language and Methodology Aspects -- Lessons from the JML Project -- The Spec# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification -- Components -- Automated Test Generation and Verified Software -- Dependent Types, Theorem Proving, and Applications for a Verifying Compiler -- Generating Programs Plus Proofs by Refinement -- Static Analysis -- The Verification Grand Challenge and Abstract Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data Structure Consistency Checking System -- Towards the Integration of Symbolic and Numerical Static Analysis -- Design, Analysis and Tools -- Reliable Software Systems Design: Defect Prevention, Detection, and Containment -- Trends and Challenges in Algorithmic Software Verification -- Model Checking: Back and Forth between Hardware and Soft…
  note: edited by Bertrand Meyer, Jim Woodcock.
  subject:
    topic: Computer science
  subject:
    topic: Computer programming
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Operating systems (Computers)
  subject:
    topic: Computer logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Programming Techniques
  subject:
    topic: Software Engineering
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Operating Systems
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  classification: QA76.6-76.66
  classification: 005.11
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 4171
  identifier: 9783540691495
  identifier: http://dx.doi.org/10.1007/978-3-540-69149-5
  record info:
    record creation date: 100301
    record change date: 20170124142139.0
    record identifier: 978-3-540-69149-5