6201 search results - page 1021 / 1241 » Implementation of Axiomatic Language |
212
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
169
click to vote
TAICPART
2006
IEEE
16 years 18 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
182
click to vote
WCRE
2006
IEEE
16 years 18 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
139
click to vote
AOSD
2006
ACM
16 years 17 days ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
175
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...