Sciweavers

1746 search results - page 34 / 350
» Residual for Component Specifications
Sort
View
155
Voted
CBSE
2008
Springer
15 years 5 months ago
A Component Selection Framework for COTS Libraries
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
Bart George, Régis Fleurquin, Salah Sadou
138
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
127
Voted
SEFM
2005
IEEE
15 years 9 months ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain
121
Voted
ECSA
2010
Springer
15 years 4 months ago
Architecture-Centric Component-Based Development Needs a Three-Level ADL
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
141
Voted
TOOLS
2000
IEEE
15 years 8 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon