Skip to main content
SpringerLink
Log in

IFM’99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Keijiro Araki

    1. Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andy Galloway

    1. Department of Computer Science, University of York, Heslington, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kenji Taguchi

    1. Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (24 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Common Framework for Mixed Hardware/Software Systems

      • He Jifeng
      Pages 3-25

    3. Proof systems for message-passing process calculi

      • Matthew Hennessy
      Pages 26-26

  3. Z/Object-Z + CSP + Real Time

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. RT-Z: An Integration of Z and timed CSP

      • Carsten Sühl
      Pages 29-48

    3. Towards Real-Time Object-Z

      • Graeme Smith, Ian Hayes
      Pages 49-65

    4. Overview of the Semantics of TCOZ

      • Brendan Mahony, Jin Song Dong
      Pages 66-85

  4. Temporal Logic

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Modular Verification of Dynamic Properties for Reactive Systems

      • J. Julliand, P.-A. Masson, H. Mountassir
      Pages 89-108

    3. Modular Formal Specification of Data and Behaviour

      • Jaco van de Pol, Jozef Hooman, Edwin de Jong
      Pages 109-128

    4. Integration Problems in Telephone Feature Requirements

      • Paul Gibson, Geoff Hamilton, Dominique Méry
      Pages 129-145

  5. Z/Object Z + Behaviour 1

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. The Refinement of Event Calculus Models

      • Bill Stoddart, Steve Dunne
      Pages 151-169

    3. Modelling Discrete Behaviour in a Continuous-Time Formalism

      • C. J. Fidge
      Pages 170-188

    4. An Object Semantic Model of SOFL

      • Jin Song Dong, Shaoying Liu
      Pages 189-208

  7. Semantic Models & Refinement

    1. Front Matter

      Pages 251-251
      Download chapter PDF
Back to top

Keywords

About this book

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.

Editors and Affiliations

  • Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University, Japan

    Keijiro Araki, Kenji Taguchi

  • Department of Computer Science, University of York, Heslington, Japan

    Andy Galloway

Bibliographic Information

  • Book Title: IFM’99

  • Book Subtitle: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

  • Editors: Keijiro Araki, Andy Galloway, Kenji Taguchi

  • DOI: https://doi.org/10.1007/978-1-4471-0851-1

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1999

  • Softcover ISBN: 978-1-85233-107-8Published: 25 June 1999

  • eBook ISBN: 978-1-4471-0851-1Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XIV, 477

  • Number of Illustrations: 3 b/w illustrations

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation