3564 search results - page 17 / 713 » Evaluating a Formal Modelling Language |
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
STTT
2010
13 years 5 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
MEMOCODE
2003
IEEE
14 years 20 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
IJCSA
2008
13 years 7 months ago
2008
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
JUCS
2008
13 years 7 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...