2026 search results - page 244 / 406 » Tools for Test Case Generation |
157
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
171
click to vote
ECBS
2005
IEEE
15 years 11 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
174
click to vote
VISUALIZATION
1993
IEEE
15 years 9 months ago
1993
IEEE
Visualization has proved an e ective tool in the understanding of large data sets in computational science and engineering. There is growing interest today in the development of p...
145
click to vote
MASCOTS
2003
15 years 6 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
141
click to vote
SCM
1998
15 years 6 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...