Index file section D for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
D
-
D'Ippolito, Richard, 18(6)276--286
-
D'Ippolito, Richard, see Plinta, Charles
-
D.1.3, 7(5)40--41, 9(4)105--112
-
D.1.m, 7(6)97--100, 9(1)147--160, 9(2)78--89
-
D.2, 4(5)40--44, 4(5)45--48, 4(5)49--58, 4(5)59--64, 4(5)65--78,
4(5)79--83, 4(5)84--89, 4(5)97--99, 4(5)100--104, 4(5)105--110,
5(3)76--83
-
D.2.0, 8(4)97--103
-
D.2.1, 4(5)40--44, 5(3)76--83, 7(7)33--54, 8(7)113--117, 26(1)45--55
-
D.2.10, 6(4)34--43, 6(4)44--52, 8(4)70--82, 8(4)104--118, 9(5)89--100,
9(5)101--108, 9(6)119--126
-
D.2.2, 4(4)38--48, 4(5)90--96, 4(6)49--59, 5(1)17--31, 5(1)61--70,
5(1)71--78, 6(3)71--80, 6(6)49--53, 7(3)50--59, 7(3)60--72,
7(3)73--83, 8(4)70--82, 9(5)115--122, 9(6)97--103, 9(6)104--107,
26(1)45--55
-
D.2.3, 9(7)114--128
-
D.2.4, 9(6)90--96
-
D.2.5, 4(5)84--89, 4(6)27--31, 5(1)79--88, 7(6)21--23, 8(7)7--11,
9(5)54--59, 9(5)109--114, 9(6)67--79, 9(6)90--96, 9(6)97--103,
9(6)104--107
-
D.2.6, 6(3)61--64, 7(2)58--72, 7(3)94--106, 8(4)35--46, 8(4)47--68,
8(4)70--82, 8(4)83--96, 8(4)104--118, 8(6)82--91, 8(7)7--11,
9(5)54--59
-
D.2.7, 4(5)49--58, 4(5)79--83, 4(5)100--104, 6(3)56--60, 7(5)100--103,
9(5)54--59, 9(5)84--88, 9(6)80--89, 9(7)91--101
-
D.2.8, 6(3)65--70, 9(5)60--82
-
D.2.9, 4(5)45--48, 4(5)59--64, 4(5)90--96, 4(5)100--104, 4(5)105--110,
8(1)80--90, 9(2)78--89
-
D.2.m, 8(1)58--79, 8(2)39--54, 8(2)96--106, 9(2)102--105
-
D.3.0, 4(6)35--43, 6(5)34--44, 7(2)73--84, 8(2)107--109, 8(3)98--106,
8(7)20--31, 8(7)35--38, 8(7)65--79
-
D.3.1, 4(6)44--48, 5(1)71--78, 5(3)45--56, 7(5)96--99, 8(7)57--60
-
D.3.3, 4(6)27--31, 4(6)49--59, 4(6)60--72, 5(1)61--70, 5(1)79--88,
5(3)30--44, 5(3)45--56, 5(3)76--83, 6(4)53--65, 7(1)40--48,
7(1)94--96, 7(5)40--41, 7(5)79--92, 7(5)93--95, 7(5)104--104,
7(7)55--76, 8(2)55--76, 8(3)87--97, 8(5)92--100, 9(2)52--61,
9(2)62--71, 9(2)90--101, 9(4)103--104, 9(5)60--82, 9(6)80--89,
9(7)85--90
-
D.3.4, 4(6)32--34, 4(6)35--43, 5(1)49--54, 5(1)79--88, 5(3)45--56,
7(3)84--93, 7(5)42--50, 7(5)51--62, 8(4)83--96, 8(5)75--86,
8(6)57--71, 8(7)65--79, 8(7)104--107, 9(2)45--51, 9(7)102--113
-
D.4.0, 8(2)84--95
-
D.4.1, 4(5)65--78, 4(6)60--72, 5(1)17--31, 5(1)42--48, 7(6)33--39,
7(6)47--48, 7(6)51--53, 7(6)61--63, 7(6)107--109, 7(6)110--112,
7(6)121--123, 8(2)77--83, 8(2)84--95, 8(5)61--70, 8(5)71--74,
8(5)101--109, 8(7)12--19, 8(7)20--31, 8(7)32--34, 8(7)57--60,
8(7)61--64, 8(7)65--79, 8(7)86--96, 9(4)87--91, 9(4)105--112
-
D.4.2, 7(5)79--92
-
D.4.3, 4(4)27--31, 6(3)31--42
-
D.4.4, 4(4)38--48, 9(2)106--117
-
D.4.5, 4(5)105--110, 4(6)60--72
-
D.4.7, 4(5)84--89, 4(6)35--43, 5(1)55--60, 7(6)13--14, 7(6)15--17,
7(6)18--20, 7(6)24--26, 7(6)33--39, 7(6)40--42, 7(6)43--46,
7(6)49--50, 7(6)61--63, 7(6)64--66, 7(6)67--69, 7(6)70--72,
7(6)73--76, 7(6)77--78, 7(6)85--87, 7(6)88--92, 7(6)93--96,
7(6)97--100, 7(6)113--115, 7(6)116--118, 7(6)119--120, 7(6)124--126,
8(3)51--68, 8(7)35--38, 8(7)39--42, 8(7)50--56, 8(7)86--96,
8(7)97--100, 8(7)101--103, 8(7)104--107, 8(7)113--117, 8(7)118--122,
8(7)123--126, 9(2)45--51
-
D.4.9, 4(4)38--48
-
D___1, 13(5)20--21
-
Dafny, 32(3)9--10
-
DAG, 42(1)81--85
-
Dai, Xiaotian, 42(1)81--85
-
Dai, Xiaotian, see Zou, Jie
-
Daily, Paulan, 5(1)32--41
-
Daily, Paulan, see Moore, Melody
-
Daily, Paulan D., 3(6)79--94
-
Daily:1984:APS, 3(6)79--94
-
DAIS, 42(2)96--98
-
damage, 32(3)51--52
-
Danberg, Sy, 5(2)41--57
-
Danberg, Sy, see Fox, Stephen,
see Smith, John M.
-
Danesh, Ari, 18(6)212--214
-
Danesh, Ari, see Dousette, Patricia J.
-
dangerous, 29(1)71--73, 31(3)17--18, 37(2)40--42
-
dangling, 29(1)51--52, 29(1)66--68, 32(3)15--22
-
Dapra, A., 3(6)57--65
-
Dapra:1984:UAA, 3(6)57--65
-
DARK, 9(7)91--101, 10(6)68--83
-
DARPA, 33(3)43--46
-
Das, Souripriya, 7(4)88--97
-
Das:1987:ALI, 7(4)88--97
-
DATA, 4(5)45--48, 4(5)59--64, 8(2)84--95
-
data, state-, 11(1)96--101
-
data-dependencies, 36(2)9--17
-
Data-intensive, 42(2)104--108
-
data-object, 15(1)50--63
-
data-race-free, 34(3)105--106
-
data-stream, multiple-, 7(7)55--76
-
Data-Types, 1(2)15--33, 6(1)20--21
-
DATABASE, 4(5)65--78, 6(4)66--74, 7(3)40--49, 7(3)50--59, 7(3)60--72,
8(1)38--51
-
database, 0(0)viii--171, 0(0)40--49, 0(0)57--65, 0(0)z--z, 2(4)88--91,
4(5)65--78, 5(2)14--24, 5(2)41--57, 7(3)40--49, 7(3)50--59,
9(5)101--108, 10(2)64--83, 11(1)92--95, 11(5)47--61, 12(5)64--76,
13(2)65--77, 17(4)59--65, 23(1)11--11, 24(1)38--48, 33(3)87--88
-
DataComm, 32(3)71--72
-
dataflow, 11(5)30--46, 18(6)39--44, 38(2)97--108
-
Datagram, 34(3)81--86
-
datatypes, 32(3)9--10
-
date, 6(1)20--21, 23(1)40--43, 30(1)62--67, 33(3)7--8, 37(2)30--31
-
Dausmann, M., 0(0)z--z
-
Dausmann, M., see Bever, M.
-
Dausmann, Manfred, 0(0)47--56, 0(0)226--336, 3(1)63--70, 3(3)45--57
-
Dausmann, Manfred, see Kirchgassner, Walter,
see Persch, Guido
-
Dausmann:1987:LSR, 0(0)226--336
-
Davies, G. L., 10(9)75--84, 12(6)59--74
-
Davies, G. L., see Burns, A.
-
Davis, Genell K., 7(3)60--72
-
Davis, Genell K., see Donaho, Jane E. D.
-
Davis, James F., 24(4)13--18, 25(4)57--62
-
Davis, M., 7(2)58--72
-
Davis, M., see Carr, P.
-
Davis, Mark, 1(2)11--14
-
Davis, Noël, 18(5)104--110
-
Davis:1982:COA, 1(2)11--14
-
Davis:1998:TCN, 18(5)104--110
-
Davis:2004:ISS, 24(4)13--18
-
Davis:2005:AAF, 25(4)57--62
-
DAWG, 6(2)76--76
-
day, 10(3)91--97, 13(3)86--87, 27(3)5--6, 37(2)27--29, 40(2)65--69
-
day, day-to-, 29(3)19--20
-
day, four-, 29(3)9--10
-
day, half-, 31(3)5--6
-
day-to-day, 29(3)19--20
-
DB, 23(1)30--34
-
DBMS, 0(0)40--49, 6(4)66--74, 7(3)40--49, 7(3)60--72, 10(2)64--83
-
DC, 18(0)xii--293, 19(1)42--47
-
DCOM, 19(3)9--14
-
DDC, 6(1)22--28
-
DDC-I, 27(3)99--99
-
de Bondeli, Patrick, 7(6)119--120, 8(7)57--60
-
de la Puente, Juan A., 13(2)44--53
-
de la Puente, Juan A., see Alonso, Alejandro
-
De las Heras-Quiros, P., 0(0)21--30, 0(0)105--112
-
De las Heras-Quiros, P., see Gonzalez-Barahona, J. M.
-
de-facto, 15(4)36--45
-
dead, 18(6)287--293, 21(4)61--70, 25(3)28--31
-
deadline, 0(0)16--23, 0(0)102--118, 10(4)136--143, 13(2)44--53,
14(1)38--49, 17(5)88--92, 26(2)60--68, 27(2)18--22, 29(3)7--8,
30(1)135--146, 32(3)63--70, 33(1)24--31, 33(2)49--58, 33(2)97--108,
35(1)9--16, 36(1)29--34, 36(1)91--93, 38(1)70--73, 41(1)64--68,
41(1)87--91
-
deadline, earliest-, 33(1)32--44
-
deadline, hard-, 14(3)105--112
-
deadlock, 0(0)11--25, 4(6)60--72, 5(1)42--48, 7(2)118--134, 8(5)61--70,
9(4)87--91, 9(6)97--103, 10(5)110--127, 10(7)85--90, 10(9)75--84,
11(1)82--91, 17(6)19--31, 18(2)67--80, 25(1)48--56, 26(2)23--37,
27(1)24--39, 27(3)7--7, 29(3)13--14, 31(2)9--14, 33(1)169--179,
33(2)66--74, 33(3)1--2
-
deadness, 4(6)60--72
-
deal, 13(2)44--53, 17(2)29--54, 19(4)32--36, 27(3)8--8, 30(1)73--85,
31(3)61--68, 32(3)7--8, 32(3)25--26, 33(1)15--23, 33(1)116--127,
33(1)128--133, 34(3)61--68, 34(3)71--80
-
dealing, 0(0)50--61, 0(0)102--118, 0(0)141--155
-
deallocated, 34(3)103--104
-
deallocation, 13(5)32--42
-
dealt, 0(0)viii--171
-
Dean Hendrix, T., 0(0)135--140
-
Dean, Jeff, 4(5)90--96
-
Dean, Jeff, see Braesicke, Carl
-
DeanHendrix:1997:VCS, 0(0)135--140
-
Dear, 10(5)41--47, 10(8)24--33, 19(1)108--z, 20(3)53--56
-
debate, 13(6)27--z, 30(1)16--25
-
Debest, X., 2(4)101--112
-
Debest:1983:UFS, 2(4)101--112
-
deBondeli:1987:RTA, 7(6)119--120
-
deBondeli:1988:ATC, 8(7)57--60
-
deBondeli:1997:AFR, 17(5)35--39
-
deBondeli:1997:DRM, 17(5)33--34
-
deBondeli:1999:FRC, 19(1)66--96
-
debug, 32(3)9--10, 34(3)105--106
-
debugger, 5(2)124--135, 11(2)98--106, 14(2)68--79, 17(5)45--50
-
debugging, 0(0)16--25, 0(0)77--89, 0(0)90--101, 0(0)124--135,
0(0)189--196, 0(0)197--204, 0(0)205--212, 4(5)84--89, 4(6)27--31,
5(1)79--88, 5(2)97--108, 5(2)109--123, 7(6)18--20, 7(6)21--23,
7(6)73--76, 8(7)7--11, 9(5)54--59, 9(5)109--114, 9(6)67--79,
9(6)90--96, 9(6)97--103, 9(6)104--107, 10(7)85--90, 11(3)19--27,
11(3)19--z, 11(7)244--273, 12(4)24--35, 13(5)32--42, 13(6)66--158,
16(2)50--69, 17(5)18--23, 17(5)45--50, 17(5)88--92, 17(6)65--69,
32(3)3--4, 36(2)58--59, 37(1)9--25
-
Debugging, Cross-, 7(6)21--23
-
DEC, 9(4)84--86, 11(4)91--98
-
decade, 17(3)67--86, 31(3)19--26, 34(3)61--68, 34(3)69--70, 35(2)14--14,
36(2)58--59, 42(1)79, 42(2)69--74
-
December, 0(0)viii--240, 15(0)vii--242, 17(2)18--25, 18(0)xii--293
-
decentralized, 22(1)11--16, 40(1)91--96
-
decide, 23(1)45--52, 27(2)96--97, 39(1)71--71
-
decided, 33(1)157--168
-
deciding, 13(1)63--75, 27(3)11--26
-
decision, 9(2)45--51, 9(4)92--102, 9(4)105--112, 12(6)75--80,
21(4)61--70, 23(1)45--52, 27(2)23--28, 27(3)2--2, 28(1)96--102,
32(3)53--62, 32(3)95--96, 36(1)68--76, 36(1)83--90, 36(2)60--68
-
deck, 21(4)61--70
-
declaration, 0(0)40--49, 8(3)123--127, 10(2)89--94, 10(9)29--30,
11(7)91--130, 11(7)131--139, 12(3)117--125, 14(4)58--71,
16(3)56--69, 17(6)19--31, 17(6)70--77, 29(1)58--60, 37(2)23--26,
37(2)30--31
-
declarative, 13(3)39--41, 33(3)3--4, 40(1)45--52
-
declared, 10(5)101--109, 37(2)32--33
-
decomposition, 0(0)50--61, 2(6)53--58, 11(4)91--98, 14(z)74--81,
17(1)54--68, 33(3)43--46, 33(3)51--64
-
decrease, 26(3)9--14, 28(1)76--82
-
decreased, 29(3)21--22
-
dedicated, 29(3)31--44, 33(2)33--39
-
dedication, 34(3)1--2
-
deduced, 31(3)61--68
-
deductive, 28(1)96--102
-
deductively, 32(3)53--62
-
deemed, 12(1)53--64, 32(3)15--22
-
deems, 42(2)104--108
-
deep, 0(0)102--118, 29(3)19--20, 31(3)47--60, 42(1)81--85, 42(1)90--94
-
deeper, 31(3)13--14
-
deeply, 36(2)9--17
-
default, 6(5)34--44, 28(1)34--35, 29(1)62--64, 33(1)24--31
-
DeFazioe, 0(0)62--76
-
defeat, 27(3)59--62
-
defect, 0(0)90--101, 23(1)11--11, 29(2)20--27, 29(3)9--10, 31(3)39--46,
31(3)69--74, 34(3)17--18, 36(2)31--38, 38(2)43--57
-
defence, 14(3)80--90
-
defenders, 13(3)86--87
-
defense, 0(0)119--123, 2(4)84--87, 7(7)77--81, 8(4)35--46, 8(4)47--68,
13(6)66--158, 14(3)80--90, 29(3)119--120, 32(3)63--70, 34(3)1--2,
36(2)22--26
-
Defense for Acquisition, Office of the Under Secretary of,
8(4)35--46, 8(4)47--68
-
Defense Science Board, Task Force on Military Software, 8(4)35--46
-
defensive, 13(3)86--87, 26(2)23--37
-
deferrable, 36(1)39--50
-
deferred, 33(1)93--100, 33(2)97--108
-
deferredly, 33(2)97--108
-
deficiency, 9(6)108--118, 27(2)18--22, 27(2)82--87
-
deficient, 10(4)49--56
-
define, 26(1)31--44, 27(3)8--8, 27(3)41--50, 27(3)51--58, 29(1)29--32,
29(1)62--64, 32(3)35--42, 33(1)32--44, 33(2)75--86, 36(2)22--26,
36(2)31--38, 36(2)60--68, 37(2)32--33, 40(2)55--58
-
defined, 12(2)43--56, 17(3)57--66, 26(1)56--63, 26(2)48--59, 26(2)60--68,
26(3)51--60, 27(2)18--22, 27(2)67--71, 29(3)17--18, 31(2)44--47,
31(2)48--51, 31(2)56--58, 31(3)39--46, 31(3)61--68, 32(3)73--80,
33(1)128--133, 33(1)169--179, 33(2)66--74, 34(3)47--60, 35(1)32--37,
35(1)38--45, 35(1)74--79, 35(1)80--92, 36(2)22--26, 36(2)49--53,
40(2)55--58, 40(2)59--64
-
defined, Application-, 22(4)77--84, 23(4)42--51
-
defined, implementation-, 14(3)91--104
-
defined, language-, 12(6)75--80, 29(3)17--18
-
defined, User-, 30(1)104--115
-
defined, user-, 9(4)105--112, 12(1)53--64, 14(4)43--57,
30(1)104--115, 30(1)116--124
-
defined, Well-, 0(0)40--49
-
defined, well-, 0(0)40--49, 14(z)26--35, 27(3)89--96,
34(3)17--18
-
defining, 0(0)50--61, 4(4)27--31, 12(1)73--84, 17(4)59--65, 31(3)81--90,
40(2)48--50, 42(1)79
-
definition, 0(0)120--128, 0(0)141--155, 0(0)202--212, 0(0)266--274,
4(6)44--48, 5(1)71--78, 5(3)45--56, 7(5)96--99, 8(7)57--60,
9(2)106--117, 10(2)89--94, 10(4)57--65, 10(9)94--102, 11(2)56--59,
11(7)244--273, 12(2)57--61, 12(3)110--116, 12(6)75--80, 16(1)46--53,
16(3)52--55, 16(5)59--69, 23(1)35--39, 26(1)18--24, 26(1)45--55,
26(2)69--74, 26(3)21--28, 27(2)18--22, 27(2)53--58, 31(3)3--4,
31(3)81--90, 32(3)11--12, 33(1)24--31, 33(3)11--12, 33(3)43--46,
35(1)80--92, 36(2)22--26, 36(2)60--68, 37(1)9--25, 37(2)27--29
-
Definition-Use, 37(1)9--25
-
Definitional, 7(6)70--72
-
defy, 32(3)97--102
-
DEGAS, 26(3)35--42, 27(3)27--40
-
degradation, 29(2)20--27
-
degree, 0(0)102--118, 23(1)1--9, 41(1)69--73
-
Delange, Julien, 29(3)31--44, 33(3)65--84, 36(2)39--46
-
Delange, Julien, see Feiler, Peter,
see Larson, Brian
-
Delange:2009:VSI, 29(3)31--44
-
delaPuente:1999:RTP, 19(2)73--77
-
delaPuente:2001:DIO, 21(1)85--90
-
delaPuente:2002:SSS, 22(4)120--122
-
delaPuente:2003:ETC, 23(4)82--86
-
delaPuente:2007:CPN, 27(2)96--97
-
delaPuente:2013:SSC, 33(1)150--156
-
DelasHeras-Quiros:1997:PDF, 0(0)21--30
-
DELAY, 12(1)73--84
-
delay, 5(2)329--342, 9(4)87--91, 10(4)136--143, 10(9)141--146,
12(1)65--72, 19(3)15--21, 22(4)72--76, 31(2)9--14
-
de;lay, 12(1)65--72
-
delayed, 9(4)105--112, 31(2)9--14, 42(2)89--91
-
delayed-time, 9(4)105--112
-
delegation, 14(6)53--56
-
deliberate, 13(3)91--95, 23(1)1--9
-
delicate, 29(2)56--60
-
deliver, 11(7)244--273, 34(3)19--28, 41(1)44--63
-
deliverable, 0(0)10--15
-
delivering, 29(3)21--22, 31(3)17--18
-
delivery, 42(1)68--75
-
Deller, Steven, 19(1)52--57
-
Deller, Steven, see Brukardt, Randall
-
DeLoach, Scott A., 8(4)70--82
-
DeLoach:1988:IAP, 8(4)70--82
-
DeLoach:1988:IBA, 8(4)70--82
-
Delrio, P., 11(1)102--113
-
Delrio:1991:RDR, 11(1)102--113
-
demand, 0(0)102--118, 0(0)124--135, 13(4)49--62, 30(1)86--90,
32(3)71--72, 34(3)29--38, 40(2)65--69
-
demanding, 27(3)3--3, 36(1)68--76
-
demo, 8(5)87--91
-
demonstrably, 27(3)89--96
-
demonstrably-correct, 27(3)89--96
-
demonstrate, 13(4)37--43, 26(3)9--14, 27(3)51--58, 27(3)89--96,
29(2)37--39, 29(3)7--8, 29(3)11--12, 32(3)11--12, 32(3)15--22,
33(3)11--12, 34(3)13--16, 34(3)39--46, 35(1)59--73, 36(2)9--17,
36(2)60--68, 42(1)76--78
-
demonstrated, 0(0)77--89, 26(3)9--14, 28(1)24--30
-
demonstrating, 31(3)7--8, 31(3)75--80, 33(3)51--64
-
demonstration, 0(0)159--163, 10(6)68--83, 13(2)65--77, 27(3)4--4,
29(3)15--16, 31(3)75--80, 33(3)9--10, 36(2)60--68
-
Demurjian, S., 20(1)58--66
-
Demurjian, S., see Needham, D.
-
Demurjian, S. A., 0(0)125--134, 0(0)263--272
-
Demurjian, S. A., see Needham, D. M.,
see Price, M. W.
-
Demurjian, Sr., Steven, 18(6)104--113
-
Demurjian, Sr., Steven, see Reisner, John A.
-
Demurjian, Sr., Steven A., 18(5)97--103, 19(3)203--210
-
Demurjian, Sr., Steven A., see Needham, Donald M.
-
Demurjian, Steven A., 18(2)89--104
-
Demurjian, Steven A., see Reisner, John A.
-
Deng, Xianghua, 31(3)47--60
-
Deng, Xianghua, see Belt, Jason
-
Dennis, R., St, 6(2)41--50
-
Deno, 40(2)65--69
-
Denotational, 3(4)78--91
-
density, high-energy-, 23(1)11--11
-
Dent, D., 0(0)159--163
-
Dent, D., see Lucas, L.
-
Department, 0(0)119--123, 2(4)84--87, 13(4)71--76, 13(6)66--158,
23(1)11--11, 27(3)101--107, 29(3)23--30, 34(3)1--2, 36(2)22--26
-
departure, 27(3)69--70, 36(2)27--30
-
depend, 13(2)54--64, 23(1)30--34, 27(3)69--70, 28(1)24--30, 29(3)79--84,
32(3)103--104, 33(3)41--42, 33(3)43--46, 37(2)18--22, 42(2)109--113
-
dependability, 34(3)29--38, 40(1)53--59
-
dependable, 27(2)82--87
-
dependence, 0(0)67--78, 8(2)77--83, 10(4)85--96, 12(4)24--35,
17(3)36--44, 37(1)9--25
-
dependence-, 8(5)61--70
-
dependencies, data-, 36(2)9--17
-
dependencies, inter-, 9(5)101--108
-
dependency, 10(4)85--96, 13(4)44--48, 18(6)263--275, 31(3)39--46,
34(3)29--38, 40(2)73--75
-
dependent, 33(2)75--86, 36(2)31--38
-
dependent, order-, 40(1)45--52
-
depending, 0(0)24--39, 15(4)46--49, 27(3)99--99, 37(2)18--22
-
deployed, 27(3)5--6, 29(3)87--90, 32(3)63--70
-
deployment, 23(1)11--11, 29(2)20--27, 32(3)63--70, 33(1)64--83,
40(1)53--59, 42(2)104--108
-
Dereference, 6(3)56--60
-
dereferences, 29(2)53--55, 31(3)11--12
-
derivations, 29(1)78--79
-
derive, 13(6)133--161
-
derived, 8(5)37--46, 8(5)92--100, 11(9)116--127, 17(6)70--77,
17(6)78--90, 32(3)15--22, 33(1)128--133, 33(1)157--168,
34(3)97--102, 36(2)47--48
-
deriving, 26(2)23--37, 28(1)41--44
-
Derniame, J. C., 0(0)156--171
-
Derniame, J. C., see Basson, H.
-
DeRoever, W. P., 0(0)128--137
-
DeRoever, W. P., see Pneuli, A.
-
descending, 27(3)69--70
-
describe, 0(0)1--9, 0(0)10--15, 0(0)90--101, 0(0)102--118, 0(0)119--123,
0(0)124--135, 9(7)114--128, 12(6)59--74, 13(2)44--53, 17(3)36--44,
18(6)158--164, 23(1)27--29, 23(1)40--43, 23(1)53--56, 26(2)12--22,
26(3)3--8, 26(3)15--20, 26(3)45--50, 27(1)24--39, 27(2)61--66,
27(3)27--40, 27(3)63--68, 27(3)71--74, 27(3)75--78, 28(1)76--82,
28(1)83--87, 29(1)19--22, 29(2)15--19, 29(2)68--70, 29(3)3--4,
29(3)5--6, 29(3)7--8, 29(3)17--18, 29(3)23--30, 29(3)103--104,
29(3)105--114, 29(3)115--118, 29(3)119--120, 29(3)121--126,
29(3)127--132, 30(2)13--18, 30(2)19--24, 31(3)3--4, 31(3)27--34,
31(3)61--68, 32(3)7--8, 32(3)11--12, 32(3)15--22, 32(3)43--50,
32(3)63--70, 33(2)14--32, 33(2)33--39, 33(2)49--58, 33(3)11--12,
33(3)15--18, 33(3)37--40, 33(3)41--42, 33(3)43--46, 33(3)51--64,
33(3)65--84, 34(3)69--70, 34(3)81--86, 34(3)97--102, 35(1)32--37,
35(1)74--79, 36(1)68--76, 36(2)18--21, 36(2)54--57, 36(2)58--59,
36(2)60--68, 37(2)27--29, 37(2)43--50, 37(2)59--67, 38(1)14--18,
38(1)41--54, 38(1)74--76, 39(2)25--28, 40(1)74--78, 41(2)61--65,
42(1)43--45, 42(1)50--53, 42(2)40--44
-
described, 0(0)90--101, 12(2)43--56, 13(3)39--41, 13(4)71--76,
17(2)82--91, 17(3)97--108, 26(3)71--74, 27(3)11--26, 27(3)41--50,
27(3)79--82, 29(2)15--19, 29(3)3--4, 29(3)85--86, 29(3)115--118,
30(1)33--44, 31(3)27--34, 32(3)15--22, 33(3)9--10, 33(3)51--64,
34(3)29--38, 36(2)49--53, 37(2)43--50
-
describing, 6(1)94--103, 8(3)51--68
-
description, 3(4)78--91, 4(1)67--73, 4(5)49--58, 4(6)60--72,
8(3)107--114, 11(3)9--17, 11(8)177--z, 13(5)22--31, 13(5)43--47,
13(6)133--161, 14(z)3--15, 17(4)17--30, 28(1)92--95, 29(1)19--22,
29(2)15--19, 29(3)7--8, 29(3)45--60, 29(3)105--114, 29(3)119--120,
30(2)19--24, 31(2)15--22, 31(2)40--43, 31(3)3--4, 32(1)13--18,
32(2)9--16, 32(3)11--12, 33(1)157--168, 33(3)3--4, 33(3)11--12,
33(3)65--84, 34(3)39--46, 36(2)22--26
-
Descriptive, 11(3)9--17
-
Descriptors, 0(0)235--242
-
deserves, 31(3)35--36
-
design, Co-, 18(6)18--27
-
design, co-, 33(3)3--4
-
design, language-, 29(1)81--83
-
design, private-by-, 42(2)96--98
-
design-by-contract, 27(3)100--100
-
design-space, 33(3)3--4
-
design-time, 33(3)23--36
-
designash, 15(2)31--39
-
designed, 0(0)62--76, 0(0)124--135, 9(7)114--128, 12(2)62--75,
12(6)59--74, 13(2)91--96, 17(1)41--53, 20(1)25--37, 23(1)12--21,
23(1)27--29, 23(1)40--43, 27(3)1--1, 29(2)65--67, 29(3)1--2,
29(3)91--102, 30(1)86--90, 31(2)9--14, 31(3)9--10, 31(3)11--12,
31(3)39--46, 31(3)47--60, 31(3)81--90, 32(3)15--22, 32(3)71--72,
33(3)43--46, 34(3)5--12, 34(3)103--104, 35(1)93--94
-
designer, 8(3)84--86, 17(2)29--54, 29(3)45--60, 31(3)61--68, 32(3)95--96,
34(3)3--4, 34(3)105--106
-
designers., 27(3)8--8
-
designing, 7(6)107--109, 11(5)30--46, 12(3)92--98, 17(1)41--53,
24(1)49--61, 27(3)100--100, 29(1)78--79, 29(3)11--12, 30(3)7--8,
31(3)13--14, 32(3)23--24, 34(3)47--60, 42(1)54--57
-
Designs, Co-, 36(2)9--17
-
designs, co-, 36(2)9--17
-
desirability, 36(1)98--100
-
desire, 27(3)99--99
-
Desk, 26(1)1--1
-
despite, 0(0)77--89, 17(3)67--86, 23(1)1--9, 29(3)45--60, 42(1)100--104
-
destinations, 32(3)95--96
-
destined, 26(3)35--42, 31(3)27--34
-
destructive, 11(1)102--113
-
detail, 13(3)39--41, 13(3)74--85, 17(2)67--81, 17(3)45--56, 27(2)67--71,
28(1)24--30, 29(2)61--62, 29(2)63--64, 29(3)5--6, 29(3)31--44,
31(3)3--4, 31(3)13--14, 32(3)11--12, 32(3)73--80, 33(3)11--12,
34(3)13--16, 40(2)76--91
-
detailed, 0(0)156--171, 10(6)68--83, 27(1)24--39, 28(1)24--30,
29(3)17--18, 31(3)47--60, 33(1)157--168, 33(3)51--64, 38(2)89--96
-
detailing, 35(1)46--58
-
detect, 26(1)31--44, 29(3)31--44, 31(2)23--24, 31(2)25--27, 31(2)28--29,
31(3)7--8, 31(3)61--68, 33(3)9--10
-
detected, 10(4)136--143
-
detecting, 0(0)90--101, 21(4)107--114, 38(2)97--108, 38(2)109--114
-
detection, 4(6)60--72, 9(5)109--114, 9(6)90--96, 11(1)82--91,
13(3)86--87, 13(3)88--90, 13(6)66--158, 17(1)41--53, 17(5)18--23,
26(3)51--60, 28(1)96--102, 36(2)47--48, 36(2)58--59
-
detection, cycle-, 32(3)9--10
-
detector, 0(0)viii--171, 0(0)124--135
-
determination, 0(0)viii--171, 0(0)77--89, 31(3)7--8, 36(2)39--46
-
determine, 17(3)67--86, 28(1)24--30, 28(1)83--87, 31(3)7--8, 36(2)9--17
-
determined, 5(3)45--56, 26(1)25--30, 27(2)23--28, 28(1)38--40
-
determining, 29(3)79--84
-
determinism, 26(3)21--28, 33(3)1--2
-
determinism, non-, 33(3)1--2
-
deterministic, 10(7)55--62, 14(0)ix--118, 14(z)54--73, 17(5)27--32,
26(2)23--37, 30(3)13--22, 31(3)81--90, 33(2)66--74, 36(1)68--76,
37(1)9--25, 39(2)35--40
-
devastating, 29(3)119--120
-
develop, 0(0)1--9, 0(0)62--76, 0(0)117--124, 15(4)15--16, 15(4)19--21,
15(4)22--22, 17(1)54--68, 17(2)29--54, 17(3)17--29, 17(3)45--56,
27(3)101--107, 30(1)86--90, 32(3)5--6, 32(3)9--10, 32(3)27--34,
33(1)53--63, 33(3)3--4, 33(3)21--22, 34(3)5--12, 36(2)22--26,
40(2)59--64
-
developed, 0(0)1--9, 0(0)62--76, 0(0)77--89, 9(7)114--128, 12(2)62--75,
13(6)66--158, 17(3)17--29, 26(3)71--74, 27(3)1--1, 27(3)2--2,
27(3)5--6, 27(3)71--74, 28(1)24--30, 28(1)76--82, 29(3)23--30,
30(1)91--103, 30(2)27--52, 31(2)9--14, 31(3)7--8, 31(3)13--14,
32(3)3--4, 32(3)5--6, 32(3)15--22, 32(3)27--34, 33(1)101--115,
33(2)59--65, 33(3)9--10, 33(3)15--18, 33(3)21--22, 33(3)23--36,
34(3)5--12, 34(3)19--28, 34(3)81--86, 35(1)74--79, 35(1)93--94,
36(1)51--62, 36(2)22--26, 36(2)58--59, 37(1)9--25, 38(1)34--39,
39(1)71--71, 41(1)74--77, 41(2)61--65, 41(2)66--70, 42(1)50--53
-
developer, 2(1)50--57, 6(2)57--58, 6(6)61--71, 7(1)40--48, 8(3)69--80,
8(6)35--48, 9(4)30--42, 10(5)48--61, 10(8)34--34, 10(9)85--93,
12(3)67--83, 12(6)29--45, 13(3)21--z, 13(6)37--55, 14(3)20--38,
14(6)19--40, 15(6)22--43, 16(3)19--19, 17(3)45--56, 19(1)97--107,
23(1)30--34, 26(3)35--42, 26(3)77--80, 27(2)48--52, 27(3)27--40,
29(2)43--45, 29(2)56--60, 29(3)17--18, 29(3)79--84, 31(3)3--4,
31(3)47--60, 32(3)11--12, 33(3)11--12, 40(2)48--50, 40(2)73--75,
42(1)39--40, 42(1)58--60
-
Developer, An Unknown AdaCore, 37(1)50--53
-
developer, An Unknown AdaCore, 37(1)39--42, 37(1)43--45
-
Developer:2017:GCF, 37(1)50--53
-
developer:2017:GMCa, 37(1)39--42
-
developer:2017:GMCb, 37(1)43--45
-
developer/tester/user, 27(3)99--99
-
developing, 0(0)24--39, 0(0)40--49, 0(0)90--101, 5(2)229--240,
7(6)15--17, 7(6)124--126, 12(4)36--41, 13(4)71--76, 14(z)26--35,
17(3)17--29, 17(5)33--34, 21(1)48--55, 23(1)12--21, 23(1)45--52,
24(1)38--48, 26(2)12--22, 26(2)23--37, 26(3)45--50, 27(3)51--58,
27(3)69--70, 27(3)79--82, 27(3)89--96, 27(3)101--107, 28(1)83--87,
29(3)11--12, 29(3)21--22, 29(3)23--30, 29(3)45--60, 29(3)79--84,
31(1)9--10, 32(3)9--10, 33(2)33--39, 33(2)75--86, 33(3)3--4,
33(3)37--40, 33(3)43--46, 33(3)65--84, 34(3)1--2, 34(3)103--104,
36(1)25--28
-
Development, Integrated-, 23(1)30--34
-
development, software-, 14(4)28--35
-
developmental, 23(1)12--21
-
device, 19(3)133--143, 23(1)11--11, 25(4)63--68, 29(3)7--8, 29(3)85--86,
29(3)119--120, 30(1)135--146, 31(3)47--60, 32(3)51--52, 33(2)33--39,
33(3)3--4, 33(3)51--64, 33(3)65--84, 36(2)31--38, 36(2)39--46
-
DEVICES, 9(2)118--128
-
DeVilbiss, Jennifer, 18(6)137--139
-
DeVilbiss, Jennifer, see Hopper, Jim
-
Devon, 0(0)vi--130
-
devoted, 12(1)43--52
-
devotees, 13(3)86--87
-
devroom, 42(1)61--64
-
Dewar, 39(1)100--100
-
Dewar, Robert, 17(5)93--99, 21(4)1--2, 26(3)43--43, 27(3)97--98,
29(1)23--24, 29(1)35--37, 29(1)38--40, 29(1)48--49, 29(1)75--76,
37(2)37--39
-
Dewar, Robert, see Vestal, Steve
-
Dewar, Robert B. K., 0(0)194--201, 4(2)65--76, 27(3)83--88
-
Dewar:1980:NAT, 0(0)194--201
-
Dewar:1984:ALM, 4(2)65--76
-
Dewar:2001:KAF, 21(4)1--2
-
Dewar:2006:AHI, 26(3)43--43
-
Dewar:2007:BFW, 27(3)97--98
-
Dewar:2007:CSA, 27(3)83--88
-
Dewar:2009:GAS, 29(1)23--24
-
Dewar:2009:GCDa, 29(1)35--37
-
Dewar:2009:GCDb, 29(1)38--40
-
Dewar:2009:GIB, 29(1)75--76
-
Dewar:2009:GPP, 29(1)48--49
-
Dewar:2017:GU, 37(2)37--39
-
DeWeese, Keith Patrick, 6(2)13--14
-
DeWeese:1986:ALL, 6(2)13--14
-
DFD, 11(2)115--127
-
DFP, 33(2)49--58, 35(1)9--16
-
DHACM, 0(0)197--204
-
DHCP, 37(2)51--58
-
Dhrystone, 9(5)60--82
-
DHS, 27(3)101--107
-
Di Maio, A., 5(2)109--123, 7(6)67--69
-
Di Maio, A., see Crespi Reghizzi, S.
-
di Maio, Andrea, 10(9)50--59
-
di Maio, Andrea, see Atkinson, C.
-
DIADEM, 8(7)86--96
-
diagnose, 31(3)75--80
-
diagnosis, 17(5)18--23
-
diagnostic, 0(0)77--89, 0(0)90--101, 0(0)124--135, 4(2)44--53,
11(7)244--273, 13(4)71--76, 17(5)18--23, 17(5)45--50, 17(5)88--92,
17(6)65--69, 32(3)51--52
-
diagnostics, 0(0)90--101, 13(4)71--76, 17(5)65--70, 23(1)11--11
-
diagram, 9(6)108--118, 11(2)115--127, 11(5)30--46, 29(3)61--72
-
dialect, 29(3)91--102
-
dialog, 12(3)117--125, 14(1)30--37
-
diameter, 23(1)11--11
-
DIANA, 0(0)261--265
-
Diaz-Herrera, Jorge L., 17(5)88--92
-
Diaz-Herrera, Jorge L., see Ujvary, Brian G.
-
Dickinson University, Teaneck, NJ, Fairleigh, 14(2)24--49
-
DICOM, 23(1)44--44
-
dictum, 12(1)53--64
-
did, 15(5)52--53, 28(1)45--47, 31(2)23--24, 31(2)25--27, 31(2)28--29,
37(2)34--36
-
didn't, 34(3)1--2
-
differ, 32(3)97--102
-
difference, 0(0)156--165, 12(4)42--z, 13(5)22--31, 15(6)67--69,
26(2)23--37, 29(3)79--84, 31(3)3--4, 32(3)11--12, 32(3)97--102,
33(3)11--12, 36(1)51--62, 36(2)22--26, 41(2)81--85
-
different, 0(0)212--223, 13(5)32--42, 13(6)133--161, 17(3)87--96,
23(1)45--52, 26(3)9--14, 27(2)37--40, 27(2)48--52, 27(2)61--66,
29(2)43--45, 29(3)31--44, 29(3)73--78, 30(1)16--25, 30(1)55--61,
31(3)1--2, 31(3)3--4, 32(3)15--22, 32(3)63--70, 33(1)32--44,
33(3)41--42, 33(3)51--64, 33(3)87--88, 34(3)19--28, 34(3)61--68,
34(3)71--80, 36(1)9--24, 36(1)63--67, 38(1)29--33, 40(2)48--50,
40(2)73--75, 40(2)76--91, 41(2)77--80, 41(2)81--85, 42(1)43--45,
42(2)99--103
-
differentiations, 0(0)141--155
-
difficult, 17(1)41--53, 29(1)78--79, 29(3)17--18, 29(3)119--120,
30(1)125--134, 32(3)15--22, 32(3)23--24, 32(3)53--62, 33(2)14--32,
33(2)40--48, 40(1)91--96, 42(2)79--88
-
difficulty, 7(6)49--50, 12(4)36--41, 29(3)85--86, 32(3)97--102,
41(1)69--73
-
diffusion, 42(2)109--113
-
digit, 35(2)14--14
-
digital, 9(1)47--70, 9(7)102--113, 11(3)83--90, 11(7)244--273,
12(1)53--64, 12(1)73--84, 12(2)97--101, 15(2)46--53, 16(3)56--69,
16(5)35--47, 18(6)137--139, 27(3)27--40, 29(2)15--19, 31(2)15--22,
32(2)9--16, 32(3)71--72, 40(2)92--95
-
digitized, 17(3)3--16
-
digraph, 10(5)110--127, 37(1)9--25
-
DiGrazia, Joseph C., 0(0)147--156
-
DiGrazia:1987:ADM, 0(0)147--156
-
DiMaio:1985:EMD, 5(2)109--123
-
dimension, 9(5)101--108, 32(3)1--2
-
dimensional, 8(5)92--100, 13(4)77--86, 16(3)56--69, 32(3)35--42
-
dimensional, two-, 11(4)91--98
-
dimensionality, 32(3)35--42
-
dimensioning, 29(3)31--44
-
Dinh, Tong, 18(6)148--151, 29(3)115--118
-
Dinh, Tong, see Barkataki, Shan
-
Dinh:2009:DCD, 29(3)115--118
-
dining, 5(1)42--48, 13(4)37--43, 26(2)23--37
-
Dinning, 13(4)37--43
-
DIRash, 14(z)26--35
-
dire, 0(0)24--39
-
direct, 8(7)57--60, 12(2)43--56, 14(1)61--67, 17(2)82--91, 26(2)60--68,
27(2)75--81, 27(3)63--68, 29(3)17--18, 31(3)15--16, 32(3)27--34,
33(1)64--83, 34(3)19--28, 34(3)103--104, 36(2)39--46
-
direction, 17(2)55--62, 17(3)67--86, 17(5)51--56, 27(2)72--74,
27(3)83--88, 27(3)97--98, 33(3)85--86, 36(2)22--26
-
directive, 7(4)42--44, 7(4)45--53, 10(2)89--94, 13(3)74--85, 40(2)48--50,
40(2)55--58
-
directly, 23(1)45--52, 29(1)84--97, 29(2)43--45, 29(3)19--20,
30(1)16--25, 30(1)62--67, 30(2)67--78, 31(2)59--69, 31(3)27--34,
32(3)103--104, 33(1)32--44, 35(2)15--21, 36(1)51--62
-
Directorate, 14(6)62--72
-
directories, 37(2)13--17
-
DIR/SEE, 14(z)26--35
-
discern, 29(3)119--120
-
discipline, 1(4)21--23, 13(6)66--158, 27(3)1--1, 27(3)100--100,
29(3)9--10, 29(3)61--72, 29(3)119--120, 34(3)61--68
-
discourages, 29(3)45--60
-
discover, 29(3)7--8, 34(3)17--18
-
discovered, 13(1)63--75, 34(3)17--18, 36(2)31--38
-
discovery, 17(6)98--107, 31(1)32--36, 31(1)37--38, 31(1)39--42,
31(1)43--46, 31(1)47--48, 31(1)49--52, 33(3)51--64, 36(2)39--46
-
discrete, 0(0)172--180, 10(2)52--63, 26(3)35--42, 27(3)27--40,
34(3)29--38
-
Discrete-Event, 0(0)133--140, 7(5)105--112
-
discrete-event, 26(3)35--42, 27(3)27--40
-
discriminant, 7(5)96--99
-
discriminated, 13(4)77--86
-
discuss, 0(0)136--140, 0(0)156--171, 13(4)37--43, 13(4)49--62,
13(6)66--158, 17(3)3--16, 17(3)45--56, 17(3)97--108, 23(1)35--39,
23(1)45--52, 27(2)15--17, 27(2)29--36, 27(2)37--40, 27(2)53--58,
27(2)59--60, 27(3)7--7, 27(3)97--98, 28(1)96--102, 29(1)81--83,
29(2)50--52, 29(3)1--2, 29(3)5--6, 29(3)7--8, 29(3)13--14,
29(3)79--84, 30(1)135--146, 31(2)15--22, 31(2)36--39, 31(3)3--4,
31(3)9--10, 31(3)19--26, 32(2)9--16, 32(3)11--12, 32(3)23--24,
32(3)43--50, 32(3)103--104, 33(1)53--63, 33(1)84--92, 33(2)40--48,
33(3)1--2, 33(3)11--12, 34(3)17--18, 34(3)97--102, 35(1)80--92,
36(1)9--24, 36(1)63--67, 36(1)68--76, 36(2)22--26, 36(2)39--46,
38(1)29--33, 40(1)91--96
-
discussed, 12(2)97--101, 13(4)63--70, 13(5)43--47, 17(1)54--68,
17(2)63--66, 17(2)67--81, 26(3)45--50, 27(2)23--28, 27(3)97--98,
29(2)40--42, 29(3)1--2, 31(2)33--35, 31(2)40--43, 31(3)9--10,
33(2)9--13, 33(2)33--39, 36(1)83--90, 36(1)98--100, 38(1)14--18,
38(1)29--33, 40(2)96--102
-
discussing, 0(0)119--123, 13(2)91--96, 27(2)15--17, 34(3)13--16,
35(1)46--58
-
discussion, 8(1)38--51, 11(2)60--71, 12(2)97--101, 12(6)75--80,
13(6)133--161, 16(1)18--20, 27(1)24--39, 27(2)37--40, 27(3)7--7,
27(3)97--98, 29(2)40--42, 29(3)5--6, 29(3)13--14, 30(1)147--151,
30(2)13--18, 30(2)19--24, 31(3)11--12, 34(3)3--4, 36(1)29--34,
36(1)83--90
-
disk, 25(2)42--44
-
Dismukes, G., 0(0)149--164, 0(0)266--274
-
Dismukes, G., see Appelbe, B., \see{Comar, C.
-
Dismukes, Gary, 20(4)3--28, 29(2)65--67, 30(2)27--52
-
Dismukes, Gary, see Burns, Alan,
see Gasperoni, Franco
-
Dismukes:2009:GEP, 29(2)65--67
-
disparate, 11(2)56--59, 27(3)69--70
-
dispatch, 31(2)9--14
-
dispatchable, 19(2)54--59
-
dispatched, 33(3)3--4
-
dispatcher, 10(9)141--146, 14(z)54--73
-
dispatching, 14(6)57--61, 17(2)63--66, 18(4)101--106, 21(1)11--13,
21(1)46--47, 26(1)45--55, 26(2)48--59, 26(2)60--68, 27(2)18--22,
29(2)50--52, 29(3)5--6, 30(1)135--146, 33(1)24--31, 33(1)32--44,
33(2)40--48, 33(2)49--58, 35(1)26--31, 35(1)80--92, 36(1)39--50,
38(1)41--54, 38(1)74--76
-
Dispatching-Domain, 33(1)9--14
-
display, 15(4)19--21, 23(1)11--11, 27(3)11--26, 37(2)18--22
-
Dissaux, Pierre, 17(5)40--44, 31(3)61--68
-
Dissaux, Pierre, see Gaudel, Vincent
-
Dissaux:1997:CDT, 17(5)40--44
-
dissipation, 31(3)19--26
-
distance, 18(5)111--125
-
distinct, 12(2)43--56, 29(3)9--10, 33(3)51--64, 34(3)1--2, 40(2)65--69
-
distinction, 33(3)1--2
-
distinguishes, 32(3)15--22
-
distinguishing, 33(1)64--83
-
distracted, 30(1)125--134
-
Distributable, 7(6)67--69
-
distribute, 42(2)104--108
-
distributing, 5(2)72--84, 10(9)111--117, 29(3)85--86
-
distribution, 4(5)49--58, 4(5)79--83, 4(5)100--104, 6(3)56--60,
7(5)100--103, 7(6)64--66, 8(7)97--100, 8(7)123--126, 9(5)54--59,
9(5)84--88, 9(6)80--89, 9(7)91--101, 10(4)85--96, 10(9)17--28,
10(9)50--59, 10(9)111--117, 10(9)z--z, 11(6)61--63, 13(2)78--90,
17(2)67--81, 17(5)40--44, 17(6)32--38, 21(1)14--16, 22(4)123--124,
23(1)12--21, 28(1)92--95, 29(2)37--39, 29(3)73--78, 30(1)152--161
-
Diversely, 20(1)25--37
-
divide, 31(2)15--22, 32(2)9--16, 33(2)14--32
-
divide-and-conquer, 32(3)13--14, 40(2)51--54
-
divided, 0(0)xvi--431, 0(0)141--155, 17(3)36--44, 29(2)37--39
-
dividing, 29(2)37--39
-
division, 0(0)62--76, 7(1)71--81, 13(4)77--86, 17(3)67--86, 33(3)21--22
-
DL, 6(2)57--58, 10(5)48--61
-
DLL, 27(3)63--68
-
Dmitry, Korochkin, 25(4)31--36
-
Dmitry, Korochkin, see Alexandr, Korochkin
-
DNS, 37(2)51--58
-
do, 1(4)21--23, 12(2)43--56, 27(2)23--28, 31(3)11--12, 31(3)27--34,
32(3)7--8, 32(3)15--22, 32(3)27--34, 33(1)32--44, 33(1)84--92,
33(3)49--50, 35(1)38--45, 37(2)40--42, 38(2)64--68, 38(2)109--114
-
DO-178B, 17(5)45--50, 23(1)40--43, 27(3)2--2, 29(3)103--104, 31(3)5--6
-
do-178b, 29(3)103--104
-
DO-178C, 27(3)2--2, 31(3)5--6
-
DO-178Cash, 29(3)103--104
-
DO-178C/ED-12C, 29(3)103--104
-
do-178c/ed-12c, 29(3)103--104
-
DO-248B/ED-94B, 29(3)103--104
-
do-248b/ed-94b, 29(3)103--104
-
DO-248Cash, 29(3)103--104
-
DO-278, 27(3)69--70, 29(3)103--104
-
do-278, 29(3)103--104
-
DO-278Aash, 29(3)103--104
-
DO178B, 23(1)1--9
-
DO178B/C, 31(3)1--2
-
Dobbing, B., 10(9)94--102
-
Dobbing, B. J., 23(4)58--64
-
Dobbing, B. J., see Amey, P. N.
-
Dobbing, Brian, 13(2)65--77, 17(5)45--50, 18(6)1--6, 19(2)28--32,
20(4)29--31, 21(1)17--18, 21(1)18--19, 21(1)56--61, 21(4)11--26,
23(4)11--12, 23(4)55--57, 24(2)1--74
-
Dobbing, Brian, see Brosgol, Ben,
see Burns, Alan, \see{Tokar, Joyce L.
-
Dobbing:1990:DAS, 10(9)94--102
-
Dobbing:1993:EPM, 13(2)65--77
-
Dobbing:1997:STS, 17(5)45--50
-
Dobbing:1998:RTP, 18(6)1--6
-
Dobbing:1999:RTP, 19(2)28--32
-
Dobbing:2000:BPA, 20(4)29--31
-
Dobbing:2001:OSJ, 21(1)18--19
-
Dobbing:2001:RPH, 21(1)56--61
-
Dobbing:2001:RSA, 21(1)17--18
-
Dobbing:2003:SSF, 23(4)55--57
-
Dobbins, G., 7(2)58--72
-
Dobbins, G., see Carr, P.
-
Dobbs, Paul, 2(6)59--62, 4(6)49--59
-
Dobbs, Paul, see Hammons, Charles
-
Dobbs:1983:AEA, 2(6)59--62
-
document, 9(7)114--128, 13(1)63--75, 17(3)97--108, 20(4)40--49,
23(1)40--43, 28(1)24--30, 29(3)45--60, 29(3)103--104, 31(3)5--6,
31(3)39--46, 36(2)22--26
-
document-driven, 29(3)45--60
-
documentation, 0(0)50--61, 0(0)141--155, 4(6)27--31, 5(1)79--88,
6(3)56--60, 6(3)71--80, 6(5)29--33, 6(5)34--44, 6(6)49--53,
6(6)61--71, 7(1)40--48, 9(5)84--88, 10(4)159--165, 10(5)62--65,
13(6)66--158, 15(4)36--45, 17(4)59--65, 29(1)25--26, 29(3)45--60,
29(3)91--102, 33(3)7--8
-
documented, 0(0)141--155, 36(1)77--82
-
documenting, 0(0)10--15, 0(0)113--122, 36(1)77--82
-
documenting, self-, 14(3)39--60
-
DoD, 0(0)119--123, 2(5)85--88, 7(4)42--44, 7(4)45--53, 8(4)47--68,
12(6)75--80, 15(1)28--38, 36(2)22--26
-
DoD, U. S., 7(4)42--44, 7(4)45--53
-
DOD-STD-2167, 0(0)75--80
-
DoD-STD-2167, 6(5)29--33, 6(5)34--44, 7(2)73--84
-
DoD-STD-2167A, 6(5)34--44
-
DoD:1987:DDC, 7(4)42--44
-
DoD:1987:DDU, 7(4)45--53
-
doesn't, 29(2)46--49, 31(3)35--36, 38(2)43--57
-
doing, 29(2)37--39, 29(2)46--49, 40(2)55--58
-
dollars, 19(3)183--193
-
domain, 0(0)273--278, 10(3)126--136, 10(4)57--65, 10(9)133--140,
17(1)54--68, 17(2)29--54, 17(4)17--30, 17(5)88--92, 23(1)45--52,
27(3)5--6, 27(3)27--40, 27(3)41--50, 27(3)69--70, 27(3)83--88,
29(2)37--39, 29(3)17--18, 29(3)31--44, 31(3)15--16, 33(2)33--39,
33(2)40--48, 33(3)23--36, 33(3)85--86, 34(3)19--28, 34(3)29--38,
34(3)39--46, 34(3)87--96, 35(1)26--31, 35(1)32--37, 35(1)80--92,
36(2)39--46, 36(2)58--59, 38(1)41--54, 38(1)74--76, 39(1)35--49,
40(1)60--63, 40(2)48--50, 42(1)65--67, 42(1)105--105
-
domain, cross-, 32(3)53--62
-
Domain, Dispatching-, 33(1)9--14
-
domain, multi-, 33(3)43--46
-
domain-specific, 32(3)53--62, 33(3)3--4, 34(3)97--102
-
dominant, 29(3)105--114, 40(2)65--69
-
Domitz, R. O., 7(6)18--20
-
Domitz:1987:RTA, 7(6)18--20
-
don't, 17(3)30--35, 31(3)35--36
-
Donaho, Jane E. D., 7(3)60--72
-
Donaho:1987:AES, 7(3)60--72
-
Donaldson, Cameron, 10(8)12--12
-
Donaldson:1990:LE, 10(8)12--12
-
done, 0(0)119--123, 12(2)43--56, 17(1)41--53, 26(2)12--22, 29(2)68--70,
29(3)19--20, 29(3)121--126, 31(2)36--39, 32(1)13--18, 34(3)1--2,
36(1)39--50
-
Dong, Yunwei, 34(3)29--38
-
Dong, Yunwei, see Ahmad, Ehsan
-
Donzeau-Gouge, V., 5(2)297--308
-
Donzeau-Gouge:1985:TAP, 5(2)297--308
-
Doran, Steven, 19(3)133--143, 33(3)47--48
-
Doran:1999:ILL, 19(3)133--143
-
Doran:2013:RMD, 33(3)47--48
-
Dorchak, Susan Fife, 17(6)70--77
-
Dorchak:1997:PIS, 17(6)70--77
-
Dorothy, 6(2)13--14
-
DOS, 10(7)55--62, 10(7)63--69, 14(1)61--67, 17(1)41--53
-
DOS, MS-, 0(0)1--9, 10(1)111--117
-
DOS, PC-, 10(7)55--62
-
DOSash, 13(4)49--62
-
DOS/PC/Ada, 13(4)49--62
-
double, 36(1)39--50, 40(2)59--64
-
Doug, 27(3)99--99
-
Dousette, Patricia J., 18(6)212--214
-
Dousette:1998:CCU, 18(6)212--214
-
Dowling, Jim, 42(2)92--95
-
Dowling, Jim, see John, Wolfgang
-
down, 26(2)12--22, 29(3)119--120, 32(3)25--26, 33(1)15--23, 33(3)41--42,
33(3)51--64, 36(2)31--38, 40(1)74--78
-
down, Top-, 5(1)17--31
-
down, top-, 0(0)62--76, 33(3)41--42
-
download, 0(0)273--278, 17(3)3--16, 17(3)30--35, 32(3)9--10, 33(3)7--8
-
downloadable, 29(3)1--2, 31(3)9--10
-
downloaded, 33(3)7--8
-
downloading, 17(3)3--16
-
downstream, 36(2)60--68
-
downward, 27(3)3--3
-
Dowson, Mark, 14(z)104--108
-
Dowson:1994:PWG, 14(z)104--108
-
dozens, 42(1)39--40
-
DP, 8(4)35--46, 10(3)98--100, 10(3)146--210, 10(3)211--216
-
DPS, 6(1)22--28
-
DPW, 12(6)75--80
-
Dr, 16(2)70--70, 16(3)70--71, 29(3)119--120
-
DRA, 17(5)83--87
-
draft, 6(5)34--44, 12(5)84--95, 15(1)70--82, 19(1)97--107, 30(2)53--66,
31(3)19--26, 32(3)15--22, 33(1)84--92, 36(1)29--34
-
DRAGOON, 10(9)50--59
-
Dragoon, 10(9)50--59
-
Drake Moyano, J. M., 17(5)57--64
-
Drake Moyano, J. M., see Gonzalez Harbour, M.
-
Drake, José M., 22(4)58--65,
see Gutiérrez, J. Javier
-
dramatic, 12(6)81--87
-
dramatically, 17(3)57--66, 28(1)88--91
-
dramoletto, 25(3)28--31
-
Draper, 39(1)71--71
-
draw, 35(2)14--14, 39(1)63--70
-
drawbacks, 31(3)3--4, 31(3)27--34, 32(3)11--12, 33(2)97--108,
33(3)11--12, 36(1)68--76, 38(1)41--54, 38(1)74--76
-
drawing, 6(3)71--80, 34(3)61--68
-
drawn, 0(0)16--23, 17(3)17--29
-
drift, 35(2)9--13
-
DRIP, 36(2)60--68
-
Dritc, K., 9(2)72--77
-
Dritc:1989:PHS, 9(2)72--77
-
Dritz, K. W., 11(7)9--46, 11(7)66--82
-
Dritz, Kenneth W., 9(2)72--77, 11(7)3--8, 11(7)47--65, 11(7)83--90
-
Dritz:1989:PHS, 9(2)72--77
-
Dritz:1991:IPS, 11(7)3--8
-
Dritz:1991:PSGa, 11(7)9--46
-
Dritz:1991:PSGb, 11(7)66--82
-
Dritz:1991:RPSa, 11(7)47--65
-
Dritz:1991:RPSb, 11(7)83--90
-
drive, 0(0)77--89, 25(2)42--44, 26(3)77--80, 28(1)92--95, 32(3)95--96
-
driven, 13(4)49--62, 24(4)19--22, 26(2)12--22, 29(3)19--20, 29(3)31--44,
33(3)47--48
-
driven, document-, 29(3)45--60
-
Driven, Event-, 5(2)124--135, 10(6)84--96, 10(8)130--144
-
driven, event-, 10(6)84--96, 10(8)130--144, 10(9)130--144
-
driven, interrupt-, 13(4)49--62, 33(2)75--86
-
Driven, Model-, 32(3)81--94
-
driven, model-, 27(2)53--58, 33(3)65--84
-
driven, program-, 11(1)102--113
-
driver, 10(9)60--64, 19(3)133--143, 29(3)19--20, 33(3)3--4, 36(1)63--67,
37(2)51--58
-
driving, self-, 42(1)90--94
-
DRLMS, 18(6)137--139
-
DROOPI, 21(2)26--52
-
dropped, 30(1)104--115
-
Dross, Claire, 32(3)27--34, 42(1)65--67, 42(1)79, 42(2)62--68
-
Dross, Claire, see Kanig, Johannes,
see Moy, Yannick, \see{Taft, S. Tucker
-
Dross:2022:CSS, 42(2)62--68
-
Drossopoulou, S., 0(0)z--z
-
Drossopoulou, S., see Bever, M.
-
Drossopoulou, Sophia, 0(0)47--56, 3(3)45--57
-
Drossopoulou, Sophia, see Kirchgassner, Walter,
see Persch, Guido
-
Druffel, Larry E., 1(1)16--21, 1(4)21--23
-
Druffel, Larry E., see Buxton, John N.
-
Druffel:1982:NPD, 1(4)21--23
-
Drury, Pace, 19(1)64--65
-
Drury:1999:UAD, 19(1)64--65
-
DSA, 17(5)71--76, 19(3)31--38, 19(3)39--46, 21(4)91--96, 24(1)25--28,
30(1)91--103, 31(2)44--47, 31(2)48--51, 31(2)56--58, 32(1)27--29,
33(1)53--63
-
DSL, 32(3)53--62
-
DSLs, 33(3)3--4
-
DSRS, 17(4)66--73
-
DTD-specific, 30(2)13--18
-
dual, 8(3)98--106, 10(3)72--90, 29(3)23--30
-
dual-redundant, 29(3)23--30
-
dubbed, 40(2)55--58
-
Ducharme, Fred A., Maymir-, 10(9)39--45
-
Ducharme, Fred, Maymir-, 14(z)109--112
-
due, 0(0)16--23, 11(7)244--273, 25(1)43--47, 28(1)92--95, 31(3)47--60,
33(3)9--10, 35(1)59--73, 36(1)51--62, 36(2)31--38, 37(2)37--39,
38(2)43--57
-
Duerinckx, Guido, 17(1)41--53
-
Duerinckx:1997:CRC, 17(1)41--53
-
Duff, Bob, 28(1)31--33, 28(1)34--35, 28(1)36--37, 29(1)25--26,
29(1)27--28, 29(1)33--34, 29(1)71--73, 29(1)81--83
-
Duff, Robert S., 19(3)169--179
-
Duff, Robert S., see Bernstein, Sheri J.
-
Duff:2008:GLTa, 28(1)31--33
-
Duff:2008:GLTb, 28(1)34--35
-
Duff:2008:GLTc, 28(1)36--37
-
Duff:2009:GAC, 29(1)71--73
-
Duff:2009:GMA, 29(1)33--34
-
Duff:2009:GNCa, 29(1)25--26
-
Duff:2009:GNCb, 29(1)27--28
-
Duff:2009:GOR, 29(1)81--83
-
Duggan, Dominic, 12(6)47--49
-
Duggan, Dominic, see Shen, Jun
-
Dulli, S., 2(6)53--58
-
Dulli, S., see Bossi, A.
-
Dulman, Leonid, 23(1)30--34
-
Dulman:2003:VAD, 23(1)30--34
-
DUN, 37(1)9--25
-
Duncan, A. G., 0(0)26--35, 0(0)152--161
-
Duncan, Arthur G., 18(6)89--103
-
Duncan:1980:UAI, 0(0)26--35
-
Duncan:1982:UAI, 0(0)152--161
-
Duncan:1998:RAL, 18(6)89--103
-
Dungrani, S., 0(0)273--278
-
Dungrani, S., see Riley, J.
-
DUNs, 37(1)9--25
-
Dupilka, Chris E., 31(3)39--46
-
Dupilka, Chris E., see PhD, Joyce L. Tokar
-
duplication, 28(1)24--30
-
during, 10(1)97--99, 13(1)63--75, 13(6)133--161, 17(1)54--68,
17(3)17--29, 23(1)12--21, 26(3)45--50, 28(1)76--82, 30(1)45--55,
30(1)104--115, 31(2)9--14, 31(3)7--8, 31(3)39--46, 32(3)15--22,
32(3)95--96, 33(2)49--58, 33(3)43--46, 34(3)3--4, 34(3)19--28,
34(3)47--60, 40(1)45--52, 40(1)53--59, 42(2)32--39
-
dwindling, 0(0)24--39
-
dying, 17(6)19--31
-
Dyke, Daniel L., 13(4)49--62
-
Dyke, Daniel L., see Waterhouse, Daniel F.
-
dynamic, 0(0)62--76, 0(0)165--172, 0(0)190--198, 0(0)199--207,
7(5)79--92, 9(1)84--132, 9(6)119--126, 10(7)47--54, 10(9)39--45,
12(2)102--110, 12(5)77--83, 17(3)67--86, 17(5)24--26, 19(2)41--48,
21(1)91--95, 21(4)99--106, 23(4)24--27, 25(2)31--41, 26(1)56--63,
27(3)8--8, 28(1)96--102, 29(2)65--67, 29(3)5--6, 29(3)79--84,
29(3)119--120, 31(2)48--51, 31(3)7--8, 32(1)46--48, 32(3)9--10,
32(3)15--22, 33(2)9--13, 33(3)7--8, 33(3)21--22, 33(3)37--40,
36(1)51--62, 36(1)68--76, 39(1)100--100, 40(2)65--69, 40(2)73--75,
42(2)62--68
-
dynamic-string, 13(5)32--42
-
dynamically, 26(3)35--42, 27(3)63--68, 42(1)105--105
-
Dynamic_Predicate, 37(2)30--31, 37(2)32--33