Skip to main content
SpringerLink
Log in

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. David Till

    1. Department of Computer Science, City University, 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 (15 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Using Refinement to Understand Architectural Connection

      • David Garlan
      Pages 3-13

    3. Formal Semantics for Ward & Mellor’s Transformation Schemas

      • Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
      Pages 14-41

  3. Submitted Papers

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Improving the Process of System Specification and Refinement in B

      • K. Lano, H. Haughton
      Pages 45-68

    3. Testing and Safety Analysis of AM (Abstract Machine) Specifications

      • H. P. Haughton, K. Lano
      Pages 69-79

    4. Formal Development of Authentication Protocols

      • Pierre Bieber, Nora Boulahia-Cuppens
      Pages 80-102

    5. Deriving language recognition algorithms: A case study in combining program specialisation and data refinement

      • Lindsay Groves
      Pages 103-120

    6. Program Refinement by Theorem Prover

      • J. von Wright
      Pages 121-150

    7. Co-Refinement

      • Mike Ainsworth, Peter J. L. Wallis
      Pages 151-166

    8. Metavariables and Conditional Refinements in the Refinement Calculus

      • Raymond G. Nickson, Lindsay J. Groves
      Pages 167-187

    9. Machine Code Programs are Predicates Too

      • Theodore S. Norvell
      Pages 188-204

    10. Laws of Parallel Programming with Shared Variables

      • Qiwen Xu, Jifeng He
      Pages 205-216

    11. Environment-based Development of Reactive Systems

      • Yves Ledru, Pierre Collette
      Pages 217-235

    12. Refinement in Object-Oriented Specification Languages

      • K. Lano
      Pages 236-259

    13. Operation Semantics with Read and Write Frames

      • Juan Bicarregui
      Pages 260-278

    14. Proof Obligations for Real-Time Refinement

      • Colin Fidge
      Pages 279-305

  4. Back Matter

    Pages 307-309
    Download chapter PDF
Back to top

Keywords

About this book

The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.

Editors and Affiliations

  • Department of Computer Science, City University, London, UK

    David Till

Bibliographic Information

  • Book Title: 6th Refinement Workshop

  • Book Subtitle: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

  • Editors: David Till

  • Series Title: Workshops in Computing

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

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1994

  • Softcover ISBN: 978-3-540-19886-4Published: 19 July 1994

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

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: X, 309

  • Number of Illustrations: 1 b/w illustrations

  • Additional Information: Published in collaboration with the British Computer Society

  • Topics: Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation