
Staff Information
Azma Abdullah
Lecturer
09-5492473
azma@ump.edu.my
Software Engineering Research Group (SERG)
Requirement Engineering, Safety Critical Systems
-
B1-02-04
Research
-
Principal Research
RDU170306 Requirement Specifications Approach based on Safety Properties for Hazard Free Functional Design.
Co-Researcher
RDU170101 Temporal Logic based Formal Metamodel for Safety Modelling, Validation and Verification of Hybrid Software Systems
RDU170102 An Automated Model of Process for Developing and Testing A Dependable Component-Based Software.
RDU170318 Smart Recommender System for Open Academic Registration for UMP Students.
RDU170306 Requirement Specifications Approach based on Safety Properties for Hazard Free Functional Design.
Co-Researcher
RDU170101 Temporal Logic based Formal Metamodel for Safety Modelling, Validation and Verification of Hybrid Software Systems
RDU170102 An Automated Model of Process for Developing and Testing A Dependable Component-Based Software.
RDU170318 Smart Recommender System for Open Academic Registration for UMP Students.
Principal Research RDU130345 A New Framework on Safety Analysis and Verification for Safety-Critical Systems
Publications
-
-
-
-
-
-
Others
-
-
-
-