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
    4. Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
      Pages 360-379
    5. Larissa Meinicke, Ian J. Hayes
      Pages 380-399
  6. Object and Component Orientation

    1. Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
      Pages 400-419
    2. Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
      Pages 420-439
    3. Xiangpeng Zhao, Quan Long, Zongyan Qiu
      Pages 440-459
  7. Testing and Model Checking

    1. Samira Tasharofi, Sepand Ansari, Marjan Sirjani
      Pages 478-493
    2. Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis
      Pages 494-513
    3. Heike Wehrheim
      Pages 514-528
    4. Aleksandar Dimovski, Ranko Lazić
      Pages 529-548
    5. Marcelo d’Amorim, Ahmed Sobeih, Darko Marinov
      Pages 549-567
  8. Tools

    1. Soon-Kyeong Kim, David Carrington
      Pages 568-587
    2. Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
      Pages 588-605
    3. B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy
      Pages 606-620
  9. Fault-Tolerance and Security

  10. Specification and Refinement

    1. John Derrick, Siobhán North, Tony Simons
      Pages 678-696
    2. Nikolai Tillmann, Feng Chen, Wolfram Schulte
      Pages 717-736
    3. Tomi Westerlund, Juha Plosila
      Pages 737-756
    4. Andreas Bauer, Martin Leucker, Jonathan Streit
      Pages 757-775
  11. Back Matter

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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment