Welcome To UTPedia

We would like to introduce you, the new knowledge repository product called UTPedia. The UTP Electronic and Digital Intellectual Asset. It stores digitized version of thesis, final year project reports and past year examination questions.

Browse content of UTPedia using Year, Subject, Department and Author and Search for required document using Searching facilities included in UTPedia. UTPedia with full text are accessible for all registered users, whereas only the physical information and metadata can be retrieved by public users. UTPedia collaborating and connecting peoples with university’s intellectual works from anywhere.

Disclaimer - Universiti Teknologi PETRONAS shall not be liable for any loss or damage caused by the usage of any information obtained from this web site.Best viewed using Mozilla Firefox 3 or IE 7 with resolution 1024 x 768.

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

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

[img] 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)
Academic Subject : Academic Department - Information Communication Technology
Subject: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Sciences and Information Technology > Computer and Information Sciences
Depositing User: Ahmad Suhairi Mohamed Lazim
Date Deposited: 18 Sep 2021 21:14
Last Modified: 18 Sep 2021 21:14
URI: http://utpedia.utp.edu.my/id/eprint/21451

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...