The University of Southampton

Publications

Al-Brashdi, Ahmed (2016) Model-based database design. Formal Methods 2016 Doctoral Symposium, Cyprus. 07 - 11 Nov 2016. 6 pp . (In Press)

Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B. Ogata, K, Lawford, M and Liu, S (eds.) In Formal Methods and Software Engineering: ICFEM 2016. vol. 10009, Springer. pp. 210-225 . (doi:10.1007/978-3-319-47846-3_14).

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) Incremental database design using UML-B and Event-B. 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, Xi'an, China. 16 Nov 2017. pp. 34-47 . (doi:10.4204/EPTCS.271.3).

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) UB2DB Rodin plug-in for automated database code generation. 7th Rodin Workshop, Southampton, United Kingdom. 05 Jun 2018. pp. 1-2 .

Share this profile FacebookTwitterWeibo