Sciweavers

1613 search results - page 25 / 323
» Model-Driven Constraint Engineering
Sort
View
MICCAI
2008
Springer
15 years 10 months ago
Dynamic Model-Driven Quantitative and Visual Evaluation of the Aortic Valve from 4D CT
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
Razvan Ioan Ionasec, Bogdan Georgescu, Eva Gassn...
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 4 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
MODELLIERUNG
2008
14 years 11 months ago
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
Miguel García, Ralf Möller
SAMOS
2007
Springer
15 years 3 months ago
A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
Max R. de O. Schultz, Alexandre K. I. Mendon&ccedi...
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 1 months 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