51 search results - page 1 / 11 » Slicing of Component Behavior Specification with Respect to ... |
138
Voted
CBSE
2007
Springer
16 years 1 months ago
2007
Springer
208
Voted
ENTCS
2008
15 years 7 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...
178
Voted
ICSM
2005
IEEE
16 years 20 days 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...
194
click to vote
ISARCS
2010
15 years 11 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...
166
Voted
ENTCS
2008
15 years 7 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,...