From Z to B and then Event-B: Assigning Proofs to Meaningful Programs

  • Jean-Raymond Abrial
Conference paper

DOI: 10.1007/978-3-642-38613-8_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7940)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Jean-Raymond Abrial
    • 1
  1. 1.MarseilleFrance

Personalised recommendations