Sciweavers

1431 search results - page 23 / 287
» Solving Constraints in Model Transformations
Sort
View
90
Voted
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
15 years 3 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...
EAAI
2010
86views more  EAAI 2010»
14 years 9 months 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
RTCSA
2008
IEEE
15 years 3 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...
JSW
2007
120views more  JSW 2007»
14 years 9 months 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
ENTCS
2008
78views more  ENTCS 2008»
14 years 9 months 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...