Misbah Mehboob Awan

According to our database, Misbah Mehboob Awan authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation.

Misbah Mehboob Awan, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam

Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

Investigation of Latest CASE Tools for Database Engineering: A Systematic Literature Review.

Nazish Yousaf, Madeha Arif, Misbah Mehboob Awan, Wasi Haider Butt

Proceedings of the International Conference on Frontiers of Information Technology, 2022

2020

Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation.

Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed

Proceedings of the ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, 2020