Tuesday, 18 Dec 2018
  • default style
  • blue style
  • green style
  • red style
  • orange style
Contact Info

Head of Department

 

Faculty of Computer Science & Information Technology,

Universiti Malaysia Sarawak,

94300 Kota Samarahan,

Sarawak, Malaysia.

 

 

Phone                :  +6082583652

Fax                     :  +6082583764

Room Location  :   1K, 1st Floor, Block B.

 

Biodata

Azman Bujang Masli is currently a  Lecturer at the Faculty of Computer Science and Information Technology, Universiti Malaysia Sarawak (UNIMAS). His research interest is in Formal Specification of Software System, particularly in Specification Refinement and Temporal Property Preservation.

Qualifications

·         :: PhD. in Software Engineering, University of Sheffield (2011)

:: Master of Software Engineering, University of South Australia (2001)

:: Bachelor of Computer Science, Universiti Pertanian Malaysia (1996)

Current Research Activities

·         :: Project: Formal Fuzzy-Based Approach to Model the Abstract Values of Beliefs to the Consequences, Researchers: Edwin Mit (Leader), Cheah Wai Shiang, Abdul Rahman Mat, Azman Bujang Masli, Funding FRGS, RM61K, FRGS/02(30)/838/2012(78) (Jul 2012-Jul 2014).

 

:: Initiative for e-Commerce Capacity-Building of Penans in Long Lamai Sarawak, AP Dr Alvin YW (leader), Loh Chee Wai, Tariq Zaman, (co researchers: Edwin Mit, Azman Bujang Masli, Cheah Wai

:: Refinement in Integrated Formal Specification

:: Formal Fuzzy-Based Approach to Model the Abstract Values of Beliefs to the Consequences

Recent Publications

·        :: Mat, A.R. and Masli, A.B. and Burhan, N.H. and Liu, S., “SRA Tool: SOFL-Based Requirements Analysis Tool”, The 9th International Conference on Computing and InformationTechnology (IC2IT2013), Advances in Intelligent Systems and Computing Volume 209, 2013, pp 217-226.

 

:: A. Bujang Masli, A. R. Mat, S. K. Jali, and N. H. Borhan, “Temporal Property Preservation Under Z Refinement in CSP-OZ Specifications,” in 2012 International Conference on Computer and Information Sciences (ICCIS2012), Kuala Lumpur, Malaysia, June. 2012.

:: A. R. Mat,  A. Bujang Masli,“SOFL-based Approach for Requirements Analysis of Brain Tumor Treatment System,” in 2012 International Conference on Computer and Information Sciences (ICCIS2012), Kuala Lumpur, Malaysia, June. 2012.

:: Masli, A. B., Jali, S. K., Borhan, N. H. (2011). Systems’ Property Preservation Under Z Refinement: An application to the OZ part of CSP-OZ specifications. The 5th Malaysian Conference in Software Engineering (MySEC2011). Accepted.

:: Masli, A. B., Mit, E., Shiang, C. W. (2011). Applying Refinement to Integrated Formal Specifications: An Analysis of CSP-OZ Specifications. The 5th Malaysian Conference in Software Engineering (MySEC2011). Accepted.

:: Masli, A. B., Mit, E., Borhan, N. H. (2011). Refinement in Integrated Formal Specifications. The 2nd International Conference on Software Engineering and Computer Systems. Universiti Malaysia Pahang, Malaysia. Accepted.

:: W. S. Cheah, E. Mit and A. B. Masli, “Evaluating Complexity of Task Knowledge Patterns through Reusability Assessment”, International Journal of New Computer Architectures and their Applications (IJNCAA), Vol. 3, No. 1. (2011).

:: Yeo, A. W., Azman B. M., Ong, S.C., Songan, P., Gnaniah, J, Khairuddin A.H., and Bala, P. 2006. Lessons Learnt in the Development of Applications for Remote Communities. Localisation Focus.

:: Azman Bujang Masli and Dayang Hanani Ibrahim (2005),”Designing A General Framework of Decision Support System for Knowledge Management in Knowledge World Modeling”, International Conference on Knowledge Management 2005, 7 – 9 July 2005, Kuala Lumpur, Malaysia.

:: Azman Bujang Masli and Johari Abdullah (2005),"The Preliminary Study of Open Source Software Re-Engineering: An Experience Report", presented at Software Engineering Symposium 2005, 30 April 2005, INTI College Malaysia, Nilai NS.

:: Rosziati Ibrahim and Azman Bujang Masli (2005),"Research Trend in Software Engineering – UNIMAS Experience", presented at Software Engineering Symposium 2005, 30 April 2005, INTI College Malaysia, Nilai NS.

:: Azman Bujang Masli (2003), "A Software Tool for Reducing Web Navigation Problems", In The 3rd International Conference on Advances in Strategic Technologies (ICAST2003), 12-14 August 2003, Kuala Lumpur, PP. 627-632.

 

Consultancy Work

Will be updated soon.

Other Responsibilities

Administrative Duties and other responsibilities

:: Member of FCSIT Research and Conference Committee (2012 - 2014)

:: Member of FCSIT Postgraduate Committee (2012 - 2014)

:: Member of CITA'11 Programme Committee

:: Member of CITA’11 Reviewers committee

:: Member of the Unimas Arkib Committee (2011 – 2013)

:: Member of FIT Academic Board (2003 - 2006)

:: Member of FIT Undergraduates Committee (2003 - 2006)

:: Member of Technical Committee for (IAS) Conference, September 2003.

:: Head of Computing & Software Engineering Department (Mac 2013- Feb 2015)

:: Head of Software Engineering Programme (2005-2007)

:: Head of Software Engineering Programme (2002-2004)

:: Coordinator for MSc in Comp. Sc. of FCSIT, UNIMAS (2012 – 2014)

:: Co-chair of CITA’05

:: Chair of Publicity Committee for CITA’05 2005

Postgraduate Advicees

Potential students are welcome to do research in the area of Formal Methods. This includes:

:: Z refinement

:: Integrated specification refinement

:: Temporal property under refinement

:: Process algebra (CSP) and Z refinement

:: Object-Z and Z refinement

Examination of student theses

Postgraduate Level

:: Using LSA for Automated Grading of Computer Programming Assignment (2011)

Undergraduate Level

:: Examined a number of final year student project reports for every session. 

Awards

Will be updated soon.

   

 
 
Azman Bujang Masli