Ahmed Al-Brashdi

According to our database, Ahmed Al-Brashdi authored at least 2 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Incremental and rigorous database design and code generation using UML-B and event-B

Ahmed Al-Brashdi

PhD thesis, 2020

2017

Incremental Database Design using UML-B and Event-B.

Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017