4th Refinement Workshop

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

  • Joseph M. Morris
  • Roger C. Shaw
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Robert Worden
    Pages 1-5
  3. M. K. O. Lee, P. N. Scharbach, I. H. Sørensen
    Pages 6-33
  4. Andrew Gravell
    Pages 34-50
  5. J. Coenen, W.-P. de Roever, J. Zwiers
    Pages 97-114
  6. Donald MacKenzie
    Pages 115-124
  7. R. J. R. Back
    Pages 125-137
  8. Brendan Mahony, Ian Hayes
    Pages 138-149
  9. P. J. Whysall, J. A. McDermid
    Pages 150-184
  10. Cecily Bailes, Roger Duke
    Pages 185-196
  11. D. A. Carrington, K. A. Robinson
    Pages 241-257
  12. G. M. Reed, A. W. Roscoe, S. A. Schneider
    Pages 258-280
  13. Xu Qiwen, He Jifeng
    Pages 326-359
  14. Shahad N. Ahmed, Joseph M. Morris
    Pages 411-440
  15. Jeremy Jacob
    Pages 441-455
  16. Back Matter
    Pages 479-480

About these proceedings


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.


Formal Specification Petri net Refinement Softwareentwicklung design development documentation formal methods parallel programming process algebra program verification programming software software development verification

Editors and affiliations

  • Joseph M. Morris
    • 1
  • Roger C. Shaw
    • 2
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowScotland
  2. 2.Lloyd’s Register HouseLloyd’s Register of ShippingCroydon, SurreyUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1991
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19657-0
  • Online ISBN 978-1-4471-3756-6
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
IT & Software