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
  9. Verification

    1. Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
      Pages 315-329
    2. Byron Cook, Georges Gonthier
      Pages 330-344
    3. Michael Leuschel, Michael Butler
      Pages 345-359
    4. Ingo Brückner, Heike Wehrheim
      Pages 360-374
    5. Francesc Babot, Miquel Bertran, August Climent
      Pages 375-389
    6. Arjan J. Mooij, Wieger Wesselink
      Pages 390-404
  10. Tools

    1. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
      Pages 421-434
    2. Jun Sun, Yuan Fang Li, Hai Wang, Jing Sun
      Pages 435-449
    3. Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul A. M. Vidal
      Pages 450-464
    4. M. M. Adams, P. B. Clayton
      Pages 465-479
    5. Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya Sheik
      Pages 480-494
  11. Back Matter

About these proceedings


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

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