USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)

ALIYU, ZIYAULHAQ (2016) USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION). Masters thesis, Universiti Teknologi PETRONAS.

[thumbnail of 2015-COMPUTER AND INFORMATION-USABILITY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION-ZIYAULHAQ ALIYU.pdf] PDF
2015-COMPUTER AND INFORMATION-USABILITY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION-ZIYAULHAQ ALIYU.pdf
Restricted to Registered users only

Download (6MB)

Abstract

Indirect Mode Checking Approach for Transformation (IMCAT) was developed
by one of the researchers at the Universiti Teknologi PETRONAS (UTP). It is the
first verification approach that can verify Code Generator (a tool that transforms
software model in to a code) where the person in charge of the verification does not
have the transformation rules (source code) which enables IMCAT to verify different
commercial CG. Usability evaluation is performed in order to identify the usability
problem of an application/approach and provide suggestion to those problems for
improvement. An application/approach is considered "usable" if it is easy to learn
(learnability), easy to implement (efficiency) andbehaves as expected (effectiveness).
IMCAT's developers focus on its features rather than its usability.

Item Type: Thesis (Masters)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments / MOR / COE: Sciences and Information Technology > Computer and Information Sciences
Depositing User: Mr Ahmad Suhairi Mohamed Lazim
Date Deposited: 18 Sep 2021 21:14
Last Modified: 24 Jul 2024 07:30
URI: http://utpedia.utp.edu.my/id/eprint/21451

Actions (login required)

View Item
View Item