Generative Templates for Formal Metamodel Design
Main Author: | Wu, N |
---|---|
Format: | Thesis |
Published: |
2010
|
Similar Items
-
Formal Relational Database Design: An Exercise in Extending the Formal Template Language
by: Wu, N, et al.
Published: (2014) -
A Functional Implementation of the Formal Template Language
by: Wu, N
Published: (2009) -
Towards Formally Templated Relational Database Representations in Z
by: Wu, N, et al.
Published: (2010) -
Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis
by: Jeremy Bryans, et al.
Published: (2023-08-01) -
On the Properties of Metamodeling in OWL.
by: Motik, B
Published: (2005)