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

DOI: 10.1007/11576280

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

Table of contents (33 papers)

  1. Front Matter
  2. Invited Talks

  3. Specification

    1. Derivation of UML Class Diagrams as Static Views of Formal B Developments
      Akram Idani, Yves Ledru, Didier Bert
      Pages 37-51
    2. 29 New Unclarities in the Semantics of UML 2.0 State Machines
      Harald Fecher, Jens Schönborn, Marcel Kyas, Willem-Paul de Roever
      Pages 52-65
    3. The Semantics and Tool Support of OZTA
      Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
      Pages 66-80
  4. Modelling

    1. An Abstract Model for Process Mediation
      Michael Altenhofen, Egon Börger, Jens Lemcke
      Pages 81-95
    2. How Symbolic Animation Can Help Designing an Efficient Formal Model
      Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
      Pages 96-110
  5. Security

    1. A Theory of Secure Control Flow
      Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
      Pages 111-124
    2. Game Semantics Model for Security Protocols
      Mourad Debbabi, Mohamed Saleh
      Pages 125-140
  6. Communication

    1. Towards Dynamically Communicating Abstract Machines in the B Method
      Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, Tom Maibaum
      Pages 141-155
    2. Sweep-Line Analysis of TCP Connection Management
      Guy Edward Gallasch, Bing Han, Jonathan Billington
      Pages 156-172
    3. 2/3 Alternating Simulation Between Interface Automata
      Yanjun Wen, Ji Wang, Zhichang Qi
      Pages 173-187
  7. Development

    1. Formal Model-Driven Development of Communicating Systems
      Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
      Pages 188-203
    2. Jahuel: A Formal Framework for Software Synthesis
      I. Assayad, V. Bertin, F. -X. Defaut, Ph. Gerner, O. Quévreux, S. Yovine
      Pages 204-218
    3. Modelling and Refinement of an On-Chip Communication Architecture
      Juha Plosila, Pasi Liljeberg, Jouni Isoaho
      Pages 219-234
  8. Testing

    1. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
      Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
      Pages 235-250
    2. Testing Real-Time Multi Input-Output Systems
      Laura Brandán Briones, Ed Brinksma
      Pages 264-279

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

  • 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