996 search results - page 152 / 200 » A Compositional Model for Software Reuse |
123
click to vote
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Product Line Engineering is being accepted as a representative software reuse methodology by using core assets and product line architecture is known as a key element of core asset...
141
click to vote
DAIS
2008
15 years 5 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
129
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
159
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
178
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...