Sciweavers

3410 search results - page 119 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
RTCSA
2008
IEEE
16 years 20 days 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...
WSKS
2009
Springer
15 years 10 months ago
An Eclipse GMF Tool for Modelling User Interaction
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
Jesús Manuel Almendros-Jiménez, Luis...
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
15 years 11 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
TSP
2010
15 years 1 months ago
Modeling and identification of nonlinear systems in the short-time fourier transform domain
Abstract--In this paper, we introduce a novel approach for improved nonlinear system identification in the short-time Fourier transform (STFT) domain. We first derive explicit repr...
Yekutiel Avargel, Israel Cohen
ISORC
2006
IEEE
16 years 9 days ago
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
Abdelouahed Gherbi, Ferhat Khendek