Abstract
The very first paper on Z [1] was published in 1980 (at the time, the name Z was not “invented”), then the book on the B method [2] was published in 1996, and, finally, the book on Event-B [3] was published in 2010. So, 30 years separate Z from Event-B. It is thus clear that I spent a significant time of my scientific professional life working with the same kind of subject in mind, roughly speaking specification languages. I do not know whether this kind of addiction is good or bad, but what I know is that I enjoyed it a lot.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R., Schuman, S.A., Meyer, B.: Specification Language. On the Construction of Programs (1980)
Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press (1996)
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)
Abrial, J.-R., Su, W., Zhu, H.: Formalizing Hybrid Systems with Event-B. ABZ (2012)
Back, R.J., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transaction on Programming Languages and Systems (1988)
Back, R.J.: A Calculus of Refinements for Program Derivations. Acta Informatica (1988)
Back, R.-J., Petre, L., Porres, I.: Generalizing action systems to hybrid systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, p. 202. Springer, Heidelberg (2000)
Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. CACM (1969)
Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Informatica (1972)
Jones, C.B.: Software Development: A Rigorous Approach. Prentice Hall International (1980)
Morgan, C.C.: Programming from specifications. Prentice Hall International (1990)
Bourbaki, N.: Théorie des Ensembles. Hermann (1970)
Maamria, I.: Towards a Practically Extensible Event-B Methodology. PhD Thesis. The University of Southampton (2012)
Banach, R., Zhu, H., Su, W., Wu, X.: Continuous Behaviour in Event-B: A Sketch. ABZ (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abrial, JR. (2013). From Z to B and then Event-B: Assigning Proofs to Meaningful Programs. In: Johnsen, E.B., Petre, L. (eds) Integrated Formal Methods. IFM 2013. Lecture Notes in Computer Science, vol 7940. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38613-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-38613-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38612-1
Online ISBN: 978-3-642-38613-8
eBook Packages: Computer ScienceComputer Science (R0)