2171 search results - page 188 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
173
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—Build systems are responsible for transforming static source code artifacts into executable software. While build systems play such a crucial role in software development and ma...
158
click to vote
ISOLA
2007
Springer
16 years 20 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
147
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
159
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
153
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...