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

Main Author: ALIYU, ZIYAULHAQ
Format: Thesis
Language: English
Institution: Universiti Teknologi Petronas
Record Id / ISBN-0: utp-utpedia.21451 /
Published: 2015
Subjects:
QA75 Electronic computers. Computer science
Online Access: http://utpedia.utp.edu.my/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/21451/
Tags: Add Tag
No Tags, Be the first to tag this record!
id utp-utpedia.21451
recordtype eprints
spelling utp-utpedia.214512021-09-18T21:14:41Z http://utpedia.utp.edu.my/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. 2015-03 Thesis NonPeerReviewed application/pdf en http://utpedia.utp.edu.my/21451/1/2015-COMPUTER%20AND%20INFORMATION-USABILITY%20EVALUATION%20OF%20IMCAT%20%28INDIRECT%20MODEL%20CHECKING%20APPROACH%20FOR%20TRANSFORMATION-ZIYAULHAQ%20ALIYU.pdf ALIYU, ZIYAULHAQ (2015) USABILTY EVALUATION OF IMCAT (INDIRECT MODEL CHECKING APPROACH FOR TRANSFORMATION). Masters thesis, Universiti Teknologi PETRONAS.
institution Universiti Teknologi Petronas
collection UTPedia
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_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 2015
url http://utpedia.utp.edu.my/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/21451/
_version_ 1741195745643462656
score 11.62408

Similar Items