Sciweavers

772 search results - page 110 / 155
» From Graph Transformation to Software Engineering and Back
Sort
View
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 4 months ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...
EMSOFT
2010
Springer
15 years 1 months ago
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi...
AGILEDC
2004
IEEE
15 years 7 months ago
Adaptive Agility
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...
Todd Little, Forrest Greene, Tessy Phillips, Rex P...
LCPC
2005
Springer
15 years 9 months ago
Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
Amir Kamil, Katherine A. Yelick
COORDINATION
2004
Springer
15 years 9 months ago
Measuring Component Adaptation
Adapting heterogeneous software components that present mismatching interaction behaviour is one of the crucial problems in Component-Based Software Engineering. The process of com...
Antonio Brogi, Carlos Canal, Ernesto Pimentel