Sciweavers

1529 search results - page 111 / 306
» A Taxonomy of Software Component Models
Sort
View
ICCBSS
2005
Springer
15 years 10 months ago
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
Paris Avgeriou, Nicolas Guelfi
SEKE
2009
Springer
15 years 11 months ago
An Architecture-based Evolution Management Method for Software Product Line
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
Xin Peng, Liwei Shen, Wenyun Zhao
130
Voted
FASE
2009
Springer
15 years 8 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ISORC
1998
IEEE
15 years 8 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
GI
2004
Springer
15 years 10 months ago
Model-based Middleware for Embedded Systems
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
Chris Salzmann, Martin Thiede, Markus Völter