Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Chris George

    1. International Institute for Software Technology, United Nations University, Macao

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Huaikou Miao

    1. School of Computer Engineering and Science, Shanghai University, Shanghai, P.R. China

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

Included in the following conference series:

Conference proceedings info: ICFEM 2002.

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

Table of contents (62 papers)

  1. Specification Techniques and Languages

    1. A Formal Methodology to Specify E-commerce Systems

      • Adriano Pereira, Mark Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Campos
      Pages 180-191

    2. Model-Based Specification Animation Using Testgraphs

      • Tim Miller, Paul Strooper
      Pages 192-203

    3. An Abstract Model for Scheduling Real-Time Programs

      • Alvaro E. Arenas
      Pages 204-215

    4. A Specification and Validation Technique Based on STATEMATE and FNLOG

      • Olfa Mosbahi, Leila Jemni, Samir Ben Ahmed, Jacques Jaray
      Pages 216-220

    5. Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows

      • Yuyue Du, Changjun Jiang
      Pages 221-225

    6. A Calculus for Mobile Network Systems

      • Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan Lukkien
      Pages 226-230

    7. Modelling Real-Time Systems with Continuous-Time Temporal Logic

      • Guangyuan Li, Zhisong Tang
      Pages 231-236

    8. On Concept-Based Definition of Domain-Specific Languages

      • Ying Liu, Naixiao Zhang
      Pages 237-248

    9. Formal Specification of Evolutionary Software Agents

      • Hong Zhu
      Pages 249-261

    10. Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

      • Yuan Liu, Baowen Xu, Zhenqiang Chen
      Pages 262-274

    11. Formal Analysis of Real-Time Systems with SAM

      • Huiqun Yu, Xudong He, Yi Deng, Lian Mo
      Pages 275-286

  2. Tools and Environments

    1. Tool Support for Visualizing CSP in UML

      • Muan Yong Ng, Michael Butler
      Pages 287-298

    2. Theorem Prover Support for Precondition and Correctness Calculation

      • Orieta Celiku, Joakim von Wright
      Pages 299-310

    3. XML-Based Static Type Checking and Dynamic Visualization for TCOZ

      • Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
      Pages 311-322

  3. Refinement

    1. μ-Chart-Based Specification and Refinement

      • Doug Goldson, Greg Reeve, Steve Reeves
      Pages 323-334

    2. Towards a Refinement Calculus for Concurrent Real-Time Programs

      • Sibylle Peuker, Ian Hayes
      Pages 335-347

    3. Refinement Algebra for Formal Bytecode Generation

      • Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
      Pages 347-358

  4. Applications

    1. Formal Modelling of Java GUI Event Handling

      • Jessica Chen
      Pages 359-370

    2. A New Algorithm for Service Interaction Detection

      • Ana Cavalli, Stéphane Maag
      Pages 371-382

    3. Specification of an Asynchronous On-chip Bus

      • Juha Plosila, Tiberiu Seceleanu
      Pages 383-395
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

Editors and Affiliations

  • International Institute for Software Technology, United Nations University, Macao

    Chris George

  • School of Computer Engineering and Science, Shanghai University, Shanghai, P.R. China

    Huaikou Miao

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation