Skip to main content
SpringerLink
Log in
Book cover

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. Cliff B. Jones

    1. Department of Computer Science, The University, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roger C. Shaw

    1. Lloyd’s Register House, Lloyd’s Register of Shipping, Croydon, Surrey, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tim Denvir

    1. Translimina Ltd, Winchmore Hill, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

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

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Opening Address

    • Patrick O’Ferrall
    Pages 1-2

  3. Concurrent Processes as Objects

    • Robin Milner
    Pages 3-3

  4. Formalising Dijkstra’s Development Strategy within Stark’s Formalism

    • Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever
    Pages 4-42

  5. A Recursion Removal Theorem

    • Martin Ward
    Pages 43-69

  6. Demonstrating the Compliance of Ada Programs with Z Specifications

    • C. T. Sennett
    Pages 70-87

  7. Methods and Tools for the Verification of Critical Properties

    • Roger Bishop Jones
    Pages 88-118

  8. Refinement and Confidentiality

    • Colin O’Halloran
    Pages 119-139

  9. Software Reification using the SETS Calculus

    • José N. Oliveira
    Pages 140-171

  10. Classification of Refinements in VDM

    • Morten Elvang-Gøransson
    Pages 172-180

  11. Constructive Refinement of First Order Specifications

    • Andrew Gravell
    Pages 181-210

  12. A Model of the Refinement Process

    • Maurice Naftalin
    Pages 211-229

  13. A Window Inference Tool for Refinement

    • Jim Grundy
    Pages 230-254

  14. Using Metavariables in Natural Deduction Proofs

    • T. Clement
    Pages 255-271

  15. A Tactic Driven Refinement Tool

    • Lindsay Groves, Raymond Nickson, Mark Utting
    Pages 272-297

  16. Revisiting Abstraction Functions For Reasoning About Concurrency

    • Jeannette M. Wing
    Pages 298-300

  17. A case study in formally developing state-based parallel programs—the Dutch National Torus

    • Qiwen Xu, Jifeng He
    Pages 301-319

  18. Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language

    • Ketil Stølen
    Pages 320-341

  19. A Note on Compositional Refinement

    • J. Zwiers, J. Coenen, W.-P. de Roever
    Pages 342-366

  20. Implementing Promoted Operations in Z

    • J. C. P. Woodcock
    Pages 367-378
Back to top

Keywords

About this book

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.

Editors and Affiliations

  • Department of Computer Science, The University, Manchester, UK

    Cliff B. Jones

  • Lloyd’s Register House, Lloyd’s Register of Shipping, Croydon, Surrey, UK

    Roger C. Shaw

  • Translimina Ltd, Winchmore Hill, London, UK

    Tim Denvir

Bibliographic Information

  • Book Title: 5th Refinement Workshop

  • Book Subtitle: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

  • Editors: Cliff B. Jones, Roger C. Shaw, Tim Denvir

  • Series Title: Workshops in Computing

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

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 1992

  • Softcover ISBN: 978-3-540-19752-2Published: 27 October 1992

  • eBook ISBN: 978-1-4471-3550-0Published: 14 March 2013

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 381

  • Number of Illustrations: 3 b/w illustrations

  • Additional Information: Jointly published with the British Computer Society

  • Topics: Mathematical Logic and Formal Languages, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation