315 search results - page 9 / 63 » A formal approach to software components classification and ... |
IRI
2006
IEEE
14 years 1 months ago
2006
IEEE
— We present in this paper an approach aiming at dynamically adapting a component structure while preserving its behavior and its services. Among the motivations of this kind of ...
ESAW
2000
Springer
13 years 11 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
FMCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
ENTCS
2007
13 years 7 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
CBSQ
2003
Springer
14 years 1 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...