Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

  • J. E. Nicholls

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

Table of contents

  1. Front Matter
    Pages i-ix
  2. Theory and Foundations

    1. Front Matter
      Pages 1-1
    2. P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock
      Pages 3-11
    3. P. J. Lupton
      Pages 27-49
    4. P. Luigi Iachini
      Pages 50-57
    5. C. B. Jones
      Pages 58-73
  3. Standards and Tools

    1. Front Matter
      Pages 75-75
    2. Andy Coombes, John McDermid
      Pages 77-92
    3. David Jordan, John McDermid, Ian Toyn
      Pages 93-104
    4. Dave Neilson
      Pages 105-128
    5. Brian Hepworth, Dan Simpson
      Pages 129-133
  4. Methods

    1. Front Matter
      Pages 135-135
    2. Andrew Gravell
      Pages 137-150
    3. Silvio Lemos Meira, Ana Lúcia C. Cavalcanti
      Pages 173-192
    4. P. J. Whysall, J. A. McDermid
      Pages 193-215
    5. Gill Randell
      Pages 216-227
    6. Lesley Semmens, Pat Allen
      Pages 228-253
    7. Jonathan D. Moffett, Morris S. Sloman
      Pages 254-268

About these proceedings

Keywords

Programmierung, Objektorientierte Simula Softwareentwicklung Variable concurrency design development formal methods formal specification object programming semantics simulation software standards

Editors and affiliations

  • J. E. Nicholls
    • 1
  1. 1.Programming Research GroupOxford University Computing LaboratoryOxfordUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3540-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19672-3
  • Online ISBN 978-1-4471-3540-1
  • Series Print ISSN 1431-1682
  • About this book