Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Shaoying Liu

    1. Faculty of Computer and Information Sciences, Hosei University, Tokoy, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Maibaum

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Keijiro Araki

    1. Department of Computer Science and Communication Engineering, , Graduate School of Information Science and Electrical Engineering, Kyushu University, Higashi-ku, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5256)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICFEM 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  3. Specification and Verification

    1. Specifying and Verifying Event-Based Fairness Enhanced Systems

      • Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang
      Pages 5-24

    2. Modelling and Proof of a Tree-Structured File System in Event-B and Rodin

      • Kriangsak Damchoom, Michael Butler, Jean-Raymond Abrial
      Pages 25-44

  4. Testing

    1. Conformance Testing Based on UML State Machines

      • Dirk Seifert
      Pages 45-65

    2. An Approach to Testing with Embedded Context Using Model Checker

      • Lihua Duan, Jessica Chen
      Pages 66-85

    3. Requirements Coverage as an Adequacy Measure for Conformance Testing

      • Ajitha Rajan, Michael Whalen, Matt Staats, Mats P. E. Heimdahl
      Pages 86-104

  5. Verification 1

    1. Decomposition for Compositional Verification

      • Björn Metzler, Heike Wehrheim, Daniel Wonisch
      Pages 105-125

    2. A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

      • Florin Craciun, Shengchao Qin, Wei-Ngan Chin
      Pages 126-146

    3. Program Models for Compositional Verification

      • Marieke Huisman, Irem Aktug, Dilian Gurov
      Pages 147-166

  6. Model Checking and Analysis

    1. A Unified Model Checking Approach with Projection Temporal Logic

      • Zhenhua Duan, Cong Tian
      Pages 167-186

    2. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes

      • Kazuhiro Ogata, Kokichi Futatsugi
      Pages 187-206

    3. Towards Abstraction for DynAlloy Specifications

      • Nazareno M. Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
      Pages 207-225

  7. Verification 2

    1. Partial Translation Verification for Untrusted Code-Generators

      • Matthew Staats, Mats P. E. Heimdahl
      Pages 226-237

    2. A Practical Approach to Partiality – A Proof Based Approach

      • Farhad Mehta
      Pages 238-257

    3. A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

      • Nick Moffat, Michael Goldsmith, Bill Roscoe
      Pages 258-277

  8. Tools

    1. Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool

      • Michael Leuschel, Marc Fontaine
      Pages 278-297

    2. Practical Automated Partial Verification of Multi-paradigm Real-Time Models

      • Carlo A. Furia, Matteo Pradella, Matteo Rossi
      Pages 298-317
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

About this book

Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must be - veloped on the basis of both formal methods and existing software technologies in software engineering, and they must serve the improvement of the softwa- engineering process. ICFEM 2008 marks the tenth anniversary of the ?rst ICFEM conference, which was held in Hiroshima in 1997. It aims to bring together researchers and practitioners who are interested in the development and application of formal engineering methods to present their latest work and discuss future research directions. The conference o?ers a great opportunity for researchers in both formal methods and software engineering to exchange their ideas, experience, expectation and to ?nd out whether and how their research results can help advance the state of the art.

Editors and Affiliations

  • Faculty of Computer and Information Sciences, Hosei University, Tokoy, Japan

    Shaoying Liu

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Tom Maibaum

  • Department of Computer Science and Communication Engineering, , Graduate School of Information Science and Electrical Engineering, Kyushu University, Higashi-ku, Japan

    Keijiro Araki

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation