Dynamic architectural change is defined as the addition and removal of components and
connectors. Dynamic software architectures are those architectures that modify their …

Modeling software components from multiple perspectives provides complementary views of
a software system and enables sophisticated analyses of its functionality. A software …

We present a software architecture-based approach to compositional estimation of system's
reliability. Our approach is applicable to early stages of development when the …

This work proposes a model oriented formal approach for the specification and the
verification of dynamic component-based architectures. This approach associates the …

The component's interaction points with the external world play a fundamental role in the
specification of an application's architecture. Current software architecture approaches …

The leakage current existing in the bitline of SRAM has attracted more and more concerns
for the operation of high-performance SRAM design, especially with the decrease of the …

Modeling and estimating software reliability during testing is useful in quantifying the quality
of the software systems. However, such measurements applied late in the development …

Background Distributed Application Integration (DAI) techniques are becoming the key
enabling techniques to construct large information systems. But the researches about DAI …

Design Patterns for Object Oriented Systems constitute an important tool for improving
software quality by providing reusable design. Many academic institutions believe in their …