Formal analysis of metamodel : an evaluation of an approach using ZOO templates to derive a Z model of part of EMOF /
Saved in:
Main Author: | Asmiza Abdul Sani |
---|---|
Format: | Thesis Book |
Language: | English |
Published: |
2007.
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Access methods on aggregation hierarchy for object-oriented databases /
by: Ng, Soh Hai
Published: (1995) -
Design patterns detection tool /
by: Fares, Wael M. K.
Published: (2008) -
Invariants generation for method overriding using abstract interpretation /
by: Siti Hafizah Ab. Hamid
Published: (2013) -
Concurrent object-oriented scheme /
by: Guo, Danwei
Published: (1998) -
A model integration framework for modeling in the large /
by: Wang, Shi Ping
Published: (1997)