Formal analysis of metamodel : an evaluation of an approach using ZOO templates to derive a Z model of part of EMOF /
Saved in:
主要作者: | Asmiza Abdul Sani |
---|---|
格式: | Thesis 图书 |
语言: | English |
出版: |
2007.
|
主题: | |
标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
相似书籍
-
Access methods on aggregation hierarchy for object-oriented databases /
由: Ng, Soh Hai
出版: (1995) -
Design patterns detection tool /
由: Fares, Wael M. K.
出版: (2008) -
Invariants generation for method overriding using abstract interpretation /
由: Siti Hafizah Ab. Hamid
出版: (2013) -
Concurrent object-oriented scheme /
由: Guo, Danwei
出版: (1998) -
A model integration framework for modeling in the large /
由: Wang, Shi Ping
出版: (1997)