Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Jin Song Dong

    1. School of Computing, National University of Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jim Woodcock

    1. University of York,  

    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 2885)

Included in the following conference series:

Conference proceedings info: ICFEM 2003.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

About this book

This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to address the conference.

Similar content being viewed by others

Keywords

Table of contents (37 papers)

  1. Front Matter

    Download chapter PDF

  3. Testing and Validation

    1. Using Formal Methods to Serialize Synchronization Events

      • Jessica Chen
      Pages 34-47

    2. An AMBA-ARM7 Formal Verification Platform

      • Kong Woei Susanto, Tom Melham
      Pages 48-67

    3. Formalization, Testing and Execution of a Use Case Diagram

      • Wuwei Shen, Shaoying Liu
      Pages 68-85

    4. Service-Based Systems Engineering: Consistent Combination of Services

      • Bernhard Schätz, Christian Salzmann
      Pages 86-104

  4. State Diagrams

    1. Using State Diagrams to Describe Concurrent Behaviour

      • Jim Davies, Charles Crichton
      Pages 105-124

    2. The Equivalence of Statecharts

      • Quan Long, Zongyan Qiu, Shengchao Qin
      Pages 125-143

    3. Generic Interacting State Machines and Their Instantiation with Dynamic Features

      • David von Oheimb, Volkmar Lotz
      Pages 144-166

  5. PVS/HOL

    1. Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language

      • Sanjai Rayadurgam, Anjali Joshi, Mats P. E. Heimdahl
      Pages 167-186

    2. Formalising an Integrated Language in PVS

      • Gwen Salaün, Christian Attiogbé
      Pages 187-205

  6. Refinement

    1. Modeling SystemC Fixed-Point Arithmetic in HOL

      • Behzad Akbarpour, Sofiène Tahar
      Pages 206-225

    2. Adding Action Refinement to Stochastic True Concurrency Models

      • Mila Majster-Cederbaum, Jinzhao Wu
      Pages 226-245

    3. Incremental Derivation of Abstraction Relations for Data Refinement

      • Neil J. Robinson
      Pages 246-265

    4. Comparison of Data and Process Refinement

      • Steve Reeves, David Streader
      Pages 266-285

    5. Compilation by Refinement for a Practical Assembly Language

      • Geoffrey Watson
      Pages 286-305

  7. Hybrid Systems

    1. Java Card Code Generation from B Specifications

      • Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
      Pages 306-318

    2. Efficient Path Finding with the Sweep-Line Method Using External Storage

      • Lars Michael Kristensen, Thomas Mailund
      Pages 319-337
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Editors and Affiliations

  • School of Computing, National University of Singapore, Singapore

    Jin Song Dong

  • University of York,  

    Jim Woodcock

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation