Sciweavers

1537 search results - page 30 / 308
» Domain-Specific Software Component Models
Sort
View
CBSE
2007
Springer
15 years 6 months ago
Data Encapsulation in Software Components
Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...
Kung-Kiu Lau, Faris M. Taweel
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 5 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, ...
CSMR
2006
IEEE
15 years 5 months ago
A Refactoring-based Tool for Software Component Adaptation
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
Gautier Bastide
FASE
2005
Springer
15 years 5 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
IEE
2010
136views more  IEE 2010»
14 years 10 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil