5718 search results - page 198 / 1144 » Modeling Rule Precision |
202
click to vote
AGTIVE
2007
Springer
16 years 21 days ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
150
click to vote
LAWEB
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
146
click to vote
FORTE
2007
15 years 8 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
265
click to vote
NADA
1998
Springer
15 years 10 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
121
click to vote
COLING
1990
15 years 7 months ago
1990
We propose formalisms and concepts which allow to make precise the m'gmnents in controversies over the adequacy of competing models of language, and over their formal equival...