288 search results - page 47 / 58 » From Model-Driven Development to Model-Driven Engineering |
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
UML
2005
Springer
15 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Focal cortical dysplasia (FCD), a malformation of cortical development, is an important cause of intractable epilepsy. On Magnetic Resonance Images (MRI), FCD lesions are difficul...
JSS
2010
14 years 4 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
GTTSE
2007
Springer
15 years 3 months ago
2007
Springer
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...