2060 search results - page 341 / 412 » The Composition of Event-B Models |
202
click to vote
GPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
194
click to vote
DILS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
121
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
152
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
124
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...