996 search results - page 52 / 200 » A Compositional Model for Software Reuse |
124
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
119
Voted
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
135
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
119
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
159
click to vote
MKWI
2008
15 years 5 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...