Towards automated formal analysis of model transformation specifications /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
2013.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01191cam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | u1014363 | ||
| 003 | SIRSI | ||
| 005 | 201505111022 | ||
| 008 | 150511s2013 enka m 000 0 eng | ||
| 040 | |a UMM |e rda | ||
| 090 | |a T58.64 |b Asmas | ||
| 100 | 0 | |a Asmiza Abdul Sani, |e author. | |
| 245 | 1 | 0 | |a Towards automated formal analysis of model transformation specifications / |c Asmiza Abdul Sani. |
| 264 | 1 | |c 2013. | |
| 264 | 4 | |c 2013. | |
| 270 | 1 | |g Asmiza Abdul Sani. |a Universiti Malaya, Fakulti Sains Komputer dan Teknologi Maklumat, Jabatan Kemahiran Buatan, E-Mail :asmiza@um.edu.my . | |
| 300 | |a xxiii, 309 leaves : |b illustrations ; |c 30 cm. | ||
| 336 | |a text |2 rdacontent | ||
| 337 | |a unmediated |2 rdamedia | ||
| 338 | |a volume |2 rdacarrier | ||
| 502 | |b Ph.D. |c Computer Science, University of York, England |d 2013. | ||
| 504 | |a Bibliography: leaves 294-309. | ||
| 650 | 0 | |a Information resources management. | |
| 650 | 0 | |a Information modeling. | |
| 650 | 0 | |a System analysis. | |
| 710 | 2 | |a University of York, |e degree granting institution. | |
| 596 | |a 1 | ||
| 900 | |a NSM | ||
| 999 | |a T58.64 ASMAS |w LC |c 1 |i A516234537 |d 9/11/2016 |f 9/11/2016 |g 1 |l STACKS |m P01UTAMA |r Y |s Y |t TESIS |u 8/11/2016 |1 STEM | ||