Sciweavers

1302 search results - page 5 / 261
» Focus on Components
Sort
View
ENTCS
2002
101views more  ENTCS 2002»
13 years 7 months ago
Towards Automatic Mediation between Heterogeneous Software Components
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
Klaus-Peter Löhr
ICSE
2000
IEEE-ACM
13 years 11 months ago
Supporting dynamic composition of components
The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. Th...
Giancarlo Succi, Raymond Wong, Eric Liu, Michael R...
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
13 years 5 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
14 years 28 days ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
RTAS
2005
IEEE
14 years 1 months ago
Real-Time Component-Based Systems
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
Shengquan Wang, Sangig Rho, Zhibin Mai, Riccardo B...