36320 search results - page 758 / 7264 » From Code to Models |
193
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
227
click to vote
BIRTHDAY
2004
Springer
16 years 26 days ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
217
click to vote
WSC
2007
15 years 9 months ago
2007
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
221
click to vote
AUSDM
2008
Springer
15 years 9 months ago
2008
Springer
Spreadsheets applications allow data to be stored with low development overheads, but also with low data quality. Reporting on data from such sources is difficult using traditiona...
220
click to vote
IPM
2007
15 years 7 months ago
2007
This study proposes the codification of lexical information in electronic dictionaries, in accordance with a generic and extendable XML scheme model, and its conjunction with lin...