3837 search results - page 241 / 768 » Concurrent Engineering support in Software Engineering |
152
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
127
click to vote
ESEC
1995
Springer
15 years 7 months ago
1995
Springer
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
140
click to vote
ENTCS
2010
15 years 4 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
119
Voted
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
139
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...