Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

  • Kung-Kiu Lau
  • Richard Banach
Conference proceedings ICFEM 2005

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Specification

    1. Akram Idani, Yves Ledru, Didier Bert
      Pages 37-51
    2. Harald Fecher, Jens Schönborn, Marcel Kyas, Willem-Paul de Roever
      Pages 52-65
    3. Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
      Pages 66-80
  4. Modelling

    1. Michael Altenhofen, Egon Börger, Jens Lemcke
      Pages 81-95
    2. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
      Pages 96-110
  5. Security

    1. Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
      Pages 111-124
    2. Mourad Debbabi, Mohamed Saleh
      Pages 125-140
  6. Communication

    1. Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, Tom Maibaum
      Pages 141-155
    2. Guy Edward Gallasch, Bing Han, Jonathan Billington
      Pages 156-172
    3. Yanjun Wen, Ji Wang, Zhichang Qi
      Pages 173-187
  7. Development

    1. Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
      Pages 188-203
    2. I. Assayad, V. Bertin, F. -X. Defaut, Ph. Gerner, O. Quévreux, S. Yovine
      Pages 204-218
    3. Juha Plosila, Pasi Liljeberg, Jouni Isoaho
      Pages 219-234
  8. Testing

    1. Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
      Pages 235-250
    2. Laura Brandán Briones, Ed Brinksma
      Pages 264-279

About these proceedings

Keywords

Simulation Software Engineering UML Unified Modeling Language (UML) algorithms formal method formal specification formal verification logic modeling program analysis security protocols semantic Web services statecharts testing

Editors and affiliations

  • Kung-Kiu Lau
    • 1
  • Richard Banach
    • 2
  1. 1.School of Computer ScienceThe University of ManchesterManchesterUnited Kingdom
  2. 2.School of Computer ScienceUniversity of ManchesterManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/11576280
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29797-0
  • Online ISBN 978-3-540-32250-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book