Misbah Mehboob Awan

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Temporal Properties

Provably Correct

Software Engineering

Top Venues

Publications

Misbah Mehboob Awan, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam
Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation. SoSE (2022)
Nazish Yousaf, Madeha Arif, Misbah Mehboob Awan, Wasi Haider Butt
Investigation of Latest CASE Tools for Database Engineering: A Systematic Literature Review. FIT (2022)
Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed
Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. ICSIE (2020)