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...
| Main Author: | ALIYU, ZIYAULHAQ |
|---|---|
| Format: | Thesis |
| Language: | English |
| Institution: | Universiti Teknologi Petronas |
| Record Id / ISBN-0: | utp-utpedia.21451 / |
| Published: |
2015
|
| Subjects: | |
| 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!
|