Sciweavers

48 search results - page 2 / 10
» Generic Feature-Based Software Composition
Sort
View
CBSE
2007
Springer
13 years 11 months ago
Binary Change Set Composition
Binary component-based software updates that are efficient, safe and generic still remain a challenge. Most existing deployment systems that achieve this goal have to control the c...
Tijs van der Storm
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
13 years 10 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
SIGSOFT
2008
ACM
14 years 5 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
KBSE
2010
IEEE
13 years 2 months ago
Model comparison with GenericDiff
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
Zhenchang Xing
SAC
2010
ACM
13 years 3 months ago
XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse
Hypermedia composite templates define generic structures of nodes and links that can be reused in different document compositions. The XTemplate language is an XML-based solutio...
Joel André Ferreira dos Santos, Débo...