Sciweavers

AMAST
2004
Springer
14 years 3 months ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
SOCO
2005
Springer
14 years 3 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
RTAS
2006
IEEE
14 years 3 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic