1432 search results - page 34 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
CF
2006
ACM
14 years 11 months ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present the Hermes approach for goal-oriented interaction which includes a methodology for designing goal-based interactions and a process for mapping design artefacts to an ex...
105
click to vote
MEMOCODE
2003
IEEE
15 years 2 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
101
click to vote
WCRE
2003
IEEE
15 years 2 months ago
2003
IEEE
The inherent differences between C++ and Java programs dictate that the methods used for reverse engineering their compiled executables will be languagespecific. This paper looks ...
106
click to vote
CAV
2006
Springer
15 years 1 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...