13 search results - page 2 / 3 » gpce 2009 |
GPCE
2009
Springer
13 years 9 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
GPCE
2009
Springer
13 years 9 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
GPCE
2009
Springer
13 years 2 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
GPCE
2009
Springer
13 years 9 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
GPCE
2009
Springer
13 years 9 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...