3564 search results - page 232 / 713 » Evaluating a Formal Modelling Language |
190
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
157
click to vote
ICST
2008
IEEE
16 years 29 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
259
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
194
click to vote
ICTL
1994
15 years 10 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
174
click to vote
IJMSO
2008
15 years 6 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...