Advisor Dr. Farooque Azam

TH-SOF-1576-Formal Verification Approach to Verify System Designs by Utilizing Model Driven Software Engineering (MDSE) Aamir Naeem 2018 TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets Faleeha Moin Shaikh 2018 TH-SOF-1580-Implementation of SMART on FHIR in developing countries through SFPBRF ABRAR AHMAD 2018 TH-SOF-1582-A Model Driven Reverse Engineering Framework for Generating High Level UML Models from Java Source Code Umair Sabir 2018 TH-SOF-1593-A Novel Framework to Generate Business Process Model and Notation (BPMN) Models for Real-time Systems from Plain Text Requirements Bilal Maqbool 2018