Last update: Sun Aug 5 02:03:07 MDT 2018
Return to index directory
D
-
DARPA, 25(1)95
-
DAS-BOOT, 25(1)100
-
data-protection, 25(2)64--68
-
dataflow, 25(1)90--91
-
date, 25(1)34--35
-
day, 25(1)95
-
deal, 25(1)93, 25(2)64--68, 25(3)50--53
-
debug, 25(1)86--87
-
debugger, 25(1)36--37
-
debugging, 25(1)45, 25(1)45--46, 25(1)58, 25(1)68, 25(1)90--91
-
decidability, 25(1)51--52
-
decide, 25(1)34--35, 25(3)30--31
-
decision, 25(2)35--39, 25(2)46--50
-
decoupled, 25(1)77--78
-
defense, 25(1)95
-
define, 25(1)42--43, 25(1)109--113, 25(2)31--34, 25(2)35--39
-
defined, 25(1)68, 25(2)35--39
-
defined, user-, 25(3)46--50
-
defined, well-, 25(2)60--63
-
defining, 25(1)50--51, 25(1)68, 25(1)108, 25(2)26--29, 25(4)62--68
-
definition, 25(1)75, 25(1)114, 25(2)26--29, 25(4)62--68
-
Defu, Zhang, 25(3)32--35
-
Defu, Zhang, see Chen, Wang
-
delegation, 25(3)24--29
-
deliver, 25(3)30--31
-
Demeterash, 25(1)100--101
-
Demeyer, Serge, 25(1)27
-
Demeyer:2000:WOO, 25(1)27
-
demonstrate, 25(3)50--53
-
demonstration, 25(1)95
-
dependable, 25(1)77--78
-
dependence, 25(3)46--50
-
deploying, 25(5)1--1
-
depot, 25(1)104
-
dereference, 25(1)58
-
dereferenced, 25(1)58
-
derivation, 25(1)34--35, 25(1)66--67
-
described, 25(1)114
-
describing, 25(1)42--43, 25(2)26--29
-
description, 25(1)42--43, 25(1)108, 25(2)40--45, 25(4)51--55
-
design-, 25(1)100
-
designed, 25(1)51--52
-
designer, 25(1)55--56, 25(1)86--87, 25(2)51--55
-
designing, 25(1)55--56, 25(2)51--55
-
despite, 25(1)46--49, 25(2)51--55
-
destiny, 25(1)109--113
-
detail, 25(2)51--55, 25(3)32--35
-
detailed, 25(2)35--39, 25(2)51--55
-
detect, 25(1)50--51, 25(4)62--68
-
detect, difficult-to-, 25(1)86--87
-
detected, 25(1)58
-
determining, 25(1)42--43, 25(1)93
-
Devanbu, Premkumar, 25(1)45
-
Devanbu:2000:FDD, 25(1)45
-
develop, 25(1)36--37, 25(1)46--49, 25(1)55--56, 25(1)74--75, 25(1)77--78,
25(1)114
-
developing, 25(1)34--35, 25(1)42--43
-
deviation, 25(4)62--68
-
diagram, 25(2)56--59, 25(3)46--50
-
Dieter, 25(4)69
-
differ, 25(1)109--113
-
difference, 25(1)86--87
-
differentiate, 25(1)55--56, 25(1)86--87, 25(2)31--34
-
difficult, 25(1)50--51, 25(1)68, 25(1)86--87
-
difficult-to-detect, 25(1)86--87
-
difficulty, 25(1)42--43
-
digital, 25(1)71--72
-
Digital/Compaq, 25(1)36--37
-
Dillon, Laura K., 25(1)45--46
-
Dillon:2000:AST, 25(1)45--46
-
Dinishak, Ron, 25(3)63--63
-
Dinishak:2000:OIF, 25(3)63--63
-
Dion, Francis, 25(3)41--43, 25(3)44--45
-
Dion, Francis, see Kokol, Peter
-
direction, 25(1)50--51, 25(1)56--57
-
directly, 25(1)94, 25(1)114
-
disadvantage, 25(2)46--50
-
disconnection, 25(1)77--78
-
discussed, 25(1)69--71, 25(2)46--50, 25(2)56--59
-
distinction, 25(1)55--56
-
distracting, 25(1)51--52
-
distributing, 25(1)114
-
distribution, 25(1)42--43, 25(1)50--51, 25(1)94
-
diverging, 25(3)30--31
-
diverse, 25(1)109--113
-
diversified, 25(2)60--63
-
divide, 25(2)56--59
-
do, 25(1)86--87, 25(1)114, 25(2)40--45, 25(5)1--1
-
document, 25(2)25--25, 25(2)26--29
-
documentation, 25(2)26--29, 25(3)24--29
-
Doernhoefer, Mark, 25(2)8--16, 25(4)12--20
-
Doernhoefer:2000:SNSa, 25(2)8--16
-
Doernhoefer:2000:SNSb, 25(4)12--20
-
domain-oriented, problem-, 25(3)36--40
-
domain-specific, 25(1)45, 25(3)46--50
-
Domajnko, Tomaz, 25(2)35--39
-
Domajnko, Tomaz, see Juric, Matjaz B.
-
DoME, 25(1)101
-
done, 25(1)49--50, 25(1)114, 25(5)1--1
-
doubtful, 25(3)30--31
-
down, 25(3)50--53
-
down-cast, 25(1)58
-
drawback, 25(1)34--35
-
drawn, 25(5)1--1
-
driven, Expectation-, 25(1)101
-
driver-oracle, 25(1)106--107
-
Dumke, Reiner, 25(4)51--55
-
Dumke, Reiner, see Schmietendorf, Andreas
-
duties, 25(2)60--63
-
Dwyer, Matthew B., 25(1)46--49
-
Dwyer:2000:APL, 25(1)46--49
-
dynamically, 25(2)64--68
-
dysfunction, 25(1)61