Skip to main content
SpringerLink
Log in

Reconciling Axiomatic and Model-Based Specifications Reprised

  • Conference paper
Book cover Abstract State Machines, B and Z (ABZ 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5238))

Included in the following conference series:

Abstract

This paper is a reprise of a paper presented at ZB2000 that attempted to reconcile the worlds of model-based and axiomatic specification. The new paper uses the same problem, but treats it very differently in Event B. The development also serves as a short tutorial example in Event B.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

    MATH  Google Scholar 

  2. Abrial, J.-R.: \({B}^\sharp\): Towards a Synthesis between Z and B. In: ZB 2003: Formal Specification and Development in Z and B, pp. 168–177 (2003)

    Google Scholar 

  3. B-Core(UK) Ltd., Oxford Science Park, Oxford UK. B-Toolkit, release 3.0 edition (1996)

    Google Scholar 

  4. P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.): B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878. Springer, Heidelberg (2000)

    Google Scholar 

  5. Romanovsky, A., et al.: RODIN: Rigorous Open Development Environment for Complex Systems. Technical report, University of Newcastle upon Tyne, UK (2004–2007), http://www.rodin.cs.ncl.ac.uk

  6. Robinson, K.: Reconciling Axiomatic and Model-Based Specifications Using the B Method. In: Bowen, J.P., et al. (eds.) [4], pp. 95–106 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science & Engineering, The University of New South Wales, Sydney, NSW 2052, Australia

    Ken Robinson

  2. National ICT, Australia

    Ken Robinson

Authors
  1. Ken Robinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Michael Butler Jonathan P. Bowen Paul Boca

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Robinson, K. (2008). Reconciling Axiomatic and Model-Based Specifications Reprised. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds) Abstract State Machines, B and Z. ABZ 2008. Lecture Notes in Computer Science, vol 5238. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87603-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87603-8_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87602-1

  • Online ISBN: 978-3-540-87603-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation