Information Technology Reference
In-Depth Information
[5] Abrial, J.-R., Butler, M., Hallerstede, S.: Rodin: An Open Toolset for Modelling
and Reasoning in Event-B. International Journal on Software Tools for Technology
Transfer, STTT (2010)
[6] Abrial, J.-R.: Refinement, Decomposition and Instantiation of Discrete Models.
In: Abstract State Machines, pp. 17-40 (2005)
[7] Butler, M.: Decomposition Structures for Event-B. In: Leuschel, M., Wehrheim,
H. (eds.) IFM 2009. LNCS, vol. 5423, Springer, Heidelberg (2009)
[8] Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University
Press, New York (1996)
[9] Back, R.-J., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM
Trans. Program. Lang. Syst. 10(4), 513-554 (1988)
[10] Hallerstede, S.: Justifications for the Event-B Modelling Notation. In: Julliand, J.,
Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 49-63. Springer, Heidelberg
(2006)
[11] Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-
Hall, Englewood Cliffs (1996)
[12] Zave, P., Cheung, E.: Compositional Control of IP Media. IEEE Trans. Software
Eng. 35(1), 46-66 (2009)
[13] Jackson, M.A.: System Development. Prentice-Hall, Englewood Cliffs (1983)
 
Search WWH ::




Custom Search