1679 search results - page 10 / 336 » Variability and Component Composition |
SOCO
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
ENTCS
2002
13 years 7 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...