Cover Image

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

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 th...

Full description

Saved in:
Bibliographic Details
Main Author: ALIYU, ZIYAULHAQ
Format: Thesis
Language:English
Published: 2016
Subjects:
QA75 Electronic computers. Computer science
Online Access:http://utpedia.utp.edu.my/id/eprint/21451/1/2015-COMPUTER%20AND%20INFORMATION-USABILITY%20EVALUATION%20OF%20IMCAT%20%28INDIRECT%20MODEL%20CHECKING%20APPROACH%20FOR%20TRANSFORMATION-ZIYAULHAQ%20ALIYU.pdf
http://utpedia.utp.edu.my/id/eprint/21451/
Tags: Add Tag
No Tags, Be the first to tag this record!
id oai:utpedia.utp.edu.my:21451
record_format eprints
spelling oai:utpedia.utp.edu.my:214512024-07-24T07:30:17Z http://utpedia.utp.edu.my/id/eprint/21451/ USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION) ALIYU, ZIYAULHAQ QA75 Electronic computers. Computer science 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. 2016-03 Thesis NonPeerReviewed application/pdf en http://utpedia.utp.edu.my/id/eprint/21451/1/2015-COMPUTER%20AND%20INFORMATION-USABILITY%20EVALUATION%20OF%20IMCAT%20%28INDIRECT%20MODEL%20CHECKING%20APPROACH%20FOR%20TRANSFORMATION-ZIYAULHAQ%20ALIYU.pdf ALIYU, ZIYAULHAQ (2016) USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION). Masters thesis, Universiti Teknologi PETRONAS.
institution Universiti Teknologi Petronas
building UTP Resource Centre
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Petronas
content_source UTP Electronic and Digitized Intellectual Asset
url_provider http://utpedia.utp.edu.my/
language English
topic QA75 Electronic computers. Computer science
spellingShingle QA75 Electronic computers. Computer science
ALIYU, ZIYAULHAQ
USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)
description 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.
format Thesis
author ALIYU, ZIYAULHAQ
author_facet ALIYU, ZIYAULHAQ
author_sort ALIYU, ZIYAULHAQ
title USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)
title_short USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)
title_full USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)
title_fullStr USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)
title_full_unstemmed USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION)
title_sort usabilty evaluation of imcat (indirect model checking approach for transformation)
publishDate 2016
url http://utpedia.utp.edu.my/id/eprint/21451/1/2015-COMPUTER%20AND%20INFORMATION-USABILITY%20EVALUATION%20OF%20IMCAT%20%28INDIRECT%20MODEL%20CHECKING%20APPROACH%20FOR%20TRANSFORMATION-ZIYAULHAQ%20ALIYU.pdf
http://utpedia.utp.edu.my/id/eprint/21451/
_version_ 1805891032860065792
score 13.223943

Similar Items