251 search results - page 16 / 51 » Fractal Component-Based Software Engineering |
CBSE
2006
Springer
14 years 5 days 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...
QOSA
2010
Springer
13 years 12 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
QOSA
2010
Springer
13 years 6 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
ISORC
2003
IEEE
14 years 1 months ago
2003
IEEE
Quality and risk concerns currently limit the application of commercial off-the-shelf (COTS) software components to non-critical applications. Software metrics can quantify factor...
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...