The University of Southampton
Email:
azab1g14@ecs.soton.ac.uk

Ahmed Al-Brashdi

Postgraduate research student

Professional

Qualifications

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

Publications

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

Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B At Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systemsc at ICFEM 2016, 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.

Contact

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.

×