Sciweavers

ENTCS
2006
135views more  ENTCS 2006»
14 years 14 days ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
IWFM
2000
162views Formal Methods» more  IWFM 2000»
14 years 1 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
HCI
2007
14 years 1 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...
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
14 years 4 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan