5832 search results - page 276 / 1167 » Software complexity and maintainability |
138
click to vote
IEEEAMS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper attempts to identify one of the necessary conditions for self-healing, or self-repair, in complex systems, and to propose means for satisfying this condition in heterog...
144
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
158
click to vote
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
149
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
138
Voted
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...