TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
Abstract State Machines | |
ASMETA | |
assistive technology | |
automated proof | |
Automatic Code Generation | |
B | |
B method | |
build tools | |
C | |
C++ | |
code review | |
compilation | |
concurrency | |
D | |
data structures | |
dynamic analysis | |
E | |
Event-B | |
F | |
Formal Methods | |
H | |
hash table | |
L | |
lock-free programming | |
M | |
model checking | |
P | |
Program Verification | |
S | |
safety platform | |
shared memory | |
software configuration management | |
U | |
unit testing | |
Usability | |
V | |
verification | |
visually impaired or blind | |
W | |
white-box analysis |