Publications

Journals
  1. Lukman Ab. Rahim, Ainol Rahmah Shazi, Ahmad Izzudin Abidin. Designing An Automated Staff & Organization Performance Appraisal System: A Web-Based Approach, Platform Vol. 5 No. 2, Universiti Teknologi PETRONAS, 2007
  2. Lukman Ab. Rahim, Jon Whittle. A Survey of Model Transformation Verification, Software and System Modelling, 2013.
Conference Proceedings
  1. Mohammed Abdalla Osman Mukhtar, Mohd Fadzil B Hassan, Jafreezal Bin Jaafar, Lukman Ab. Rahim. Enhanced approach for developing web applications using model driven architecture, International Conference on Research and Innovation in Information Systems, 2013.
  2. Wan Fatimah Wan Ahmad, Saad Masood Butt, Lukman Rahim. Usability Evaluation of the Agile Software Process, Proceedings of Advances in Visual Informatics, 2013. 
  3. Lukman Ab. Rahim and Jon Whittle. Identifying State Space Reduction Techniques from Behavioural Design Patterns, 3rd Workshop on Behavioural Modelling-Foundation and Application, 2011.
  4. Lukman Ab. Rahim and Jon Whittle. Verifying Semantic Conformance of State Machine-to-Java Code Generators, 13th International Conference in Model Driven Engineering, Languages and Systems, 2010.
  5. Lukman Ab. Rahim. PVS Metamodel, Proceedings of the 8th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems, 2009.
  6. EM Mazlan, L. Ab Rahim, A.R. Shazi. Asset Management System: Supporting Organization in Achieving Process Maturity, International Conference of Computing in Engineering, Science and Information, 2009.
  7. Mazlan, Eliza Mazmee and Mohamad Nasir, Faizal and Ab Rahim, Lukman and Kasbon, Rozana and Mahamad, Saipunidzam and Ahmad , Jale (2008) In-Car Maintenance System: An Integrated Vehicle Information System. In: The 4th International Conference on Information Technology and Multimedia (ICIMU’ 2008), 17-19 November 2008, UNITEN, Malaysia.
  8. Lukman Ab. Rahim. Mapping From OCL-UML Metamodel to PVS Metamodel, Proceedings of International Symposium On Information Technology 2008 (ITSIM’08), Vol. 1, IEEE, Kuala Lumpur, 2008, page 474
  9. Lukman Ab. Rahim. Evaluating Different Processes of Translating OCL to PVS using Model Transformation, Proceedings of International Symposium On Information Technology 2008 (ITSIM’08), Vol. 3, IEEE, Kuala Lumpur, 2008, page 1716.
  10. Lukman Ab. Rahim, Sharifah Bahiyah Rahayu Syed Mansoor, Proposed Design Notation for Model Transformation, Proceedings of 19th Australian Software Engineering Conference (ASWEC’08), IEEE, Perth, 2008, page 589.
  11. Lukman Ab. Rahim, Ahmad I.Z. Abidin, Ainol R. Shazi, Designing An Automated Staff & Organization Performance Appraisal System: A Web-Based Approach, Proceedings of the 25th Conference on IASTED International Multi-Conference: Software Engineering, 2007.
  12. XMLTemplate: Framework that minimizes the number of software components, 3rd IASTED International Conference on Advances in Computer Science and Technology, 2007.
Labels: