996 search results - page 152 / 200 » A Compositional Model for Software Reuse |
149
click to vote
ICCSA
2005
Springer
15 years 11 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...
180
click to vote
DAIS
2008
15 years 7 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...
157
click to vote
SEFM
2005
IEEE
15 years 11 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...
187
click to vote
FASE
2004
Springer
15 years 11 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...
210
click to vote
DATE
2007
IEEE
16 years 10 days 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...