4187 search results - page 48 / 838 » A Taxonomy of Model Transformation |
ENTCS
2008
13 years 10 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
DAGSTUHL
2004
13 years 11 months ago
2004
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...
WOSP
2005
ACM
14 years 3 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
FSS
2006
13 years 10 months ago
2006
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...
QEST
2005
IEEE
14 years 3 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...