Jean-Raymond Abrial (2010):
Modeling in Event-B: system and software engineering.
Cambridge University Press,
doi:10.1017/CBO9781139195881.
Jean-Raymond Abrial & Jean-Raymond Abrial (2005):
The B-book: assigning programs to meanings.
Cambridge University Press.
Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
International journal on software tools for technology transfer 12(6),
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
Jean-Raymond Abrial & Stefan Hallerstede (2007):
Refinement, decomposition, and instantiation of discrete models: Application to Event-B.
Fundamenta Informaticae 77(1-2),
pp. 1–28.
Ahmed Al-Brashdi (2015):
Translating Event-B to Database Application.
University of Southampton.
Ahmed Al-Brashdi (2017):
Case studies.
http://users.ecs.soton.ac.uk/azab1g14/CaseStudies/.
[Online; accessed 24-August-2017].
Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh & Colin Snook (2016):
Tool support for model-based database design with Event-B.
In: FM&MDD Workshop at ICFEM 2016,
pp. 1–7.
Roberto Souto Maior Barros (1998):
On the formal specification and derivation of relational database applications.
Electronic Notes in Theoretical Computer Science 14,
pp. 3–29,
doi:10.1016/S1571-0661(05)80226-9.
Michael Butler (2013):
Mastering System Analysis and Design through Abstraction and Refinement.
In: Engineering Dependable Software Systems.
IOS Press,
pp. 49–78,
doi:10.3233/978-1-61499-207-3-49.
Edgar F Codd (1970):
A relational model of data for large shared data banks.
Communications of the ACM 13(6),
pp. 377–387,
doi:10.1145/362384.362685.
Thomas M Connolly & Carolyn E Begg (2005):
Database systems: a practical approach to design, implementation, and management.
Pearson Education.
Jim Davies, Charles Crichton, Edward Crichton, David Neilson & Ib Holm Sørensen (2005):
Formality, evolution, and model-driven software engineering.
Electronic Notes in Theoretical Computer Science 130,
pp. 39–55,
doi:10.1016/j.entcs.2005.03.004.
Jim Davies, James Welch, Alessandra Cavarra & Edward Crichton (2006):
On the generation of object databases using Booster.
In: Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on.
IEEE,
pp. 10–pp,
doi:10.1109/ICECCS.2006.65.
Cliff B Jones (1990):
Systematic software development using VDM 2.
Citeseer.
Saeed Khalafinejad & Seyed-Hassan Mirian-Hosseinabadi (2013):
Translation of Z specifications to executable code: Application to the database domain.
Information and Software Technology 55(6),
pp. 1017–1044,
doi:10.1016/j.infsof.2012.12.007.
Amel Mammar & Régine Laleau (2006):
From a B formal specification to an executable code: application to the relational database domain.
Information and Software Technology 48(4),
pp. 253–279,
doi:10.1016/j.infsof.2005.05.002.
Rudi Schlatte & Bernhard K Aichernig (1999):
Database development of a work-flow planning and tracking system using VDM-SL.
In: Workshop Materials: VDM in Practice,
pp. 109–125.
Colin Snook & Michael Butler (2008):
UML-B and Event-B: An Integration of Languages and Tools.
In: Proceedings of the IASTED International Conference on Software Engineering,
SE '08.
ACTA Press,
Anaheim, CA, USA,
pp. 336–341.
J Michael Spivey & JR Abrial (1992):
The Z notation.
Prentice Hall Hemel Hempstead.
Qi Wang & Tim Wahls (2014):
Translating Event-B machines to database applications.
In: Software Engineering and Formal Methods.
Springer,
pp. 265–270,
doi:10.1007/978-3-319-10431-7_19.
Jos Warmer & Anneke Kleppe (1999):
The Object Constraint Language: Precise Modeling with UML.
Addison-Wesley Longman Publishing Co., Inc.,
Boston, MA, USA.
eptcs@eptcs.org