51 search results - page 1 / 11 » Slicing of Component Behavior Specification with Respect to ... |
CBSE
2007
Springer
13 years 10 months ago
2007
Springer
ENTCS
2008
13 years 4 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
ICSM
2005
IEEE
13 years 10 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
ISARCS
2010
13 years 8 months ago
2010
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...
ENTCS
2008
13 years 4 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...