Advertisement

ZUM ’98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

  • Jonathan P. Bowen
  • Andreas Fett
  • Michael G. Hinchey
Conference proceedings ZUM 1998

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

Table of contents

  1. Front Matter
  2. Industrial Issues

  3. Concurrency

    1. Clemens Fischer
      Pages 5-23
    2. Leesa Murray, David Carrington, Ian MacColl, Jason McDonald, Paul Strooper
      Pages 42-59
  4. Tools

    1. Jonathan P. Bowen, David Chippington
      Pages 66-80
    2. Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali
      Pages 81-95
  5. Z and HOL

    1. Thomas Santen
      Pages 96-115
    2. C. Lüth, E. W. Karlsen, ( ) Kolyang, S. Westmeier, B. Wolff
      Pages 116-134
  6. Safety-Critical and Real-Time Systems

  7. Semantic Theory

    1. R. D. Arthan
      Pages 154-171
    2. Martin C. Henson, Steve Reeves
      Pages 172-191
  8. Theory and Standards

  9. Reasoning and Consistency Issues

  10. Refinement

    1. John Derrick, Eerke Boiten
      Pages 265-283
    2. Susan Stepney, David Cooper, Jim Woodcock
      Pages 284-307
  11. Object Orientation

    1. Brendan Mahony, Jin Song Dong
      Pages 308-327
    2. Viktor Friesen, André Nordwig, Matthias Weber
      Pages 328-346
    3. S. Dupuy, Y. Ledru, M. Chabre-Peccoud
      Pages 347-366
  12. Appendices

    1. Jonathan P. Bowen
      Pages 367-406
  13. Back Matter

Other volumes

  1. Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
  2. ZUM ’98: The Z Formal Specification Notation
    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

About these proceedings

Introduction

1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are “pro-formal” or “anti-formal”, but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM’98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.

Keywords

Formal Methods Formal Specification Java Safety-Critical Systems Systems Verification Unified Modeling Language (UML) Z Notation embedded systems logic object real-time

Editors and affiliations

  • Jonathan P. Bowen
    • 1
  • Andreas Fett
    • 2
  • Michael G. Hinchey
    • 3
  1. 1.Department of Computer Science WhiteknightsThe University of ReadingReading, BerksUK
  2. 2.Software Technology LaboratoryDaimler-Benz AG, Research and TechnologyBerlinGermany
  3. 3.Department of Computer ScienceLoyola College in MarylandBaltimoreUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b68208
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65070-6
  • Online ISBN 978-3-540-49676-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering