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

About these proceedings


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
  • 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
  • About this book
Industry Sectors
Energy, Utilities & Environment