Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1999

IFM’99

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

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

Sections

Buy it now

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

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

Table of contents (24 papers)

  1. Front Matter

    Pages I-XIV
    PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      PDF

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

    1. Front Matter

      Pages 27-27
      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
      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
      PDF

    2. The Refinement of Event Calculus Models

      • Bill Stoddart, Steve Dunne
      Pages 151-169

    4. An Object Semantic Model of SOFL

      • Jin Song Dong, Shaoying Liu
      Pages 189-208

  6. State Charts

    1. Front Matter

      Pages 209-209
      PDF

    2. A Modular Framework for the Integration of Heterogeneous Notations and Tools

      • Robert Büssow, Wolfgang Grieskamp
      Pages 211-230

  7. Semantic Models & Refinement

    1. Front Matter

      Pages 251-251
      PDF
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation