eprintid: 4272
rev_number: 2
eprint_status: archive
userid: 1
dir: disk0/00/00/42/72
datestamp: 2023-11-09 16:15:56
lastmod: 2023-11-09 16:15:56
status_changed: 2023-11-09 15:58:04
type: conference_item
metadata_visibility: show
creators_name: Aliyu, Z.
creators_name: Rahim, L.A.
creators_name: Mustapha, E.E.
title: A combine usability framework for IMCAT evaluation
ispublished: pub
keywords: Program debugging; Software design; Usability engineering, Design Patterns; Model qualities; Model transformation; Model transformation verifications; Model-driven Engineering; Model-Driven Software Development; Usability; Usability modeling, Model checking
note: cited By 1; Conference of 2014 International Conference on Computer and Information Sciences, ICCOINS 2014 ; Conference Date: 3 June 2014 Through 5 June 2014; Conference Code:112912
abstract: 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.
date: 2014
publisher: Institute of Electrical and Electronics Engineers Inc.
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-84938769726&doi=10.1109%2fICCOINS.2014.6868449&partnerID=40&md5=0f7a8924800f377d3ed431a22c1b8c0d
id_number: 10.1109/ICCOINS.2014.6868449
full_text_status: none
publication: 2014 International Conference on Computer and Information Sciences, ICCOINS 2014 - A Conference of World Engineering, Science and Technology Congress, ESTCON 2014 - Proceedings
refereed: TRUE
isbn: 9781479943913
citation:   Aliyu, Z. and Rahim, L.A. and Mustapha, E.E.  (2014) A combine usability framework for IMCAT evaluation.  In: UNSPECIFIED.