Formal Methods and Software Engineering

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

  • Zhiming Liu
  • Jifeng He
Conference proceedings ICFEM 2006

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

Table of contents

  1. Front Matter
  2. Keynote Talks

  3. Specification and Verification

    1. Chunqing Chen, Jin Song Dong
      Pages 74-93
    2. E. Allen Emerson, Richard J. Trefler, Thomas Wahl
      Pages 94-113
    3. Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
      Pages 114-131
    4. Xiaodong Yi, Ji Wang, Xuejun Yang
      Pages 149-167
  4. Internetware and Web-Based Systems

    1. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
      Pages 206-225
    2. Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
      Pages 226-245
    3. Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu
      Pages 246-263
    4. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
      Pages 264-283
  5. Concurrent, Communicating, Timing and Probabilistic Systems

    1. Douglas A. Creager, Andrew C. Simpson
      Pages 304-323
    2. A. W. Roscoe, Z. Wu
      Pages 324-341
    3. Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
      Pages 342-359

About these proceedings


SPIN Software Engineering automata dependable systems fault tolerance formal method formal methods formal software development model checking modeling object object-oriented programming program analysis semantic structured analysis

Editors and affiliations

  • Zhiming Liu
    • 1
  • Jifeng He
    • 2
  1. 1.International Institute of Software TechnologyUnited Nations UniversityMacauChina
  2. 2.Software Engineering InstituteEast China Normal UniversityShanghaiChina

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-47460-9
  • Online ISBN 978-3-540-47462-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book