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

Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed. Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. In ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, Cairo, Egypt, November, 2020. pages 61-66, ACM, 2020. [doi]

Authors

Misbah Mehboob Awan

This author has not been identified. Look up 'Misbah Mehboob Awan' in Google

Farooque Azam

This author has not been identified. Look up 'Farooque Azam' in Google

Muhammad Waseem Anwar

This author has not been identified. Look up 'Muhammad Waseem Anwar' in Google

Yawar Rasheed

This author has not been identified. Look up 'Yawar Rasheed' in Google