Skip to main content
SpringerLink
Log in
Book cover

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Zhiming Liu

    1. International Institute of Software Technology, United Nations University, Macau, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jifeng He

    1. Software Engineering Institute, East China Normal University, Shanghai, 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 4260)

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

Included in the following conference series:

Conference proceedings info: ICFEM 2006.

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 (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talks

    1. Program Verification Through Computer Algebra

      • Zhou Chaochen
      Pages 1-1

    2. JML’s Rich, Inherited Specifications for Behavioral Subtypes

      • Gary T. Leavens
      Pages 2-34

    3. Three Perspectives in Formal Engineering

      • John McDermid, Andy Galloway
      Pages 35-54

  3. Specification and Verification

    1. A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces

      • Bernhard Beckert, Gerd Beuster
      Pages 55-73

    2. Applying Timed Interval Calculus to Simulink Diagrams

      • Chunqing Chen, Jin Song Dong
      Pages 74-93

    3. Reducing Model Checking of the Few to the One

      • E. Allen Emerson, Richard J. Trefler, Thomas Wahl
      Pages 94-113

    4. Induction-Guided Falsification

      • Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
      Pages 114-131

    5. Verifying χ Models of Industrial Systems with Spin

      • Nikola Trčka
      Pages 132-148

    6. Stateful Dynamic Partial-Order Reduction

      • Xiaodong Yi, Ji Wang, Xuejun Yang
      Pages 149-167

  4. Internetware and Web-Based Systems

    1. User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition

      • Xiaoning Ding, Jun Wei, Tao Huang
      Pages 168-184

    2. Environment Ontology-Based Capability Specification for Web Service Discovery

      • Puwei Wang, Zhi Jin, Lin Liu
      Pages 185-205

    3. Scenario-Based Component Behavior Derivation

      • Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
      Pages 206-225

    4. Verification of Computation Orchestration Via Timed Automata

      • Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
      Pages 226-245

    5. Towards the Semantics for Web Service Choreography Description Language

      • Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
      Pages 246-263

    6. Type Checking Choreography Description Language

      • Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
      Pages 264-283

  5. Concurrent, Communicating, Timing and Probabilistic Systems

    1. Formalising Progress Properties of Non-blocking Programs

      • Brijesh Dongol
      Pages 284-303

    2. Towards a Fully Generic Theory of Data

      • Douglas A. Creager, Andrew C. Simpson
      Pages 304-323

    3. Verifying Statemate Statecharts Using CSP and FDR

      • A. W. Roscoe, Z. Wu
      Pages 324-341

    4. A Reasoning Method for Timed CSP Based on Constraint Solving

      • Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
      Pages 342-359
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

Editors and Affiliations

  • International Institute of Software Technology, United Nations University, Macau, China

    Zhiming Liu

  • Software Engineering Institute, East China Normal University, Shanghai, China

    Jifeng He

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation