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 Methods and Software Engineering
    sub title: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  name:
    name part: Dong, Jin Song.
    role:
      role term: editor.
  name:
    name part: Zhu, Huibiao.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2010
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 712 p. 202 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod el driven engineering, as well as specification and verification.
  table of contents: Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed For…
  note: edited by Jin Song Dong, Huibiao Zhu.
  subject:
    topic: Computer science
  subject:
    topic: Computer communication systems
  subject:
    topic: Software engineering
  subject:
    topic: Computer programming
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Algorithms
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: Computer Communication Networks
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Techniques
  subject:
    topic: Algorithm Analysis and Problem Complexity
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6447
  identifier: 9783642169014
  identifier: http://dx.doi.org/10.1007/978-3-642-16901-4
  record info:
    record creation date: 101108
    record change date: 20151204142049.0
    record identifier: 978-3-642-16901-4