Sciweavers

1002 search results - page 36 / 201
» Test-Driven Development of Model Transformations
Sort
View
RTCSA
2008
IEEE
14 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...
ICMT
2009
Springer
14 years 3 months ago
Supporting Parallel Updates with Bidirectional Model Transformations
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Take...
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
14 years 2 months ago
An Examination of DSLs for Concisely Representing Model Traversals and Transformations
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
Jeff Gray, Gabor Karsai
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
14 years 16 days ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
MCS
2007
Springer
13 years 8 months ago
Finite element approach to modelling evolution of 3D shape memory materials
A general finite element framework for the application to different types of phase transforming alloys and under general thermomechanical loadings is presented. The developed tec...
D. Roy Mahapatra, Roderick V. N. Melnik