Skip to main content
  • Conference proceedings
  • © 2003

Formal Methods and Software Engineering

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

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

Conference series link(s): ICFEM: International Conference on Formal Engineering Methods

Conference proceedings info: ICFEM 2003.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (37 papers)

  1. Front Matter

  2. Testing and Validation

    1. An AMBA-ARM7 Formal Verification Platform

      • Kong Woei Susanto, Tom Melham
      Pages 48-67
    2. Formalization, Testing and Execution of a Use Case Diagram

      • Wuwei Shen, Shaoying Liu
      Pages 68-85
    3. Service-Based Systems Engineering: Consistent Combination of Services

      • Bernhard Schätz, Christian Salzmann
      Pages 86-104
  3. 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
  4. 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
  5. 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. Comparison of Data and Process Refinement

      • Steve Reeves, David Streader
      Pages 266-285
  6. 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

Other Volumes

  1. Formal Methods and Software Engineering

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.

Keywords

  • Automat
  • automata
  • modeling
  • petri net
  • software engineering
  • testing
  • validation

Editors and Affiliations

  • School of Computing, National University of Singapore, Singapore

    Jin Song Dong

  • University of York,  

    Jim Woodcock

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions