Sciweavers

30 search results - page 3 / 6
» Assembling components with behavioural contracts
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
13 years 10 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
13 years 11 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
SYNASC
2008
IEEE
300views Algorithms» more  SYNASC 2008»
13 years 12 months ago
A Theory of Adaptable Contract-Based Service Composition
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
Giovanni Bernardi, Michele Bugliesi, Damiano Maced...
CBSE
2004
Springer
13 years 11 months ago
Extra-Functional Contract Support in Components
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
Olivier Defour, Jean-Marc Jézéquel, ...
EUROMICRO
2004
IEEE
13 years 9 months ago
Predicting Real-Time Properties of Component Assemblies: A Scenario-Simulation Approach
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
Egor Bondarev, Johan Muskens, Peter H. N. de With,...