45 search results - page 3 / 9 » Rigorous EBNF-based Definition for a Graphic Modeling Langua... |
IJCSA
2008
13 years 5 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 ...
HIPS
1998
IEEE
13 years 10 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
SOSYM
2002
13 years 5 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
DGO
2008
13 years 7 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
ENTCS
2006
13 years 5 months ago
2006
The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environme...