Jean-Raymond Abrial
2010
Modeling in Event-B: system and software engineering
Cambridge University Press
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
447–466
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
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
FM&MDD Workshop at ICFEM 2016
1–7
Roberto Souto Maior Barros
1998
On the formal specification and derivation of relational database applications
Electronic Notes in Theoretical Computer Science
14
3–29
10.1016/S1571-0661(05)80226-9
Michael Butler
2013
Mastering System Analysis and Design through Abstraction and Refinement
Engineering Dependable Software Systems
IOS Press
49–78
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
377–387
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
39–55
10.1016/j.entcs.2005.03.004
Jim Davies
James Welch
Alessandra Cavarra
Edward Crichton
2006
On the generation of object databases using Booster
Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on
IEEE
10–pp
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
1017–1044
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
253–279
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
Workshop Materials: VDM in Practice
109–125
Colin Snook
Michael Butler
2008
UML-B and Event-B: An Integration of Languages and Tools
Proceedings of the IASTED International Conference on Software Engineering
SE '08
ACTA Press
Anaheim, CA, USA
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
Software Engineering and Formal Methods
Springer
265–270
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