Sciweavers

1679 search results - page 9 / 336
» Variability and Component Composition
Sort
View
HCI
2007
13 years 9 months ago
Tasks Models Merging for High-Level Component Composition
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
Arnaud Lewandowski, Sophie Lepreux, Grégory...
FMCO
2005
Springer
14 years 1 months ago
A Software Component Model and Its Preliminary Formalisation
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
14 years 2 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
ISARCS
2010
188views Hardware» more  ISARCS 2010»
13 years 11 months ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler
SIGSOFT
2002
ACM
14 years 8 months ago
Composable semantics for model-based notations
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
Jianwei Niu, Joanne M. Atlee, Nancy A. Day