Sciweavers

1431 search results - page 23 / 287
» Solving Constraints in Model Transformations
Sort
View
113
Voted
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
15 years 6 months ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
86
Voted
EAAI
2010
86views more  EAAI 2010»
15 years 16 days ago
Resolution of nonlinear interval problems using symbolic interval arithmetic
: An interval problem is a problem where the unknown variables take interval values. Such a problem can be defined by interval constraints, such as "the interval [a, b] [a, b...
Luc Jaulin, Gilles Chabert
112
Voted
RTCSA
2008
IEEE
15 years 6 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
119
Voted
JSW
2007
120views more  JSW 2007»
15 years 10 days ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
85
Voted
ENTCS
2008
78views more  ENTCS 2008»
15 years 15 days ago
The Role of Visual Modeling and Model Transformations in Business-driven Development
This paper explores the emerging paradigm of business-driven development, which presupposes a methodology for developing IT solutions that directly satisfy business requirements a...
Jana Koehler, Rainer Hauser, Jochen Malte Küs...