45 search results - page 3 / 9 » A Compositional Testing Framework Driven by Partial Specific... |
75
Voted
ICEIS
2002
IEEE
15 years 3 months ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
96
Voted
FORTE
1997
14 years 11 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
124
click to vote
DILS
2004
Springer
15 years 2 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...
AMAST
2006
Springer
15 years 2 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
99
Voted
ICTAC
2009
Springer
14 years 8 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...