The University of Southampton

Ahmed Al-Brashdi

Postgraduate research student



BSc Software Development, College of Applied Science - Sur, Oman

Master of Information Technology - Software Engineering, The University of Sydney, Australia

MSc Computer Science, University of Southampton, UK


Al-Brashdi, Ahmed (2016) Model-based database design , 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 , Japan. 14 - 16 Nov 2016. 7 pp.

Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Incremental database design using UML-B and Event-B At 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, Xi'an, China. 16 Nov 2017. 13 pp.


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.