PVS metamodel

by Ab Rahim, Lukman
Published 2009

Mapping from OCL/UML metamodel to PVS metamodel

by Ab Rahim, Lukman
Published 2008

Evaluating different processes of translating OCL to PVS using model transformation

by Ab Rahim, Lukman
Published 2008

Identifying state space reduction techniques from behavioural design patterns

by Ab Rahim, Lukman, Whittle, Jon
Published 2011

Proposed Design Notation for Model Transformation

by Ab Rahim, Lukman, Mansoor, S.B.R.S.
Published 2008

An analysis of educational games design frameworks from software engineering perspective

by Ahmad, Mifrah, Ab Rahim, Lukman, Arshad, Noreen Izza
Published 2015

Usability Evaluation of the Agile Software Process

by Wan Ahmad, Wan Fatimah, massod, saad, Ab Rahim, Lukman
Published 2013

XMLTemplate: framework that minimizes the number of software components

by Ab Rahim, Lukman, Taib, Shakirah Mohd, Shazi, Ainol Rahmah
Published 2007

Designing an automated staff and organization performance appraisal system: a web-based approach

by Ab Rahim, Lukman, Zainal Abidin, Ahmad Izzuddin, Shazi, Ainol Rahmah
Published 2007

Designing An Automated Staff & Organization Performance Appraisal System: A Web-Based Approach

by Ab Rahim, Lukman, Shazi, Ainol Rahmah, Zainal Abidin, Ahmad Izuddin
Published 2007

Asset Management System: Supporting Organization in Achieving Process Maturity

by Mazlan, Eliza Mazmee, Ab Rahim, Lukman, Shazi, Ainol R, Mazlan, W.M.M.W.
Published 2009

In-Car Maintenance System: An Integrated Vehicle Information System

by Mazlan, Eliza Mazmee, Mohamad Nasir, Faizal, Ab Rahim, Lukman, Kasbon, Rozana, Mahamad, Saipunidzam, Ahmad , Jale
Published 2008