Sciweavers

996 search results - page 20 / 200
» A Compositional Model for Software Reuse
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 5 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
CSMR
2009
IEEE
15 years 4 months ago
Handling the Dynamic Reconfiguration of Software Architectures Using Aspects
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
Cristóbal Costa Soria, Jennifer Pére...
JISBD
2001
15 years 1 months ago
Verifying Reuse Contracts with a Component Model
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
Agustín Cernuda del Río, José...
STEP
2003
IEEE
15 years 5 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
IAJIT
2007
90views more  IAJIT 2007»
14 years 11 months ago
Software Reuse for Mobile Robot Applications Through Analysis Patterns
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
Dayang N. A. Jawawi, Safaai Deris, Rosbi Mamat