Sciweavers

253 search results - page 5 / 51
» Behavioural Types and Component Adaptation
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
13 years 7 months ago
An Adaptation-based Approach to Incrementally Build Component Systems
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
Pascal Poizat, Gwen Salaün, Massimo Tivoli
ECOOP
2006
Springer
13 years 11 months ago
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
Javier Cámara, Carlos Canal, Javier Cubo, J...
FMOODS
2007
13 years 8 months ago
Adaptation of Open Component-Based Systems
Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. This is crucial to foster re...
Pascal Poizat, Gwen Salaün
IPM
2006
107views more  IPM 2006»
13 years 7 months ago
Best entry points for structured document retrieval - Part II: Types, usage and effectiveness
Structured document retrieval makes use of document components as the basis of the retrieval process, rather than complete documents. The inherent relationships between these comp...
Jane Reid, Mounia Lalmas, Karen Finesilver, Morten...
FM
2003
Springer
89views Formal Methods» more  FM 2003»
14 years 17 days ago
Team Automata Satisfying Compositionality
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...
Maurice H. ter Beek, Jetty Kleijn