6th Refinement Workshop

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

  • David Till
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
      Pages 14-41
  3. Submitted Papers

    1. Front Matter
      Pages 43-43
    2. Pierre Bieber, Nora Boulahia-Cuppens
      Pages 80-102
    3. J. von Wright
      Pages 121-150
    4. Mike Ainsworth, Peter J. L. Wallis
      Pages 151-166
    5. Raymond G. Nickson, Lindsay J. Groves
      Pages 167-187
    6. Theodore S. Norvell
      Pages 188-204
    7. Qiwen Xu, Jifeng He
      Pages 205-216
    8. Yves Ledru, Pierre Collette
      Pages 217-235
    9. Juan Bicarregui
      Pages 260-278
    10. Colin Fidge
      Pages 279-305
  4. Back Matter
    Pages 307-309

About these proceedings


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.


Mathematica Variable algorithms calculus computer development language parallel programming programming semantics software software development system specification testing

Editors and affiliations

  • David Till
    • 1
  1. 1.Department of Computer ScienceCity UniversityLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1994
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19886-4
  • Online ISBN 978-1-4471-3240-0
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site