Skip to main content
SpringerLink
Log in

4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Joseph M. Morris

    1. Department of Computing Science, University of Glasgow, Glasgow, Scotland

    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

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

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. The Process of Refinement

    • Robert Worden
    Pages 1-5

  3. Engineering Real Software Using Formal Methods

    • M. K. O. Lee, P. N. Scharbach, I. H. Sørensen
    Pages 6-33

  4. Specialising Abstract Programs

    • Andrew Gravell
    Pages 34-50

  5. A Refinement Case Study (using the Abstract Machine Notation)

    • J. R. Abrial
    Pages 51-96

  6. Assertional Data Reification Proofs: Survey and Perspective

    • J. Coenen, W.-P. de Roever, J. Zwiers
    Pages 97-114

  7. Formal Methods and the Sociology of Proof

    • Donald MacKenzie
    Pages 115-124

  8. Refinement Diagrams

    • R. J. R. Back
    Pages 125-137

  9. A Case Study in Timed Refinement: A Central Heater

    • Brendan Mahony, Ian Hayes
    Pages 138-149

  10. Object Oriented Specification and Refinement

    • P. J. Whysall, J. A. McDermid
    Pages 150-184

  11. The Ecology of Class Refinement

    • Cecily Bailes, Roger Duke
    Pages 185-196

  12. Transforming axioms for data types into sequential programs

    • Robert Milne
    Pages 197-240

  13. Refinement of two graph problems

    • D. A. Carrington, K. A. Robinson
    Pages 241-257

  14. CSP and Timewise Refinement

    • G. M. Reed, A. W. Roscoe, S. A. Schneider
    Pages 258-280

  15. The Elusive Software Refinery: a case study in program development

    • Kenneth R. Wood
    Pages 281-325

  16. A Theory of State-based Parallel Programming: Part 1

    • Xu Qiwen, He Jifeng
    Pages 326-359

  17. Design, verification and documentation of concurrent systems

    • E. Pascal Gribomont
    Pages 360-377

  18. A Formal Method for Hard Real-Time Programming

    • Mike Gordon
    Pages 378-410

  19. Constructing and Refining Modules in a Type Theory

    • Shahad N. Ahmed, Joseph M. Morris
    Pages 411-440

  20. The Varieties of Refinement

    • Jeremy Jacob
    Pages 441-455
Back to top

Keywords

About this book

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their speCifications. The workshop gives a fair picture of the state of the art: it presents new theories for reasoning about software and hardware and case studies in applying known theory to interesting small-and medium-scale problems. We hope the book will be Of interest both to researchers in formal methods, and to software engineers in industry who want to keep abreast of possible applications of formal methods in industry. The programme consisted both of invited talks and refereed papers. The invited speakers were Ib S0rensen, Jean-Raymond Abrial, Donald MacKenzie, Ralph Back, Robert Milne, Mike Read, Mike Gordon, and Robert Worden who gave the introductory talk. This is the first refinement workshop that solicited papers for refereeing, and despite a rather late call for papers the response was excellent.

Editors and Affiliations

  • Department of Computing Science, University of Glasgow, Glasgow, Scotland

    Joseph M. Morris

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

    Roger C. Shaw

Bibliographic Information

  • Book Title: 4th Refinement Workshop

  • Book Subtitle: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

  • Editors: Joseph M. Morris, Roger C. Shaw

  • Series Title: Workshops in Computing

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

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 1991

  • Softcover ISBN: 978-3-540-19657-0Published: 12 June 1991

  • eBook ISBN: 978-1-4471-3756-6Published: 14 March 2013

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 480

  • Number of Illustrations: 2 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