3564 search results - page 428 / 713 » Evaluating a Formal Modelling Language |
120
Voted
ECEASST
2008
15 years 4 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
131
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
244
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
140
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
153
Voted
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
Many of the recent, and more effective, retrieval models have incorporated dependencies between the terms in the query. In this paper, we advance this query representation one st...