Sciweavers

2186 search results - page 15 / 438
» Model Transformation Technologies in the Context of Modellin...
Sort
View
IJCAT
2010
132views more  IJCAT 2010»
13 years 6 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
EUROMICRO
2009
IEEE
14 years 2 months ago
A Component-Based Technology for Hardware and Software Components
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
Luka Lednicki, Ana Petricic, Mario Zagar
FASE
2008
Springer
13 years 9 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
DAGSTUHL
2009
13 years 8 months ago
Model-Centric, Context-Aware Software Adaptation
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
Oscar Nierstrasz, Marcus Denker, Lukas Renggli
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
14 years 29 days ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof