A combine usability framework for IMCAT evaluation
Model transformation (MT) is a key component of model driven software development. It is used to transform source model into a target model, to increase model quality and introduce design pattern and refactoring. As with other software development artifacts, MTs are not free from bugs and thus they...
Saved in:
Main Authors: | , , |
---|---|
Format: | Conference or Workshop Item |
Published: |
Institute of Electrical and Electronics Engineers Inc.
2014
|
Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84938769726&doi=10.1109%2fICCOINS.2014.6868449&partnerID=40&md5=0f7a8924800f377d3ed431a22c1b8c0d http://eprints.utp.edu.my/31240/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.utp.eprints.31240 |
---|---|
record_format |
eprints |
spelling |
my.utp.eprints.312402022-03-25T09:03:45Z A combine usability framework for IMCAT evaluation Aliyu, Z. Rahim, L.A. Mustapha, E.E. Model transformation (MT) is a key component of model driven software development. It is used to transform source model into a target model, to increase model quality and introduce design pattern and refactoring. As with other software development artifacts, MTs are not free from bugs and thus they must be verified. Various researches have been carried out on model transformation verification approaches, but no one has evaluated their usability. Indirect model checking approach for transformation (IMCAT) is an approach that can verify code generators by model checking the generated code. In this paper a combine usability model to evaluate IMCAT usability related to its learnability, efficiency and effectiveness will be presented. © 2014 IEEE. Institute of Electrical and Electronics Engineers Inc. 2014 Conference or Workshop Item NonPeerReviewed https://www.scopus.com/inward/record.uri?eid=2-s2.0-84938769726&doi=10.1109%2fICCOINS.2014.6868449&partnerID=40&md5=0f7a8924800f377d3ed431a22c1b8c0d Aliyu, Z. and Rahim, L.A. and Mustapha, E.E. (2014) A combine usability framework for IMCAT evaluation. In: UNSPECIFIED. http://eprints.utp.edu.my/31240/ |
institution |
Universiti Teknologi Petronas |
building |
UTP Resource Centre |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Teknologi Petronas |
content_source |
UTP Institutional Repository |
url_provider |
http://eprints.utp.edu.my/ |
description |
Model transformation (MT) is a key component of model driven software development. It is used to transform source model into a target model, to increase model quality and introduce design pattern and refactoring. As with other software development artifacts, MTs are not free from bugs and thus they must be verified. Various researches have been carried out on model transformation verification approaches, but no one has evaluated their usability. Indirect model checking approach for transformation (IMCAT) is an approach that can verify code generators by model checking the generated code. In this paper a combine usability model to evaluate IMCAT usability related to its learnability, efficiency and effectiveness will be presented. © 2014 IEEE. |
format |
Conference or Workshop Item |
author |
Aliyu, Z. Rahim, L.A. Mustapha, E.E. |
spellingShingle |
Aliyu, Z. Rahim, L.A. Mustapha, E.E. A combine usability framework for IMCAT evaluation |
author_facet |
Aliyu, Z. Rahim, L.A. Mustapha, E.E. |
author_sort |
Aliyu, Z. |
title |
A combine usability framework for IMCAT evaluation |
title_short |
A combine usability framework for IMCAT evaluation |
title_full |
A combine usability framework for IMCAT evaluation |
title_fullStr |
A combine usability framework for IMCAT evaluation |
title_full_unstemmed |
A combine usability framework for IMCAT evaluation |
title_sort |
combine usability framework for imcat evaluation |
publisher |
Institute of Electrical and Electronics Engineers Inc. |
publishDate |
2014 |
url |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84938769726&doi=10.1109%2fICCOINS.2014.6868449&partnerID=40&md5=0f7a8924800f377d3ed431a22c1b8c0d http://eprints.utp.edu.my/31240/ |
_version_ |
1738657220066803712 |
score |
13.18916 |