Please use this identifier to cite or link to this item:
https://ptsldigital.ukm.my/jspui/handle/123456789/394860Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Lukman Ab. Rahim | - |
| dc.date.accessioned | 2023-06-15T07:51:19Z | - |
| dc.date.available | 2023-06-15T07:51:19Z | - |
| dc.identifier.other | ukmvital:121449 | - |
| dc.identifier.uri | https://ptsldigital.ukm.my/jspui/handle/123456789/394860 | - |
| dc.description.abstract | There are many approaches in model transformation. In this paper metamodel transformation approach is used to transform elements in Object Constraint Language (OCL) and Unified Modeling Language (UML) metamodel to elements in Prototype Verification System (PVS) metamodel. The mappings of individual elements in the source metamodels to elements in the target metamodel are discussed. This paper also proposed a metamodel for PVS specification language. | - |
| dc.language.iso | eng | - |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE),Piscataway, US | - |
| dc.subject | OCL-UML metamodel | - |
| dc.subject | PVS metamodel | - |
| dc.subject | Metamodel transformation approach | - |
| dc.title | Mapping from OCL-UML metamodel to PVS metamodel | - |
| dc.type | Seminar Papers | - |
| dc.format.pages | 8 | - |
| dc.identifier.callno | T58.5.C634 2008 kat sem | - |
| dc.contributor.conferencename | International Symposium on Information Technology | - |
| dc.coverage.conferencelocation | Kuala Lumpur Convention Centre | - |
| dc.date.conferencedate | 26/08/2008 | - |
| Appears in Collections: | Seminar Papers/ Proceedings / Kertas Kerja Seminar/ Prosiding | |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.