Skip to main content
SpringerLink
Log in

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Michael Butler

    1. Department of Electronics and Computer Science Declarative Systems and Software Engineering, University of Southampton, Highfield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luigia Petre

    1. Turku Centre for Computer Science, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kaisa Sere

    1. Department of Computer Science, Åbo Akademi University, Turku, Finland

    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 2335)

Included in the following conference series:

Conference proceedings info: IFM 2002.

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 (21 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Talk: Eran Gery

    1. Rhapsody: A Complete Life-Cycle Model-Based Development System

      • Eran Gery, David Harel, Eldad Palachi
      Pages 1-10

  3. Integration, Simulation, Animation

    1. An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation

      • Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski
      Pages 11-28

    2. Stochastic Process Algebras Meet Eden

      • Natalia López, Manuel Núñez, Fernando Rubio
      Pages 29-48

  4. From Specifcation to Verifcation

    1. From Implicit Specifications to Explicit Designs in Reactive System Development

      • K. Lano, D. Clark, K. Androutsopoulos
      Pages 49-68

    2. Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems

      • V. A. Nepomniaschy, N. V. Shilov, E. V. Bodin, V. E. Kozura
      Pages 69-88

    3. Assume-Guarantee Algorithms for Automatic Detection of Software Failures

      • Mohammad Zulkernine, Rudolph E. Seviora
      Pages 89-108

  5. Statecharts and B: Integration and Translation

    1. Contributions for Modelling UML State-Charts in B

      • Hung Ledang, Jeanine Souquières
      Pages 109-127

    2. Translating Statecharts to B

      • Emil Sekerinski, Rafik Zurob
      Pages 128-144

  6. Invited Talk: Shmuel Katz

    1. A Framework for Translating Models and Specifications

      • Shmuel Katz, Orna Grumberg
      Pages 145-164

  7. Model Checkers and Theorem Provers

    1. Model Checking Object-Z Using ASM

      • Kirsten Winter, Roger Duke
      Pages 165-184

    2. Formalization of Cadence SPW Fixed-Point Arithmetic in HOL

      • Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar
      Pages 185-204

    3. Formally Linking MDG and HOL Based on a Verified MDG System

      • Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
      Pages 205-224

  8. Links between Object-Z and CSP

    1. Refinement in Object-Z and CSP

      • Christie Bolton, Jim Davies
      Pages 225-244

    2. Combining Specification Techniques for Processes, Data and Time

      • Jochen Hoenicke, Ernst-Rüdiger Olderog
      Pages 245-266

    3. An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems

      • Graeme Smith
      Pages 267-285

  9. Invited Talk: Stuart Kent

    1. Model Driven Engineering

      • Stuart Kent
      Pages 286-298

  10. Combining Graphical and Formal Approaches

    1. The Design of a Tool-Supported Graphical Notation for Timed CSP

      • Phillip J. Brooke, Richard F. Paige
      Pages 299-318

    2. Combining Graphical and Formal Development of Open Distributed Systems

      • Einar B. Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
      Pages 319-338

    3. Translations between Textual Transition Systems and Petri Nets

      • Katerina Korenblat, Orna Grumberg, Shmuel Katz
      Pages 339-359
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

About this book

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.

Editors and Affiliations

  • Department of Electronics and Computer Science Declarative Systems and Software Engineering, University of Southampton, Highfield, UK

    Michael Butler

  • Turku Centre for Computer Science, Turku, Finland

    Luigia Petre

  • Department of Computer Science, Åbo Akademi University, Turku, Finland

    Kaisa Sere

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation