Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Kung-Kiu Lau

    1. School of Computer Science, The University of Manchester, Manchester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Richard Banach

    1. School of Computer Science, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICFEM 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Realising the Benefits of Formal Methods

      • Anthony Hall
      Pages 1-4

    2. A Compositional Framework for Service Interaction Patterns and Interaction Flows

      • Alistair Barros, Egon Börger
      Pages 5-35

    3. An Evidential Tool Bus

      • John Rushby
      Pages 36-36

  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. Adaptive Random Testing by Bisection with Restriction

      • Johannes Mayer
      Pages 251-263

    3. Testing Real-Time Multi Input-Output Systems

      • Laura Brandán Briones, Ed Brinksma
      Pages 264-279
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Keywords

Editors and Affiliations

  • School of Computer Science, The University of Manchester, Manchester, United Kingdom

    Kung-Kiu Lau

  • School of Computer Science, University of Manchester, Manchester, UK

    Richard Banach

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation