Advertisement

Formal Methods and Software Engineering

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

  • Chris George
  • Huaikou Miao
Conference proceedings ICFEM 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. Component Engineering and Software Architecture

    1. Hong Mei, Feng Chen, Qianxiang Wang, Yaodong Feng
      Pages 38-47
    2. Hong Zheng, Shi-xian Li
      Pages 48-56
    3. Maritta Heisel, Thomas Santen, Jeanine Souquières
      Pages 57-68
    4. Jing Liu, Huaikou Miao, Xiaolei Gao
      Pages 69-79
    5. Vasu Alagar, Ralf Lämmel
      Pages 92-97
    6. Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt
      Pages 103-107
  4. Method Integration

    1. Graeme Smith, John Derrick
      Pages 108-119
  5. Specification Techniques and Languages

    1. Kenji Taguchi, Jin Song Dong
      Pages 144-155
    2. Jin Song Dong, Jing Sun, Hai Wang
      Pages 156-167
    3. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
      Pages 168-179
    4. Adriano Pereira, Mark Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Campos
      Pages 180-191
    5. Tim Miller, Paul Strooper
      Pages 192-203
    6. Olfa Mosbahi, Leila Jemni, Samir Ben Ahmed, Jacques Jaray
      Pages 216-220
    7. Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan Lukkien
      Pages 226-230
    8. Guangyuan Li, Zhisong Tang
      Pages 231-236
    9. Ying Liu, Naixiao Zhang
      Pages 237-248
    10. Yuan Liu, Baowen Xu, Zhenqiang Chen
      Pages 262-274
    11. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
      Pages 275-286
  6. Tools and Environments

    1. Muan Yong Ng, Michael Butler
      Pages 287-298
    2. Orieta Celiku, Joakim von Wright
      Pages 299-310
    3. Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
      Pages 311-322
  7. Refinement

    1. Doug Goldson, Greg Reeve, Steve Reeves
      Pages 323-334
    2. Sibylle Peuker, Ian Hayes
      Pages 335-347
    3. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
      Pages 347-358
  8. Applications

    1. Jessica Chen
      Pages 359-370
    2. Ana Cavalli, Stéphane Maag
      Pages 371-382
    3. Juha Plosila, Tiberiu Seceleanu
      Pages 383-395
    4. Gafurov Davrondjon, Tomasz Janowski
      Pages 401-405
    5. Zarina Shukur, Abdullah Md. Zin, Ainita Ban
      Pages 406-410
  9. Validation and Verification

    1. Hugh Anderson
      Pages 411-422
    2. Wang Ji, Dong Wei, Qi Zhi-Chang
      Pages 435-446
    3. M. Hasan Zobair, Sofiène Tahar
      Pages 447-458
    4. Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison
      Pages 459-470
    5. Hassan Diab, Marc Frappier, Richard St-Denis
      Pages 483-494

About these proceedings

Keywords

Ada CORBA Correct Software Development Formal Methods Formal Software Development Java Program Transformation Safety-Critical Systems Software Architecture Software Engineering algorithms automata design formal verification programming

Editors and affiliations

  • Chris George
    • 1
  • Huaikou Miao
    • 2
  1. 1.International Institute for Software TechnologyUnited Nations UniversityMacao
  2. 2.School of Computer Engineering and ScienceShanghai UniversityShanghaiP.R. China

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36103-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00029-7
  • Online ISBN 978-3-540-36103-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site