Index file section C for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
C
-
C, 1(4)55--58, 13(3)86--87, 13(5)22--31, 13(5)43--47, 14(z)26--35, 15(2)23--30,
15(6)67--69, 16(1)58--69, 17(1)41--53, 17(2)82--91, 17(3)67--86,
17(4)88--112, 19(3)133--143, 23(1)27--29, 27(3)2--2, 27(3)71--74,
27(3)83--88, 27(3)101--107, 29(2)43--45, 29(2)56--60, 29(3)5--6,
29(3)19--20, 31(3)81--90, 32(1)27--29, 32(3)27--34, 33(3)9--10,
33(3)15--18, 34(3)5--12, 34(3)97--102, 36(2)27--30, 38(2)97--108,
40(2)55--58
-
C++, 10(7)63--69, 11(9)116--127, 16(1)58--69, 16(5)48--58, 17(3)3--16,
17(3)67--86, 17(4)88--112, 19(3)181--182, 23(1)27--29, 23(1)45--52,
25(4)23--30, 25(4)93--102, 26(3)45--50, 27(3)2--2, 27(3)83--88,
29(2)43--45, 29(2)56--60, 29(2)61--62, 29(2)63--64, 29(3)3--4,
29(3)5--6, 29(3)19--20, 29(3)23--30, 31(3)81--90, 34(3)5--12,
38(2)89--96, 39(2)35--40, 40(2)55--58, 40(2)70--72, 41(2)77--80
-
C\#, 26(2)23--37, 29(3)3--4, 32(3)27--34
-
c, 39(1)35--49
-
C, Concurrent-, 9(4)105--112
-
c, frama-, 36(2)27--30
-
C-, 13(5)22--31
-
C-130J, 23(1)10--10
-
C-based, 13(5)22--31
-
C.0, 5(1)61--70
-
C.1, 5(1)55--60
-
C.1.1, 7(3)84--93
-
C.1.2, 7(7)55--76, 9(2)118--128
-
C.2.2, 7(6)15--17
-
C.3, 7(5)113--127, 7(6)13--14, 7(6)15--17, 7(6)18--20, 7(6)33--39,
7(6)40--42, 7(6)49--50, 7(6)77--78, 7(6)113--115, 7(6)119--120,
7(6)124--126, 8(1)91--107, 8(3)84--86, 9(7)91--101, 9(7)102--113
-
C.4, 9(5)101--108
-
C0200, 0(0)136--140, 0(0)367--375, 11(2)60--71
-
C0220, 17(2)55--62, 17(3)17--29
-
C0230, 0(0)viii--171, 0(0)136--140
-
C0310, 17(4)74--87
-
C0310B, 0(0)16--23
-
C0310F, 0(0)viii--171, 0(0)10--15, 0(0)24--39, 0(0)40--49, 0(0)50--61,
0(0)102--118, 0(0)119--123, 0(0)141--155
-
C2, 36(2)22--26
-
C3220B, 17(5)57--64
-
C3340F, 17(5)57--64
-
C3360L, 13(6)133--161
-
C3390, 17(5)57--64
-
C4210, 0(0)77--89, 0(0)102--118
-
C4220, 17(6)19--31
-
C4240, 0(0)50--61
-
C5230, 11(7)244--273
-
C5470, 9(5)60--82, 17(5)33--34, 17(5)88--92
-
C5620W, 17(4)17--30, 17(4)31--58
-
C5670, 17(5)88--92
-
C6110, 0(0)24--39, 17(6)19--31
-
C6110B, 0(0)viii--171, 0(0)1--9, 0(0)16--23, 0(0)40--49, 0(0)62--76,
0(0)77--89, 0(0)90--101, 0(0)102--118, 0(0)119--123, 0(0)141--155,
0(0)156--171, 11(7)244--273, 17(1)41--53, 17(2)29--54, 17(4)17--30,
17(4)59--65, 17(4)66--73, 17(5)33--34, 17(5)40--44, 17(5)77--82,
17(5)106--110, 17(6)91--97, 17(6)98--107
-
C6110F, 17(2)29--54, 17(2)63--66, 17(5)83--87, 17(5)93--99, 17(6)32--38
-
C6110J, 0(0)10--15, 0(0)16--23, 0(0)50--61, 0(0)62--76, 13(6)133--161,
17(1)54--68, 17(2)29--54, 17(2)63--66, 17(3)3--16, 17(3)17--29,
17(3)45--56, 17(3)57--66, 17(3)67--86, 17(3)87--96, 17(3)97--108,
17(5)33--34, 17(5)51--56, 17(5)65--70, 17(5)71--76, 17(5)77--82,
17(5)100--105, 17(6)32--38, 17(6)39--46, 17(6)47--64, 17(6)91--97,
17(6)98--107
-
C6110P, 17(2)55--62, 17(3)87--96, 17(5)27--32, 17(5)33--34, 17(5)40--44,
17(6)32--38, 17(6)47--64
-
C6110S, 17(6)39--46, 17(6)91--97
-
C6115, 0(0)16--23, 0(0)77--89, 0(0)102--118, 0(0)124--135, 11(8)177--z,
17(2)82--91, 17(3)30--35, 17(3)45--56, 17(5)40--44, 17(5)45--50,
17(5)51--56, 17(5)93--99, 17(6)39--46, 17(6)65--69
-
C6120, 17(2)63--66, 17(3)57--66, 17(6)32--38, 17(6)47--64, 17(6)70--77,
17(6)78--90
-
C6130, 0(0)90--101, 17(5)27--32
-
C6130G, 17(5)106--110
-
C6130S, 17(5)65--70
-
C6140D, 0(0)viii--171, 0(0)xvi--431, 0(0)1--9, 0(0)16--23, 0(0)24--39,
0(0)40--49, 0(0)62--76, 0(0)77--89, 0(0)90--101, 0(0)102--118,
0(0)156--171, 0(0)367--375, 8(7)65--79, 9(7)114--128, 11(2)60--71,
11(7)244--273, 15(0)vii--242, 17(2)55--62, 17(2)63--66, 17(2)67--81,
17(2)82--91, 17(3)3--16, 17(3)17--29, 17(3)30--35, 17(3)36--44,
17(3)45--56, 17(3)57--66, 17(3)67--86, 17(3)87--96, 17(3)97--108,
17(4)17--30, 17(4)31--58, 17(4)59--65, 17(4)66--73, 17(4)74--87,
17(5)27--32, 17(5)33--34, 17(5)40--44, 17(5)45--50, 17(5)51--56,
17(5)65--70, 17(5)71--76, 17(5)100--105, 17(5)z--z, 17(6)78--90,
17(6)91--97, 17(6)98--107
-
C6150C, 0(0)77--89, 9(5)60--82, 15(0)vii--242, 17(3)3--16, 17(3)17--29,
17(3)30--35, 17(3)36--44, 17(5)45--50, 17(5)93--99
-
C6150E, 17(2)82--91, 17(5)77--82, 17(6)65--69
-
C6150G, 0(0)77--89, 0(0)90--101, 0(0)124--135, 11(7)244--273,
17(5)18--23, 17(5)45--50, 17(5)88--92, 17(6)65--69
-
C6150J, 8(7)65--79, 17(2)82--91, 17(3)36--44, 17(5)18--23, 17(5)24--26,
17(5)45--50, 17(5)57--64, 17(5)77--82
-
C6150N, 17(2)29--54, 17(2)67--81, 17(3)3--16, 17(3)30--35, 17(3)45--56,
17(3)97--108, 17(4)17--30, 17(4)59--65, 17(5)24--26, 17(5)27--32,
17(5)33--34, 17(5)40--44, 17(5)51--56, 17(5)71--76, 17(5)88--92,
17(5)93--99, 17(5)106--110, 17(6)32--38, 17(6)47--64
-
C6155, 17(1)41--53
-
C6160, 0(0)40--49
-
C6160J, 17(4)59--65
-
C6170, 0(0)124--135
-
C6180, 0(0)1--9, 0(0)50--61, 11(8)177--z, 17(4)59--65
-
C6180G, 17(3)45--56
-
C6185, 0(0)1--9
-
C7000, 17(4)66--73
-
C7110, 17(1)54--68
-
C7130, 0(0)10--15
-
C7150, 0(0)1--9, 0(0)90--101, 0(0)119--123, 17(5)93--99
-
C7210, 17(4)17--30, 17(4)31--58, 17(4)59--65
-
C7250R, 17(4)31--58
-
C7300, 17(2)55--62
-
C7410B, 17(5)57--64
-
C7410D, 17(4)17--30
-
C7410F, 17(1)41--53
-
C7420, 13(6)133--161, 17(5)40--44, 17(5)57--64, 17(6)39--46
-
C7460, 0(0)1--9, 0(0)62--76, 13(6)133--161, 17(3)67--86, 17(5)93--99
-
C7470, 17(5)57--64
-
C7810C, 17(1)54--68, 17(4)17--30
-
CA, 27(3)5--6
-
cache, 10(9)29--30, 26(3)9--14, 31(3)19--26
-
C/ACSL, 38(2)89--96
-
CAD, 4(5)49--58, 14(0)ix--118, 14(z)3--15
-
CADA, 4(5)49--58
-
CAEDE, 5(2)173--184, 11(3)125--136, 11(3)z--z
-
CAIS, 4(6)35--43, 5(3)76--83, 6(2)75--76, 7(2)58--72, 8(2)28--38
-
CAISash, 6(2)77--78
-
calculate, 29(3)121--126
-
calculation, 29(3)121--126, 42(1)43--45
-
Caldwell, Ian, 8(6)57--71
-
Caldwell, Ian, see Parsian, Mahmoud
-
CALENDAR, 6(1)20--21
-
calendar, 10(4)136--143
-
California, 23(1)11--11
-
call, 0(0)40--49, 8(6)53--56, 9(6)80--89, 10(1)92--96, 10(1)97--99,
11(2)72--85, 11(6)66--68, 12(1)65--72, 12(2)28--z, 13(2)15--z,
13(2)17--z, 13(2)65--77, 13(6)32--z, 13(6)33--z, 14(2)18--z,
14(2)20--z, 14(z)74--81, 17(5)88--92, 17(5)100--105, 19(1)16--z,
19(2)67--72, 22(1)61--61, 26(3)35--42, 27(2)23--28, 27(3)11--26,
28(1)36--37, 29(2)46--49, 29(2)50--52, 29(3)73--78, 30(1)91--103,
32(3)11--12, 33(1)15--23, 33(3)11--12, 35(1)9--16, 36(2)22--26,
37(2)40--42
-
callable, 17(6)65--69
-
callbacks, 29(2)46--49, 29(2)50--52, 42(1)61--64
-
called, 12(6)75--80, 17(2)63--66, 17(3)3--16, 17(3)30--35, 26(2)12--22,
26(3)61--70, 29(3)85--86, 29(3)103--104, 30(1)116--124, 31(3)61--68,
33(1)157--168, 33(2)49--58, 33(3)1--2, 33(3)15--18, 33(3)65--84,
34(3)29--38, 36(2)18--21, 36(2)27--30, 37(2)32--33, 40(1)74--78,
40(2)55--58, 42(1)95--99
-
caller, 10(1)97--99, 12(6)75--80
-
calling, circular-entry-, 8(5)61--70
-
Camara, F. J., Ballesteros-, 0(0)105--112
-
came, 31(3)37--38, 37(2)34--36
-
Cammi, Antonio, 41(1)69--73
-
Cammi, Antonio, see Castagna, Christian
-
CAMP, 8(5)75--86, 17(4)66--73
-
Campbell, David J., 10(3)91--97
-
Campbell, David J., see Pollack, Robert H.
-
Campbell, John A., 12(4)20--23
-
Campbell:1992:CSL, 12(4)20--23
-
Canada, 11(9)100--115, 39(1)100--100
-
cancelled, 42(2)89--91
-
Cancila, Daniela, 41(1)69--73, 42(2)109--113
-
Cancila, Daniela, see Castagna, Christian,
see Imbruglia, Antonio
-
candidate, 29(2)15--19, 32(1)13--18, 33(1)157--168, 42(1)100--104
-
cannot, 12(2)43--56, 12(6)47--49, 28(1)48--51, 30(1)45--55, 32(3)73--80,
33(1)32--44, 33(2)97--108, 35(1)17--25, 36(2)9--17, 42(2)92--95
-
capability, 0(0)1--8, 0(0)77--89, 0(0)189--196, 2(6)59--62, 9(2)90--101,
9(4)105--112, 10(3)101--110, 10(3)101--z, 10(3)111--125,
10(8)156--160, 10(9)85--93, 12(6)75--80, 17(3)30--35, 17(5)71--76,
23(1)12--21, 26(3)35--42, 27(2)67--71, 27(3)79--82, 29(2)37--39,
29(2)40--42, 29(2)56--60, 29(3)7--8, 30(1)62--67, 30(1)135--146,
31(3)3--4, 32(3)11--12, 32(3)73--80, 33(2)14--32, 33(3)11--12,
33(3)43--46, 34(3)17--18, 34(3)97--102, 36(2)22--26, 40(1)60--63,
40(2)55--58, 42(2)99--103, 42(2)109--113
-
capable, 12(6)47--49, 29(3)73--78
-
capacity, 27(3)69--70, 42(2)92--95
-
Cape, 34(3)1--2
-
Capstone, 0(0)41--50
-
capture, 0(0)50--61, 8(1)80--90, 8(2)96--106, 17(6)39--46, 27(3)1--1,
32(3)3--4, 33(1)101--115, 36(1)83--90, 39(1)35--49
-
capturing, 26(2)12--22, 33(3)3--4, 37(1)9--25
-
card, 9(7)102--113
-
card, IO-, 9(7)102--113
-
cardiac, 34(3)47--60
-
CARDS, 17(4)66--73
-
care, 38(2)109--114
-
career, 31(3)17--18
-
careful, 0(0)90--101, 13(5)32--42, 33(3)43--46
-
carefully, 27(2)61--66, 29(3)31--44
-
Carey, Robert W., 23(1)11--11, 25(4)69--78
-
Carey, Robert W., see Mathisen, David G.
-
Carey:2003:NIF, 23(1)11--11
-
Carletto, Andy, 38(1)70--73
-
Carletto, Paolo, 38(1)40--40
-
Carletto, Tullio, 38(1)40--40
-
Carletto, Tullio, see Carletto, Paolo
-
Carletto:2018:REF, 38(1)40--40
-
Carletto:2018:SSD, 38(1)70--73
-
Carlisle, Homer, 2(5)76--84
-
Carlisle, Homer, see Fernandez, John D.
-
Carlisle, Martin, 21(4)71--72, 22(1)3--10
-
Carlisle, Martin C., 18(2)42--52, 18(5)47--50, 18(6)158--164,
19(3)47--52, 20(2)57--63, 22(3)42--47, 23(1)22--26, 24(1)1--3,
24(1)68--70, 26(1)18--24, 26(3)3--8, 26(3)15--20, 27(3)71--74,
31(3)37--38
-
Carlisle, Martin C., see Humphries, Jeffrey W.,
see Sward, Ricky E.
-
Carlisle:1998:AFI, 18(2)42--52
-
Carlisle:1998:GF, 18(5)47--50
-
Carlisle:1998:RFP, 18(6)158--164
-
Carlisle:1999:TII, 19(3)47--52
-
Carlisle:2000:AOO, 20(2)57--63
-
Carlisle:2001:KAC, 21(4)71--72
-
Carlisle:2002:AVG, 22(3)42--47
-
Carlisle:2002:EP, 22(1)3--10
-
Carlisle:2003:WAN, 23(1)22--26
-
Carlisle:2006:AOP, 26(3)3--8
-
Carlisle:2006:HAI, 26(1)18--24
-
Carlisle:2006:IAV, 26(3)15--20
-
Carlisle:2007:TNN, 27(3)71--74
-
Carlisle:2011:WCB, 31(3)37--38
-
Carlsson, M., 9(7)102--113
-
Carlsson, M., see Asplund, L.
-
Carlsson, Mats, 9(5)89--100
-
Carlsson:1989:DAI, 9(5)89--100
-
Carpenter, Paul B., 19(3)23--29
-
Carpenter:1999:VRS, 19(3)23--29
-
Carr, P., 7(2)58--72
-
Carr:1987:IPC, 7(2)58--72
-
Carrez, Stéphane, 37(2)51--58, 42(1)68--75
-
Carrez:2017:INS, 37(2)51--58
-
Carrez:2022:IBM, 42(1)68--75
-
carried, 33(3)43--46, 35(1)38--45
-
carrier, 32(3)63--70
-
carry, 11(7)244--273, 27(3)69--70, 36(1)25--28, 38(1)41--54, 38(1)74--76
-
Carter, J., 8(3)107--114
-
Carter, J. R., 8(3)107--114, 8(5)47--60
-
Carter, Jeffrey R., 9(4)103--104, 10(1)118--121, 10(5)9--14,
11(1)96--101, 12(2)91--96, 14(3)61--73, 14(6)57--61, 16(3)52--55,
17(2)63--66, 24(3)44--46, 42(1)61--64
-
Carter, Jeffrey R., see Matthews, John
-
Carter, Kyle, 33(3)15--18
-
Carter:1988:MSDa, 8(3)107--114
-
Carter:1988:MSDb, 8(5)47--60
-
Carter:1989:MSD, 8(3)107--114
-
Carter:1989:VLS, 9(4)103--104
-
Carter:1990:FRA, 10(1)118--121
-
Carter:1991:CRA, 11(1)96--101
-
Carter:1992:ARC, 12(2)91--96
-
Carter:1994:ADG, 14(6)57--61
-
Carter:1994:ADN, 14(3)61--73
-
Carter:1996:BAP, 16(3)52--55
-
Carter:1997:OVR, 17(2)63--66
-
Carter:2004:PRC, 24(3)44--46
-
Carter:2013:SSA, 33(3)15--18
-
Carter:2022:OAG, 42(1)61--64
-
CAS, 29(3)21--22
-
CAS/COTS/FOSS, 29(3)21--22
-
CASE, 11(2)98--106, 11(9)56--66, 12(3)67--83, 12(6)29--45, 13(3)21--z,
13(6)37--55, 14(3)20--38, 14(4)28--35, 14(6)19--40, 15(6)22--43,
16(3)19--19, 16(6)40--50, 17(4)74--87, 18(4)22--31, 18(5)57--66,
26(3)61--70, 27(3)41--50, 39(1)9--16
-
case, 0(0)50--61, 0(0)51--66, 0(0)77--89, 0(0)90--101, 2(3)34--37,
2(3)51--59, 6(1)22--28, 6(2)90--91, 7(7)33--54, 9(4)92--102,
10(6)16--17, 10(9)118--125, 11(3)115--124, 11(7)244--273,
12(1)65--72, 12(3)92--98, 12(6)81--87, 13(4)29--36, 13(4)63--70,
14(1)38--49, 15(5)46--51, 17(5)40--44, 17(6)98--107, 21(1)96--104,
21(3)26--30, 24(1)68--70, 26(2)23--37, 26(3)77--80, 27(2)23--28,
27(3)8--8, 29(1)25--26, 29(2)53--55, 29(2)65--67, 29(3)61--72,
29(3)73--78, 31(3)47--60, 32(3)3--4, 32(3)5--6, 33(2)33--39,
33(3)23--36, 33(3)49--50, 33(3)51--64, 34(3)19--28, 34(3)61--68,
34(3)105--106, 36(2)9--17, 37(2)37--39, 37(2)40--42, 40(1)60--63,
40(1)74--78, 40(1)91--96, 40(2)59--64, 40(2)76--91, 41(2)77--80,
41(2)81--85
-
case, worst-, 14(5)88--91
-
cases, use-, 42(2)92--95
-
Cash, 25(4)93--102, 41(2)77--80
-
Casimiro, António, 42(1)86--89,
see Sousa, Inês Sousa
-
Casinghino, Chris, 39(1)71--71
-
Casinghino:2020:LPH, 39(1)71--71
-
Caspersen, Gert, 21(1)96--104
-
Caspersen, Gert, see Vardanega, Tullio
-
Casselman, R., 11(3)91--101, 14(z)3--15
-
Casselman, R., see Buhr, R. J. A.
-
Castagna, Christian, 41(1)69--73
-
Castagna:2021:AAN, 41(1)69--73
-
Castellano, G. Vincent, 16(3)39--51
-
Castellano:1996:SOM, 16(3)39--51
-
casts, 29(2)53--55
-
CASWGash, 6(2)77--78
-
catalog, 38(2)9--42
-
cataloging, 0(0)50--61, 17(5)77--82
-
Catalogue, 11(8)177--z, 17(5)77--82
-
catastrophic, 27(3)2--2, 29(1)51--52, 36(2)39--46, 36(2)54--57
-
catch, 26(3)29--34
-
category, 17(6)78--90, 29(2)20--27, 29(2)37--39, 38(2)43--57
-
cation, 39(1)35--49
-
caught/handled, 29(2)53--55
-
causality, 32(3)7--8
-
cause, 27(3)2--2, 31(2)9--14, 32(3)7--8, 32(3)9--10, 32(3)15--22,
32(3)51--52, 36(2)39--46, 40(2)59--64
-
caused, 26(3)9--14, 27(3)5--6, 36(2)58--59
-
caution, 33(3)23--36
-
cautiously, 17(3)67--86
-
CAUWG, 12(2)29--z, 12(3)64--z
-
Cavalcanti, A. L. C., 33(2)75--86
-
Cavalcanti, A. L. C., see Wellings, A. J.
-
CbC, 42(2)75--78
-
CBMC, 33(3)9--10
-
CBSE, 29(3)45--60
-
CbyC, 27(3)5--6
-
C/C++, 13(5)43--47, 39(2)25--28, 41(2)77--80
-
cc-NUMA, 30(1)125--134
-
CCSDS, 42(1)100--104
-
CD-ROMs, 17(4)31--58
-
CDROM, 17(4)31--58
-
CDT, 27(3)99--99
-
cease, 31(3)19--26
-
Cecílio, J., 42(1)90--94, see Loureiro, J.
-
Cec{\'{\i}}lio, Jos{\'e}, 42(1)86--89,
see Sousa, Inês Sousa
-
ceiling, 8(7)20--31, 8(7)35--38, 19(2)41--48, 21(1)91--95, 22(4)66--71,
23(4)24--27, 26(1)56--63, 27(1)24--39, 33(1)32--44, 35(1)9--16
-
Ceiling_Locking, 26(1)64--65
-
Celarier, Donald A., 11(7)274--284
-
Celarier:1991:AML, 11(7)274--284
-
celebration, 35(2)15--21
-
Celier, V., 0(0)165--172
-
Celier:1997:MUD, 0(0)165--172
-
cell, 17(6)19--31, 32(3)51--52, 33(3)21--22
-
cell, inter-, 17(6)19--31
-
cellular, 17(6)19--31
-
Centeno-Gonzalez, J., 0(0)21--30, 0(0)105--112
-
Centeno-Gonzalez, J., see De las Heras-Quiros, P.,
see Gonzalez-Barahona, J. M.
-
center, 0(0)62--76, 0(0)90--101, 2(4)97--100A, 8(4)103--118,
8(4)104--118, 13(4)49--62, 27(3)69--70, 34(3)69--70
-
centered, student-, 36(2)18--21
-
centerpiece, 32(3)27--34
-
central, 17(4)17--30, 32(3)1--2
-
centralized, 8(7)86--96, 42(2)92--95
-
Centre, 16(5)35--47
-
centres, 17(4)17--30, 17(4)31--58, 17(4)59--65
-
centric, architecture-, 33(3)43--46, 36(2)31--38
-
century, 31(3)37--38
-
century., 27(3)3--3
-
Ceri, S., 5(2)109--123
-
Ceri, S., see Di Maio, A.
-
certain, 13(5)32--42, 26(3)51--60, 27(3)83--88, 28(1)34--35,
30(1)135--146, 31(2)36--39, 31(2)40--43, 32(3)95--96, 33(3)21--22,
40(2)48--50
-
certainly, 26(2)12--22
-
certificates, 40(1)91--96
-
certification, 17(5)45--50, 21(4)31--38, 23(1)40--43, 26(3)77--80,
27(2)29--36, 27(3)2--2, 27(3)83--88, 29(3)103--104, 31(3)5--6,
31(3)13--14, 32(3)15--22, 32(3)27--34, 32(3)103--104, 34(3)47--60,
36(2)54--57, 39(1)35--49, 42(1)65--67
-
certified, 29(2)36--36, 42(1)65--67
-
certified, FAA-, 23(1)40--43
-
certify, 27(2)29--36
-
certifying, 23(1)40--43, 33(3)65--84
-
CFP, 26(1)66--66
-
CGN-36, 10(6)84--96
-
CGN-36/NTU, 10(6)84--96, 10(8)130--144
-
Chachkov, Stanislav, 21(3)41--56
-
Chachkov, Stanislav, see Strohmeier, Alfred
-
Chair, 14(2)13--z, 14(3)12--z, 15(4)12--z, 19(1)1--z, 20(1)1--2,
20(2)1--2, 20(3)1--2, 20(4)1--2, 21(2)1--2, 21(3)1--2, 22(1)1--2,
26(1)7--11
-
Chair, Vice-, 16(1)16--z
-
chairman, 27(2)37--40
-
chairperson, 5(3)61--62, 6(2)51--52, 6(2)53--56, 6(2)59--59, 6(2)73--74,
6(2)93--93, 6(2)96--99
-
Chaki, Sagar, 33(3)9--10, 36(2)27--30
-
Chaki:2013:BMC, 33(3)9--10
-
Chaki:2016:CBV, 36(2)27--30
-
Chalin, Patrice, 31(3)47--60, 32(3)3--4
-
Chalin, Patrice, see Belt, Jason
-
challenge, 0(0)10--15, 7(5)113--127, 17(1)54--68, 23(1)45--52,
26(2)12--22, 27(3)2--2, 28(1)96--102, 29(3)11--12, 29(3)119--120,
29(3)121--126, 31(3)1--2, 31(3)13--14, 33(3)85--86, 34(3)17--18,
34(3)39--46, 34(3)47--60, 34(3)105--106, 38(2)9--42, 39(1)9--16,
40(1)53--59, 40(2)70--72, 40(2)92--95, 41(1)64--68, 42(1)43--45,
42(2)69--74, 42(2)92--95, 42(2)96--98
-
challenging, 29(3)121--126, 32(3)9--10, 33(3)23--36, 33(3)51--64,
42(1)100--104
-
chamber, 23(1)11--11
-
Chambers, John M., 1(4)55--58
-
Chambers:1982:EAL, 1(4)55--58
-
Chamillard, A. T., 0(0)37--40, 18(2)42--52, 18(6)61--67, 24(1)10--16,
24(4)29--34
-
Chamillard, A. T., see Carlisle, Martin C.,
see Sward, Ricky E.
-
Chamillard:1997:TAI, 0(0)37--40
-
Chamillard:1998:UAN, 18(6)61--67
-
Chan, Arvola, 5(2)41--57
-
Chan, Arvola, see Fox, Stephen,
see Smith, John M.
-
chance, 27(3)97--98
-
Chandna, Asheem, 0(0)116--125
-
Chandna, Asheem, see Schultz, William L.
-
Chang, Shih, 4(1)32--39
-
Chang, Shih, see Basili, Victor R.
-
change, 0(0)141--155, 1(3)34--43, 10(4)5--14, 10(4)49--56, 10(6)61--67,
10(6)110--113, 10(9)31--34, 11(2)72--85, 12(1)53--64, 12(6)50--58,
12(6)75--80, 12(6)81--87, 13(2)44--53, 13(2)91--96, 13(3)88--90,
14(2)13--z, 17(2)55--62, 17(5)18--23, 21(1)27--32, 22(4)66--71,
22(4)113--119, 22(4)125--127, 26(1)18--24, 26(3)9--14, 26(3)77--80,
27(2)18--22, 27(2)72--74, 27(3)59--62, 27(3)71--74, 29(1)35--37,
29(3)103--104, 29(3)119--120, 30(1)16--25, 30(1)73--85,
30(1)91--103, 30(1)104--115, 30(1)116--124, 31(3)35--36,
32(3)35--42, 33(1)116--127, 33(2)9--13, 33(2)49--58, 33(2)59--65,
33(2)75--86, 33(2)97--108, 33(3)43--46, 34(3)19--28, 35(2)14--14,
36(1)68--76, 36(2)31--38, 36(2)39--46, 36(2)58--59, 37(2)43--50
-
changed, 0(0)141--155, 26(1)56--63, 29(3)119--120, 33(2)40--48,
33(2)97--108
-
changing, 29(1)35--37, 29(1)38--40, 29(3)45--60, 33(1)93--100,
33(2)97--108
-
channel, 14(6)73--76, 31(2)15--22, 32(1)13--18, 32(2)9--16,
33(1)157--168
-
Chapin, Peter, 29(3)87--90, 36(2)18--21
-
Chapin, Peter, see Brandon, Carl,
see Loseby, Chad
-
Chapman, Rod, 27(3)5--6, 27(3)100--100, 30(2)27--52, 31(2)30--32
-
Chapman, Rod, see Burns, Alan
-
Chapman, Roderick, 14(5)88--91, 20(4)64--68, 23(1)1--9, 24(1)4--9,
24(4)39--46
-
Chapman, Roderick, see Amey, Peter
-
Chapman:1994:SWC, 14(5)88--91
-
Chapman:2000:IES, 20(4)64--68
-
Chapman:2004:ESS, 24(4)39--46
-
Chapman:2007:CCP, 27(3)100--100
-
Chapman:2007:MSC, 27(3)5--6
-
Chapman:2011:GSS, 31(2)30--32
-
Chapple, Jeff, 31(3)7--8, 31(3)69--74
-
Chapple, Jeff, see Abraham, Jay
-
chapter, 15(6)7--z, 19(1)9--z, 20(1)8--9, 20(2)8--9, 20(3)8--9, 27(3)3--3,
29(1)45--47, 29(1)50--50, 29(1)53--53, 29(1)57--57, 29(1)61--61,
29(1)65--65, 29(1)69--69, 29(1)70--70, 29(1)74--74, 29(1)77--77,
29(1)80--80, 29(2)36--36
-
character, 6(1)63--71, 9(7)85--90, 10(2)84--88, 10(4)159--165,
10(6)47--60, 10(7)70--84, 11(3)73--82, 13(5)43--47, 37(2)18--22
-
character, character-by-, 8(3)87--97
-
character-by-character, 8(3)87--97
-
characteristic, 0(0)62--76, 6(2)41--50, 10(4)57--65, 17(3)3--16,
27(3)69--70, 29(3)7--8, 31(2)9--14, 33(1)64--83, 33(1)157--168,
33(3)43--46, 36(2)47--48, 39(2)35--40
-
characterizations, 10(4)85--96
-
Chard, Kyle, 40(2)51--54, 40(2)73--75
-
Chard:2021:EAP, 40(2)73--75
-
Chard:2021:LSP, 40(2)51--54
-
Charles, 24(3)23--30
-
Charles, Philippe, 2(2)34--45
-
Charles:1982:LGA, 2(2)34--45
-
Charlet, Arnaud, 29(2)56--60, 29(2)61--62, 29(2)63--64
-
Charlet, Arnaud, see Miranda, Javier
-
Charlet:2009:GGA, 29(2)56--60
-
Charrette, 0(0)72--81
-
chart, 3(2)93--97, 6(3)71--80, 6(6)49--53, 9(6)108--118
-
Charter, 15(3)40--z
-
Charting, 33(1)64--83
-
Chase, Anna I., 2(3)51--59
-
Chase:1982:CFA, 2(3)51--59
-
check, 1(4)24--26, 2(4)54--57, 17(1)41--53, 29(1)27--28, 29(1)51--52,
29(1)66--68, 29(1)71--73, 29(2)53--55, 29(2)65--67, 31(2)36--39,
31(2)40--43, 31(3)7--8, 32(3)3--4, 32(3)15--22, 32(3)27--34,
32(3)35--42, 32(3)97--102, 33(3)21--22, 36(2)47--48, 36(2)58--59,
37(2)13--17, 37(2)40--42
-
checked, 29(2)53--55, 33(3)13--14
-
checker, 33(3)9--10, 33(3)85--86, 34(3)69--70, 34(3)97--102, 36(2)9--17,
39(2)29--34, 42(2)40--44
-
checking, 3(1)55--56, 3(2)46--54, 11(3)49--60, 13(4)44--48, 16(3)56--69,
17(1)41--53, 17(2)67--81, 17(3)3--16, 19(2)78--83, 28(1)76--82,
29(3)9--10, 31(3)11--12, 31(3)13--14, 31(3)47--60, 32(3)3--4,
32(3)27--34, 32(3)35--42, 32(3)97--102, 33(3)9--10, 33(3)43--46,
33(3)85--86, 34(3)81--86, 36(1)51--62, 36(2)9--17, 36(2)47--48,
36(2)58--59, 42(2)40--44
-
checklists, 7(5)51--62
-
checksum, 17(1)41--53
-
cheddar, 24(4)1--8, 26(3)61--70, 27(3)41--50, 29(3)31--44, 31(3)15--16,
31(3)61--68, 32(3)81--94
-
Chelini, J., 10(9)130--144
-
Chelini, J., see Hughes, D.
-
Chelini, James, 29(3)103--104
-
Chelini, James V., 4(4)32--37, 10(6)84--96, 10(8)130--144
-
Chelini, James V., see Armitage, James W.
-
Chelini:1990:EEDa, 10(6)84--96
-
Chelini:1990:EEDb, 10(8)130--144
-
Chelini:2009:WTD, 29(3)103--104
-
Chemistry, 9(5)89--100
-
Chen, Zhenqiang, 21(4)107--114, 24(1)62--67
-
Chen, Zhenqiang, see Xu, Baowen
-
Chen:2001:DCE, 21(4)107--114
-
Cheng, Albert M. K., 27(1)24--39, 30(3)13--22
-
Cheng, Albert M. K., see Ras, Jim
-
Cheng, J., 0(0)67--78, 8(5)61--70
-
Cheng, Jingde, 9(2)52--61, 10(5)110--127, 11(1)82--91, 12(4)24--35,
25(1)48--56, 33(1)169--179, 37(1)9--25
-
Cheng, Jingde, see Ekiba, Takeo,
see Tojo, Yasushi, \see{Wang, Bo
-
Cheng:1988:TCD, 8(5)61--70
-
Cheng:1989:NAT, 9(2)52--61
-
Cheng:1990:CTD, 10(5)110--127
-
Cheng:1991:STD, 11(1)82--91
-
Cheng:1992:TDN, 12(4)24--35
-
Cheng:1997:TDN, 0(0)67--78
-
Cheng:2007:IPC, 27(1)24--39
-
Cherry, George W., 11(5)30--46
-
Cherry:1991:SRM, 11(5)30--46
-
Chew, Hong, 11(3)73--82
-
Chew, Hong, see Ford, Ray
-
chief, 23(1)45--52
-
child, 15(4)29--35, 17(1)41--53, 17(6)70--77, 26(1)31--44, 26(2)38--47,
29(3)5--6
-
CHILL, 3(4)78--91
-
Chin, Chi-Hua, 11(2)72--85
-
Chin, Chi-Hua, see Lee, Pen-Nan
-
China, 14(4)72--75
-
Chinese, 10(2)84--88
-
chip, 27(3)79--82, 31(3)19--26
-
chip-making, 29(3)61--72
-
Choi, Sungwoon, 14(z)16--25
-
Choi:1994:UIS, 14(z)16--25
-
choice, 0(0)xiii--312, 10(4)85--96, 13(4)63--70, 26(2)23--37, 27(3)2--2,
29(3)105--114, 29(3)119--120, 31(2)33--35, 31(3)69--74, 31(3)81--90,
32(3)9--10, 33(3)41--42, 36(1)25--28
-
Cholpanov, V., 36(1)51--62
-
Cholpanov, V., see Wellings, A. J.
-
Chong, Stephen, 38(2)69--88
-
Chong:2019:PLS, 38(2)69--88
-
chooses, 27(3)100--100
-
choosing, 16(1)54--57, 29(2)37--39, 42(2)104--108
-
chose, 26(3)61--70, 29(3)105--114, 40(2)70--72
-
chosen, 29(3)79--84, 30(1)125--134, 33(3)87--88
-
Chouteau, Fabien, 42(1)46--49
-
Chouteau, Fabien, see Mosteo, Alejandro R.
-
Christensen, Elisabeth Broe, 7(6)116--118
-
Christensen:1987:AFR, 7(6)116--118
-
Christiansen, Elisabeth Broe, 7(6)116--118
-
Christiansen:1987:AFR, 7(6)116--118
-
Cicalese, Cindy, 30(3)9--10
-
Cicalese, Cynthia, 29(3)11--12
-
Cicalese:2009:USA, 29(3)11--12
-
Cicalese:2010:USA, 30(3)9--10
-
Cicchetti, Antonio, 42(2)99--103
-
Cicchetti, Antonio, see Bagnato, Alessandra
-
CI/CD, 40(2)65--69
-
Cichelli, 26(1)25--30
-
CIFO, 11(8)177--z, 17(5)77--82
-
Cincinnati, 0(0)336
-
circuit, 12(6)59--74, 29(2)15--19
-
circular, 10(5)110--127
-
circular-entry-calling, 8(5)61--70
-
cited, 12(6)47--49
-
cities, 42(2)92--95
-
citizen, 14(4)12--15
-
civil, 14(6)73--76, 27(3)69--70
-
civilian, 16(1)44--45
-
claim, 34(3)19--28
-
Clang, 39(2)25--28
-
Clang/LLVM, 39(2)25--28
-
Clapp, Russell M., 9(2)118--128, 10(3)8--13, 10(3)10--13, 10(3)14--19,
10(3)20--28, 10(3)29--32, 10(3)33--37, 10(3)59--59, 10(3)98--100
-
Clapp:1989:AH, 9(2)118--128
-
Clapp:1990:ISI, 10(3)10--13
-
Clapp:1990:O, 10(3)59--59
-
Clapp:1990:PDI, 10(3)33--37
-
Clapp:1990:RDI, 10(3)8--13
-
Clapp:1990:RFT, 10(3)98--100
-
Clapp:1990:SP, 10(3)29--32
-
Clapp:1990:TB, 10(3)14--19
-
Clapp:1990:TP, 10(3)20--28
-
clarification, 13(2)91--96, 29(3)103--104
-
clarify, 26(1)45--55, 29(2)20--27
-
clarifying, 35(1)38--45
-
clarity, 35(1)59--73
-
Clark, Robert G., 7(6)107--109
-
Clark:1987:DCO, 7(6)107--109
-
Clarke, David, 17(3)97--108
-
Clarke, Lori A., 0(0)139--145
-
Clarke:1980:NAB, 0(0)139--145
-
Clarke:1997:OCO, 17(3)97--108
-
Clarson, Donald R., 7(1)89--93, 7(5)96--99
-
Clarson:1987:AIH, 7(1)89--93
-
Clarson:1987:PAD, 7(5)96--99
-
class, 10(4)78--84, 12(2)76--90, 12(2)102--110, 12(5)77--83, 15(2)54--58,
16(3)39--51, 17(3)17--29, 17(5)35--39, 17(6)47--64, 19(1)66--96,
20(1)25--37, 23(1)1--9, 23(1)11--11, 26(1)18--24, 27(2)90--95,
28(1)48--51, 28(1)52--58, 28(1)96--102, 29(1)78--79, 29(3)3--4,
29(3)5--6
-
Class, First-, 21(3)35--40
-
class, in-, 27(3)4--4, 29(3)15--16
-
class-wide, 28(1)48--51
-
classic, 0(0)16--23, 12(5)77--83, 29(1)54--56
-
Classic-Ada, 12(2)102--110, 12(5)77--83
-
classical, 1(2)11--14, 12(1)73--84, 13(4)37--43, 23(1)27--29,
33(1)84--92, 36(2)9--17
-
classified, 29(2)37--39, 36(2)31--38
-
classified, arc-, 37(1)9--25
-
classify, 39(1)63--70
-
Classifying, 0(0)216--225, 6(4)53--65
-
Classwide, 28(1)52--58
-
clause, 7(4)98--101, 7(7)77--81, 8(1)52--57, 8(3)123--127, 14(1)27--29,
19(4)13--18, 39(2)29--34
-
CLAW, 0(0)91--104
-
Clayton, Eugene, 15(4)19--21
-
Clayton, Eugene, see Botting, Paul
-
cleaned-up, 17(3)3--16
-
cleaner, 17(2)82--91
-
clear, 11(5)30--46, 33(1)15--23, 33(3)13--14, 34(3)103--104
-
clearly, 0(0)141--155
-
Clemmensen, G. B., 0(0)224--237
-
Clemmensen, Geert. B., 6(1)22--28
-
Clemmensen:1982:FMD, 0(0)224--237
-
Clemmensen:1986:RRD, 6(1)22--28
-
Cleophas, Loek, 38(2)64--68
-
Cleophas, Loek, see Runge, Tobias
-
client, 12(4)36--41, 17(3)45--56, 23(1)11--11, 26(3)71--74, 32(2)37--38
-
client-server, 16(5)59--69, 17(3)45--56
-
clientash, 31(2)44--47
-
client/server, 23(1)12--21, 31(2)44--47, 31(2)48--51, 31(2)56--58
-
Clifford, Ben, 40(2)73--75
-
Clifford, Ben, see Chard, Kyle
-
climbing, 27(3)69--70
-
clock, 8(3)98--106, 10(3)91--97, 14(1)61--67, 23(4)82--86, 26(1)31--44,
30(1)104--115, 31(3)19--26, 38(1)55--57, 38(1)77--78, 41(1)87--91
-
close, 13(3)91--95, 27(3)100--100, 31(3)5--6, 33(3)85--86
-
closed, 19(3)163--168
-
closely, 13(2)78--90, 17(3)57--66, 29(3)9--10, 29(3)73--78, 33(3)41--42
-
closer, 42(1)90--94, 42(2)92--95
-
closing, 0(0)16--23
-
closures, 10(1)122--130, 27(3)3--3
-
cloud, 40(2)65--69, 42(2)104--108
-
Cloud, Edge-, 42(2)114--118
-
cloud, multi-, 42(2)104--108
-
Cloud-hosting, 42(2)104--108
-
cloud-native, 40(2)65--69
-
Clough, Ann, 8(5)101--109
-
Clough, Ann, see Tetewsky, Avram
-
cluster, 25(4)31--36, 33(1)32--44, 42(2)99--103
-
Clustering, 0(0)216--225
-
CMM, 23(1)10--10
-
CMS, 14(z)26--35
-
CMS-2, 6(1)72--81, 32(3)63--70
-
CNS/ATM, 27(3)69--70
-
Co-Assurance, 42(2)55--61
-
co-design, 18(6)18--27, 33(3)3--4
-
Co-Designs, 36(2)9--17
-
co-designs, 36(2)9--17
-
co-engineering, 39(2)41--48
-
co-evolved, 23(1)45--52
-
co-pilots, 33(3)9--10
-
co-processors, 10(4)159--165
-
COBOL, 4(4)38--48, 7(1)82--88, 32(3)95--96
-
COBOL, Ada-, 16(1)36--43
-
Cocco, N., 2(6)53--58
-
Cocco, N., see Bossi, A.
-
COCOON, 17(6)32--38
-
CODASYL, 7(3)40--49
-
code, byte-, 17(3)3--16
-
code, object-, 17(3)3--16
-
code, source-, 7(5)42--50, 29(3)85--86
-
code-based, 28(1)88--91
-
Code-Level, 42(2)45--54
-
CODE-TOP, 17(5)33--34
-
codebases, 39(2)25--28, 41(2)77--80
-
CodeContracts, 33(3)7--8
-
code/contracts, 32(3)3--4
-
coded, 10(6)47--60
-
codes, byte-, 17(3)3--16
-
coding, 6(1)41--48, 6(5)34--44, 7(1)94--96, 9(7)114--128, 12(2)43--56,
13(2)91--96, 17(3)57--66, 17(5)45--50, 27(2)37--40, 27(2)53--58,
28(1)76--82, 31(3)13--14, 31(3)81--90, 34(3)61--68, 36(2)58--59,
42(2)99--103
-
coefficient, 23(1)45--52
-
coexistence, 38(1)14--18
-
coexisting, 36(1)68--76
-
Cofer, 33(3)43--46
-
Cofer, Darren, 34(3)19--28
-
Cofer, Darren, see Gacek, Andrew
-
Cohen, Ellis S., 6(1)55--62
-
Cohen, Norman H., 2(2)61--68, 5(3)30--44, 8(2)77--83, 14(1)27--29
-
Cohen, Paul M., 1(1)22--25
-
Cohen, S. G., 8(5)75--86
-
Cohen, S. G., see Herr, C. S.
-
Cohen:1981:HAA, 1(1)22--25
-
Cohen:1982:PQE, 2(2)61--68
-
Cohen:1985:TAM, 5(3)30--44
-
Cohen:1986:UEC, 6(1)55--62
-
Cohen:1988:DAT, 8(2)77--83
-
Cohen:1994:EIR, 14(1)27--29
-
coherency, 41(1)74--77
-
coherent, 17(5)40--44, 33(1)15--23, 38(1)55--57, 41(1)74--77
-
cohesion, 4(6)49--59, 6(4)44--52, 11(2)115--127, 24(1)62--67
-
Colbert, Edward, 10(6)5--5
-
Colbert:1990:S, 10(6)5--5
-
Cole, Oliver, 19(4)19--21
-
Cole:1999:CAA, 19(4)19--21
-
Colket, C., 9(1)47--70
-
Colket, C., see Bardin, B.
-
Colket, Currie, 15(4)50--63, 15(5)32--33, 17(1)35--40, 17(2)26--28,
21(2)12--16, 21(3)1--2, 22(1)1--2
-
Colket, Currie, see Roby, Clyde
-
Colket, William Currie, 18(4)111--113, 19(3)67--76
-
Colket, William Currie, see Blake, Stephen
-
Colket:1995:ASI, 15(4)50--63
-
Colket:1995:HJA, 15(5)32--33
-
Colket:1997:AAT, 17(1)35--40
-
Colket:1997:ASI, 17(2)26--28
-
Colket:1999:CAS, 19(3)67--76
-
Colket:2001:MC, 21(3)1--2
-
Colket:2002:MC, 22(1)1--2
-
collaboration, 31(3)17--18, 32(3)3--4
-
collaborative, 27(3)41--50
-
collaborators, 33(3)43--46
-
Collard, P., 9(6)119--126
-
Collard, Philippe, 8(6)72--81, 10(3)38--58
-
Collard, Philippe, see Goforth, Andre
-
Collard:1988:KBS, 8(6)72--81
-
Collard:1989:OOP, 9(6)119--126
-
collateral, 11(7)47--65
-
colleague, 26(1)25--30, 34(3)1--2
-
collected, 13(5)22--31, 13(5)32--42, 40(1)53--59
-
collected, garbage-, 11(5)79--90, 13(5)32--42
-
collection, 6(1)55--62, 7(5)79--92, 9(7)114--128, 11(2)60--71,
11(5)79--90, 13(5)32--42, 31(3)39--46, 32(3)15--22, 40(2)65--69,
42(2)45--54
-
collectively, 33(3)15--18
-
collector, 10(3)217--229
-
Collingbourne, L. R., 7(6)15--17
-
Collingbourne:1987:PAD, 7(6)15--17
-
Collins, W. Robert, 18(4)107--110
-
Collins:1998:TSS, 18(4)107--110
-
collision, 40(1)91--96
-
collocation, 34(3)29--38
-
COLUMBUS, 11(2)107--114
-
Columbus, 11(2)107--114
-
column, 11(4)91--98, 26(2)75--83, 28(1)59--70, 29(1)84--97, 30(2)67--78,
31(2)59--69, 35(2)15--21
-
COM, 19(3)9--14
-
Comar, C., 0(0)149--164
-
Comar, Cyrille, 25(2)31--41
-
Comar:1997:TGJ, 0(0)149--164
-
Comar:2005:DPL, 25(2)31--41
-
combination, 0(0)viii--171, 0(0)24--39, 0(0)77--89, 13(5)32--42,
28(1)96--102, 29(3)45--60, 32(3)5--6, 33(3)51--64
-
combine, 27(3)71--74, 33(2)14--32, 34(3)19--28, 36(2)58--59, 41(1)83--86
-
combined, 0(0)62--76, 12(1)43--52, 34(3)39--46, 36(1)68--76, 38(1)14--18,
38(1)41--54, 38(1)74--76, 42(2)109--113
-
combining, 19(2)49--53, 21(1)67--74, 32(3)5--6, 38(1)14--18
-
Combs, 4(6)32--34
-
come, 17(3)57--66, 29(1)66--68, 33(3)87--88, 34(3)61--68, 40(1)64--73,
40(1)91--96
-
Comfort, 39(1)71--71
-
comic-strip, 31(2)40--43
-
coming, 27(3)100--100, 29(1)45--47, 29(1)50--50, 29(1)53--53,
29(1)57--57, 29(1)61--61, 29(1)65--65, 29(1)69--69, 29(1)70--70,
29(1)74--74, 29(1)77--77, 29(1)80--80, 29(3)121--126, 39(2)25--28
-
comings, short-, 33(1)157--168
-
comm, 32(3)71--72
-
command, 0(0)45--55, 0(0)181--186, 3(4)51--61, 4(4)38--48, 6(6)61--71,
8(7)101--103, 9(7)114--128, 10(5)88--100, 11(3)73--82, 11(3)z--z,
16(5)35--47, 17(2)82--91, 18(6)81--88, 18(6)212--214, 19(3)83--88,
21(4)53--60, 31(2)40--43, 36(2)22--26, 37(1)39--42, 37(1)43--45
-
Command, Air Force Systems, 10(3)111--125
-
command-line, 9(4)103--104, 10(5)88--100, 11(3)73--82
-
Command:1990:ACE, 10(3)111--125
-
comment, 0(0)16--23, 3(2)76--z, 8(2)28--38, 8(2)107--109, 10(2)89--94,
10(6)16--17, 13(2)44--53, 15(6)57--66, 32(3)27--34, 35(2)15--21
-
commentary, 9(3)1--341, 12(2)97--101
-
commerce, 16(1)44--45
-
commercial, 1(4)46--54, 2(5)56--59, 9(2)45--51, 12(1)43--52, 12(2)29--z,
12(3)64--z, 14(3)80--90, 16(1)44--45, 16(5)59--69, 17(5)51--56,
19(1)28--39, 19(4)32--36, 20(2)19--26, 27(3)2--2, 27(3)69--70,
31(3)5--6, 32(3)103--104, 34(3)1--2, 40(1)53--59
-
Commercial-Off-The-Shelf, 27(3)2--2
-
commercialization, 16(1)44--45
-
Commercializing, 16(1)44--45, 26(1)16--17
-
commercially, 9(4)30--42, 10(4)114--118, 10(5)48--61, 11(2)107--114,
18(4)22--31, 31(3)3--4, 31(3)47--60, 32(3)11--12, 33(3)11--12,
36(2)22--26
-
Commission, 35(1)93--94
-
commissioned, 23(1)11--11
-
commit, 27(3)99--99
-
commitment, 0(0)10--15
-
committee, 5(3)61--62, 6(2)51--52, 8(3)69--80, 9(3)1--341, 11(7)3--8,
12(2)43--56, 12(3)65--z, 14(6)3--z, 15(1)3--z, 15(3)3--z, 15(6)4--z,
29(3)103--104
-
commodity, 29(3)119--120, 37(2)18--22
-
common, 6(2)84--84, 10(5)88--100, 11(2)56--59, 15(1)64--69, 16(3)39--51,
16(5)59--69, 17(5)71--76, 23(1)1--9, 23(1)11--11, 23(1)22--26,
26(2)12--22, 27(2)41--47, 27(3)7--7, 28(1)52--58, 28(1)88--91,
29(2)53--55, 29(2)61--62, 29(3)3--4, 29(3)13--14, 31(2)9--14,
31(3)39--46, 32(3)9--10, 32(3)25--26, 32(3)97--102, 33(1)15--23,
33(1)64--83, 33(2)33--39, 33(3)65--84, 34(3)1--2, 34(3)61--68,
34(3)71--80, 35(1)59--73, 36(1)9--24, 36(2)39--46, 36(2)60--68,
37(2)40--42, 38(2)9--42, 40(2)65--69, 40(2)76--91, 42(1)79,
42(2)69--74
-
commonly, 10(9)65--69, 16(6)51--54, 31(3)81--90, 36(1)68--76,
39(2)35--40
-
communicate, 17(3)87--96, 23(1)11--11, 40(2)65--69
-
communicated, 25(3)19--27
-
communicating, 34(3)97--102
-
communication, 0(0)231--246, 7(2)102--117, 8(5)61--70, 8(6)72--81,
8(7)61--64, 8(7)86--96, 9(2)72--77, 9(2)106--117, 9(2)118--128,
9(5)89--100, 9(6)67--79, 9(6)80--89, 10(3)38--58, 10(4)25--31,
10(4)57--65, 10(4)97--113, 10(9)31--34, 10(9)60--64, 10(9)85--93,
10(9)126--132, 11(1)92--95, 11(6)66--68, 12(2)97--101, 12(4)24--35,
12(6)59--74, 13(2)65--77, 14(3)74--79, 14(z)74--81, 17(2)29--54,
17(2)67--81, 17(3)87--96, 17(5)18--23, 17(5)35--39, 17(5)40--44,
17(5)88--92, 17(5)100--105, 17(5)106--110, 17(6)19--31, 17(6)39--46,
18(6)132--136, 19(1)66--96, 19(2)54--59, 21(4)91--96, 23(1)11--11,
27(1)24--39, 29(1)77--77, 29(2)15--19, 29(2)43--45, 29(3)19--20,
31(2)15--22, 31(3)15--16, 31(3)39--46, 32(2)9--16, 32(3)51--52,
32(3)71--72, 33(1)101--115, 35(1)38--45, 37(1)9--25, 37(2)32--33,
39(2)41--48, 40(1)85--90, 40(2)65--69, 41(2)66--70, 42(1)90--94,
42(2)109--113
-
COMMUNICATION, COMPUTER-, 7(6)15--17
-
communications, 4(4)38--48, 9(2)106--117, 10(4)78--84, 10(4)z--z,
10(9)60--64, 10(9)85--93, 11(3)91--101, 17(1)41--53, 17(4)59--65,
17(5)57--64, 23(1)12--21, 27(3)69--70, 29(3)19--20, 29(3)61--72,
32(3)71--72, 32(3)81--94, 35(1)38--45
-
community, 0(0)xvi--431, 8(3)115--122, 8(6)72--81, 10(9)133--140,
11(6)49--53, 12(1)53--64, 12(6)59--74, 14(3)74--79, 16(1)18--20,
17(2)55--62, 17(3)3--16, 17(3)30--35, 17(4)59--65, 21(1)18--19,
23(1)35--39, 26(3)15--20, 27(3)3--3, 27(3)5--6, 27(3)79--82,
27(3)97--98, 27(3)99--99, 30(1)16--25, 31(3)5--6, 31(3)37--38,
32(3)15--22, 34(3)61--68, 36(1)51--62, 37(1)54--54, 39(1)100--100
-
companies, 5(2)1--13, 31(3)13--14, 42(2)104--108
-
Company, 14(4)76--80
-
Comparative, 0(0)212--223, 3(4)78--91, 24(4)35--38, 38(1)40--40,
41(2)81--85
-
comparatively, 36(2)9--17
-
compare, 17(3)3--16, 17(3)57--66, 26(2)23--37, 26(3)9--14, 27(3)89--96,
31(3)1--2, 33(2)49--58, 41(2)81--85
-
compared, 13(2)91--96, 17(1)54--68, 17(3)57--66, 26(3)51--60,
28(1)24--30, 29(3)45--60, 31(3)7--8, 38(1)19--28
-
comparing, 0(0)16--23, 0(0)51--66, 15(1)50--63, 26(2)23--37, 31(3)81--90
-
comparison, 0(0)213--230, 7(4)68--78, 17(1)54--68, 17(2)63--66,
17(3)36--44, 18(5)12--38, 18(6)75--80, 18(6)175--192, 21(3)41--56,
24(1)71--83, 25(4)103--108, 26(2)23--37, 29(3)3--4, 32(1)13--18,
33(1)157--168, 36(2)22--26
-
COMPASS, 0(0)62--76
-
compatibility, 10(9)29--30, 12(6)50--58, 17(5)45--50, 33(3)41--42,
33(3)43--46, 34(3)97--102, 35(1)38--45
-
compatible, 10(5)101--109, 11(4)78--90, 11(9)56--66, 12(6)50--58,
13(4)49--62, 17(1)41--53, 30(1)116--124, 33(1)53--63, 33(2)75--86
-
compelling, 26(3)77--80
-
compendium, 26(3)71--74
-
compensates, 40(2)59--64
-
competing, 33(3)43--46
-
competition, 11(9)83--95, 29(3)105--114, 31(2)9--14, 32(3)9--10
-
competitive, 0(0)119--123
-
competitively, 36(2)31--38
-
competitiveness, 0(0)viii--171, 0(0)119--123, 0(0)136--140
-
compilable, 2(2)49--50, 13(4)44--48
-
compilation, 0(0)77--89, 8(7)101--103, 9(1)147--160, 9(2)45--51,
10(1)83--91, 10(3)1--6, 10(3)101--110, 10(3)111--125, 10(9)70--74,
11(2)107--114, 11(3)49--60, 12(3)99--109, 12(3)117--125,
14(3)91--104, 15(2)23--30, 17(5)45--50, 17(5)77--82, 23(1)1--9,
26(3)21--28, 29(3)3--4, 31(2)40--43, 31(3)7--8, 32(3)35--42,
32(3)97--102, 33(3)3--4, 34(3)69--70
-
compile, 10(3)33--37, 11(7)244--273, 11(9)116--127, 17(3)3--16,
17(3)30--35, 23(1)22--26, 27(3)89--96, 29(2)68--70, 31(2)36--39,
31(3)11--12, 31(3)75--80, 32(3)3--4, 34(3)69--70, 37(2)13--17,
37(2)40--42
-
compile-time, 10(3)139--145, 14(z)54--73, 29(2)65--67, 31(3)11--12,
31(3)75--80, 32(3)15--22, 32(3)35--42, 36(1)51--62
-
compiled, 17(1)41--53, 27(3)11--26, 27(3)89--96, 29(2)37--39,
29(2)43--45, 29(2)56--60, 31(3)75--80
-
compiled., 27(3)89--96
-
compiler, out-of-, 12(1)65--72
-
compiler-agnostic, 33(3)7--8
-
compiler-generated, 9(1)84--132
-
compiler-writing, 17(3)3--16
-
compiling, 17(3)17--29, 22(4)85--94, 23(1)22--26, 27(3)11--26,
29(2)43--45
-
complement, 23(1)44--44, 28(1)41--44, 33(2)14--32
-
complementary, 9(2)78--89
-
complemented, 29(3)105--114
-
Complementing, 29(3)105--114
-
complete, 6(6)49--53, 11(2)115--127, 13(3)88--90, 26(2)69--74,
28(1)96--102, 29(2)56--60, 29(3)11--12, 29(3)23--30, 31(3)19--26,
32(3)81--94, 34(3)81--86, 40(2)96--102, 42(2)96--98
-
completed, 23(1)11--11, 29(3)23--30, 34(3)1--2, 34(3)61--68
-
completely, 28(1)52--58, 33(1)32--44, 34(3)3--4
-
completeness, 11(2)115--127
-
completing, 21(1)75--78, 26(2)69--74, 38(1)19--28
-
completion, 9(6)104--107, 27(3)59--62, 31(3)5--6, 32(1)19--21,
32(1)30--31
-
COMPLEX, 11(7)91--130
-
complex, 10(3)38--58, 10(4)85--96, 11(5)30--46, 11(5)62--78,
11(7)91--130, 11(7)131--139, 11(7)140--165, 11(7)166--179,
17(1)35--40, 17(3)87--96, 19(3)1--1, 27(2)41--47, 27(3)69--70,
28(1)24--30, 28(1)96--102, 29(2)56--60, 29(3)19--20, 30(1)91--103,
31(2)15--22, 31(3)7--8, 31(3)69--74, 32(2)9--16, 32(3)7--8,
32(3)25--26, 33(2)49--58, 33(3)3--4, 33(3)37--40, 33(3)43--46,
33(3)51--64, 33(3)87--88, 34(3)19--28, 34(3)81--86, 36(2)18--21,
40(1)45--52, 41(2)61--65, 42(1)81--85, 42(2)79--88
-
COMPLEX-ELEMENTARY-FUNCTIONS, 11(7)140--165, 11(7)166--179
-
COMPLEXITY, 8(2)77--83, 8(3)87--97, 8(5)71--74, 8(5)87--91, 8(7)12--19,
8(7)32--34, 9(5)83--83
-
complexity, 0(0)50--61, 0(0)102--118, 0(0)135--140, 8(7)39--42,
9(1)147--160, 12(1)43--52, 12(4)24--35, 12(6)75--80, 26(2)12--22,
26(2)23--37, 29(3)31--44, 29(3)85--86, 30(1)125--134, 32(3)23--24,
32(3)25--26, 33(2)49--58, 35(1)59--73, 36(2)54--57, 37(1)9--25,
40(1)64--73
-
compliable, 11(7)66--82
-
compliance, 17(5)83--87, 31(3)61--68
-
compliant, 7(2)73--84, 36(1)68--76
-
compliant, Ravenscar-, 33(1)64--83
-
compliant, SAVI-, 33(3)43--46
-
complicated, 15(2)46--53, 27(3)71--74, 31(3)61--68
-
compliments, 30(1)55--61
-
comply, 27(3)2--2
-
Component-Based, 29(3)45--60
-
component-based, 27(3)51--58, 29(3)7--8, 29(3)31--44, 29(3)45--60,
33(3)43--46
-
component-level, 33(3)41--42, 33(3)51--64
-
component., 29(3)45--60
-
composability, 32(3)11--12, 33(3)11--12
-
Composable, 8(1)58--79, 8(2)39--54
-
composed, 27(3)41--50, 33(3)51--64
-
composibility, 27(3)4--4, 29(3)15--16, 31(3)3--4
-
composing, 28(1)41--44
-
composite, 10(3)72--90, 27(3)69--70, 34(3)61--68
-
composition, 13(6)66--158, 14(z)16--25, 17(1)54--68, 17(2)63--66,
17(5)51--56, 33(3)41--42, 33(3)51--64
-
compositional, 32(3)3--4, 33(3)41--42, 33(3)43--46, 33(3)51--64,
34(3)17--18
-
compound, 12(5)47--58, 29(3)119--120
-
comprehensive, 0(0)10--15, 0(0)141--155, 8(7)12--19, 10(6)114--128,
27(2)41--47, 27(2)53--58, 29(2)20--27, 33(3)43--46, 35(1)59--73
-
compress, 42(1)100--104
-
compression, 42(1)100--104
-
comprise, 23(1)11--11, 32(3)15--22, 34(3)3--4
-
compromise, 13(3)91--95, 27(2)23--28, 38(2)58--63
-
compromising, 33(2)33--39
-
COMPUTATION, 9(2)118--128
-
computation, 5(3)76--83, 7(6)107--109, 8(2)77--83, 8(3)87--97,
8(5)71--74, 8(5)87--91, 8(7)12--19, 8(7)32--34, 8(7)104--107,
9(2)118--128, 9(5)83--83, 11(4)91--98, 17(5)24--26, 29(2)15--19,
31(2)15--22, 32(2)9--16, 32(3)35--42, 33(3)21--22, 36(1)9--24,
36(1)83--90, 37(2)40--42
-
computational, 0(0)124--135, 10(1)100--103, 10(3)38--58, 11(3)83--90,
15(2)40--45, 16(1)46--53, 16(3)56--69, 29(3)61--72, 40(2)59--64,
42(2)92--95
-
compute, 36(2)9--17, 40(2)73--75
-
compute-intensive, 8(5)71--74
-
COMPUTER, 4(5)49--58, 5(3)100--100, 8(2)107--109, 8(3)69--80,
8(4)97--103, 8(6)35--48, 9(6)108--118
-
COMPUTER-AIDED, 4(5)49--58
-
Computer-aided, 4(5)49--58, 17(1)54--68, 17(4)17--30
-
computer-based, 17(6)32--38, 17(6)39--46
-
COMPUTER-COMMUNICATION, 7(6)15--17
-
computerised, 10(9)118--125, 14(5)80--87, 17(5)40--44, 17(6)39--46
-
COMPUTERS, 0(0)336, 4(4)38--48, 4(5)40--44, 6(4)66--74, 6(5)29--33,
6(6)61--71, 7(1)59--70, 7(1)82--88, 8(4)35--46, 8(4)47--68,
9(5)123--128
-
COMPUTING, 4(4)32--37, 4(5)79--83, 5(1)32--41, 5(3)45--56, 6(5)29--33,
6(5)86--93, 8(3)107--114, 8(3)115--122, 8(4)35--46, 8(4)47--68,
8(5)47--60
-
con, 0(0)77--89
-
Con-figure, 37(1)50--53
-
concentrates, 31(3)81--90
-
concentration, 29(3)79--84
-
concept, 0(0)10--15, 0(0)24--39, 0(0)62--76, 0(0)102--118, 0(0)141--155,
0(0)156--165, 0(0)213--222, 2(3)38--50, 7(5)105--112, 9(6)108--118,
10(3)126--136, 11(1)70--81, 11(7)244--273, 11(9)116--127,
12(1)43--52, 12(2)102--110, 13(2)78--90, 13(3)74--85, 17(1)54--68,
18(1)54--64, 23(1)35--39, 26(2)23--37, 26(3)29--34, 27(3)11--26,
29(3)15--16, 29(3)23--30, 29(3)91--102, 29(3)127--132, 31(3)15--16,
32(3)11--12, 32(3)23--24, 33(1)84--92, 33(2)40--48, 33(3)11--12,
33(3)43--46, 36(2)22--26, 40(1)91--96, 41(1)83--86, 42(2)114--118
-
concept, proof-of-, 23(1)12--21
-
conceptual, 0(0)16--23, 0(0)216--225, 3(4)70--77, 10(6)97--109,
14(3)61--73, 29(3)45--60
-
Conceptualization, 0(0)147--156
-
conceptually, 17(6)19--31, 40(2)65--69
-
concern, 0(0)40--49, 6(5)29--33, 11(3)103--113, 12(2)43--56, 13(2)37--43,
26(2)69--74, 32(3)15--22, 32(3)25--26, 33(1)64--83, 34(3)87--96,
34(3)105--106, 38(2)97--108, 39(1)50--62, 41(1)69--73
-
concerned, 11(7)244--273, 32(3)25--26, 37(2)27--29, 37(2)30--31,
37(2)32--33, 37(2)59--67
-
concerning, 0(0)50--61, 0(0)141--155, 17(3)17--29, 26(3)61--70,
29(1)66--68, 31(3)81--90, 33(1)169--179, 33(3)21--22
-
concert, 17(3)57--66
-
conclude, 13(2)91--96, 26(2)23--37, 27(3)59--62, 29(3)5--6, 32(3)43--50,
34(3)17--18
-
conclusion, 17(1)54--68, 17(2)63--66, 17(3)17--29, 27(2)96--97,
27(3)71--74, 28(1)83--87, 30(1)162--164
-
concrete, 12(3)117--125, 13(5)22--31, 29(3)19--20, 29(3)61--72,
31(3)7--8, 36(1)39--50, 40(1)53--59
-
concurrency, 1(1)31--41, 2(5)62--75, 2(5)76--84, 3(2)76--z, 3(3)58--68,
3(3)79--87, 3(4)99--111, 3(4)112--124, 3(6)57--65, 4(5)49--58,
4(5)65--78, 4(5)84--89, 4(6)60--72, 5(1)17--31, 5(1)42--48,
5(1)55--60, 6(4)44--52, 7(5)40--41, 7(5)113--127, 7(6)47--48,
7(6)107--109, 7(6)110--112, 7(6)121--123, 8(2)55--76, 8(2)84--95,
8(5)61--70, 8(5)71--74, 9(2)90--101, 9(4)87--91, 9(6)80--89,
10(1)92--96, 10(1)97--99, 10(1)100--103, 10(1)118--121, 10(9)50--59,
11(1)82--91, 11(9)83--95, 12(1)65--72, 12(1)73--84, 12(2)91--96,
12(5)77--83, 12(5)84--95, 13(4)37--43, 14(5)71--79, 17(5)24--26,
17(5)27--32, 17(6)39--46, 17(6)47--64, 17(6)108--108, 18(5)97--103,
18(6)175--192, 21(3)13--15, 23(1)27--29, 26(2)23--37, 26(3)35--42,
27(3)27--40, 29(1)80--80, 29(2)15--19, 29(3)13--14, 30(1)26--32,
30(1)62--67, 31(2)15--22, 32(1)13--18, 32(2)9--16, 32(3)1--2,
33(1)64--83, 33(1)84--92, 33(1)101--115, 33(1)150--156,
33(1)157--168, 33(2)14--32, 33(3)23--36, 34(3)87--96, 34(3)97--102,
34(3)103--104, 38(1)19--28, 40(2)55--58
-
concurrent, 0(0)67--78, 0(0)173--188, 2(2)61--68, 6(1)94--103,
7(2)118--134, 7(5)40--41, 7(6)107--109, 7(6)110--112, 8(5)61--70,
8(7)12--19, 9(4)105--112, 9(5)101--108, 9(5)109--114, 9(6)80--89,
10(1)92--96, 10(1)118--121, 10(5)110--127, 11(1)96--101,
11(6)49--53, 12(4)24--35, 12(5)77--83, 12(6)59--74, 12(6)75--80,
13(4)37--43, 13(4)49--62, 14(5)71--79, 14(z)16--25, 15(1)64--69,
17(2)29--54, 17(5)33--34, 17(5)57--64, 17(6)32--38, 17(6)47--64,
18(6)246--254, 19(2)78--83, 19(3)211--220, 21(1)48--55, 22(1)17--28,
23(4)87--92, 24(1)17--24, 26(2)23--37, 26(3)61--70, 29(1)54--56,
29(3)61--72, 30(3)7--8, 33(1)84--92, 33(3)23--36, 35(1)74--79,
36(1)68--76, 36(2)58--59, 36(2)60--68, 37(1)9--25, 38(1)19--28,
41(1)74--77
-
Concurrent-C, 9(4)105--112
-
concurrent-programming, 29(3)1--2, 31(3)9--10
-
concurrently, 21(4)107--114, 33(1)84--92, 40(2)73--75
-
Condic, Marin D., 23(3)16--31
-
Condic, Marin David, 10(1)104--110
-
Condic:1990:JFS, 10(1)104--110
-
Condic:2003:PPC, 23(3)16--31
-
condition, 9(4)105--112, 17(5)100--105, 26(2)23--37, 27(3)7--7,
29(1)48--49, 29(3)13--14, 29(3)105--114, 31(3)11--12, 33(2)75--86,
33(3)1--2, 34(3)105--106, 38(2)58--63
-
conditional, 11(6)49--53, 12(6)59--74, 18(5)87--96, 29(3)79--84,
36(2)9--17
-
conditions, post-, 33(3)13--14, 34(3)71--80
-
conducted, 31(3)13--14, 36(2)22--26
-
conducting, 0(0)102--118, 28(1)92--95
-
conference, 0(0)vii--274, 0(0)viii--240, 0(0)xiii--312, 0(0)336,
4(6)35--43, 5(2)1--13, 5(2)14--24, 5(2)25--40, 5(2)41--57,
5(2)58--71, 5(2)72--84, 5(2)85--96, 5(2)97--108, 5(2)109--123,
5(2)124--135, 5(2)136--150, 5(2)151--163, 5(2)164--172,
5(2)173--184, 5(2)185--196, 5(2)197--209, 5(2)210--216,
5(2)217--228, 5(2)229--240, 5(2)241--254, 5(2)255--274,
5(2)275--284, 5(2)285--296, 5(2)297--308, 5(2)309--320,
5(2)321--328, 5(2)329--342, 5(2)343--354, 5(2)355--366, 8(1)91--107,
12(2)28--z, 18(0)xii--293, 19(1)18--z, 26(1)66--66, 26(1)67--67,
26(3)71--74, 32(3)1--2, 32(3)3--4, 32(3)5--6, 32(3)7--8, 32(3)9--10,
32(3)11--12, 32(3)13--14, 32(3)15--22, 32(3)23--24, 32(3)25--26,
32(3)27--34, 32(3)35--42, 32(3)43--50, 32(3)51--52, 32(3)53--62,
32(3)63--70, 32(3)71--72, 32(3)73--80, 32(3)81--94, 32(3)95--96,
32(3)97--102, 32(3)103--104, 37(2)59--67, 41(2)71--76
-
confessions, 21(4)71--72
-
confidence, 13(2)65--77, 23(1)1--9, 28(1)24--30, 32(3)3--4, 33(3)49--50,
36(2)54--57
-
confidentiality, 38(2)64--68
-
Confidentiality-by-Construction, 38(2)64--68
-
configuration, 0(0)65--74, 0(0)77--89, 8(7)101--103, 10(3)146--210,
10(3)211--216, 11(3)29--31, 11(3)29--z, 12(1)43--52, 14(z)26--35,
17(2)67--81, 17(4)59--65, 23(1)11--11, 30(1)91--103, 32(2)43--44
-
configured, 0(0)62--76
-
configuring, 8(7)97--100
-
confinement, 23(1)11--11
-
confirmation, 9(3)1--341
-
confirmed, 0(0)40--49, 27(3)89--96
-
confirming, 28(1)24--30, 32(3)3--4
-
conflict, 17(2)63--66, 21(2)81--88
-
conflicting, 36(2)58--59
-
Conformal, 13(5)43--47
-
conformance, 11(7)217--243, 32(3)97--102, 35(1)95--96
-
conforming, 33(1)24--31, 33(2)66--74, 40(2)48--50
-
conformity, 19(1)48--51, 19(1)52--57, 19(3)89--99, 31(3)61--68,
31(3)75--80, 35(1)17--25
-
conforms, 42(2)62--68
-
confronted, 13(3)86--87
-
congresses, 0(0)viii--240, 15(0)vii--242
-
conjunction, 29(2)61--62, 29(3)121--126
-
Conn, R., 0(0)141--148
-
Conn, Richard, 17(4)17--30, 17(4)31--58, 17(4)59--65, 18(1)65--69,
23(1)10--10
-
Conn:1997:DEE, 17(4)59--65
-
Conn:1997:SCA, 0(0)141--148
-
Conn:1997:TWC, 17(4)31--58
-
Conn:1997:WUS, 17(4)17--30
-
Conn:1998:RTP, 18(1)65--69
-
Conn:2003:ACL, 23(1)10--10
-
connect, 27(3)4--4, 29(3)15--16, 32(3)11--12, 33(3)11--12
-
Connect4, 27(3)59--62
-
connected, 31(3)3--4, 33(3)3--4, 36(2)31--38, 39(2)41--48, 40(2)73--75,
42(2)109--113
-
connection, 11(2)60--71, 14(3)61--73, 23(1)11--11, 23(1)30--34,
34(3)19--28
-
conquer, 33(2)14--32
-
conquer, divide-and-, 32(3)13--14, 40(2)51--54
-
consequence, 13(1)63--75, 29(3)119--120, 33(2)33--39, 33(3)13--14,
35(1)80--92, 36(2)9--17, 36(2)39--46
-
Consequently, 12(1)53--64, 12(6)81--87, 39(2)41--48, 42(1)100--104
-
conservative, 36(1)51--62
-
consider, 11(7)244--273, 12(1)53--64, 12(6)81--87, 13(2)54--64,
27(2)15--17, 27(2)72--74, 27(2)88--89, 27(3)100--100, 29(1)19--22,
29(2)15--19, 30(1)135--146, 31(2)15--22, 31(3)27--34, 32(2)9--16,
33(2)59--65, 34(3)69--70, 35(1)17--25, 36(2)49--53, 37(2)30--31,
40(2)96--102, 42(2)69--74
-
considerable, 33(3)43--46
-
considerably, 0(0)62--76, 29(3)119--120
-
consideration, 2(5)42--55, 10(2)84--88, 11(5)62--78, 12(2)76--90,
22(4)120--122, 27(2)15--17, 29(1)38--40, 36(1)63--67, 36(2)9--17
-
considered, 9(2)78--89, 11(2)56--59, 12(2)102--110, 13(2)44--53,
15(5)52--53, 16(2)35--38, 17(2)29--54, 27(3)89--96, 29(1)25--26,
29(1)27--28, 29(3)3--4, 29(3)31--44, 29(3)45--60, 32(3)15--22,
32(3)63--70, 33(2)59--65, 33(2)87--96, 33(3)43--46, 38(1)19--28,
40(2)55--58, 42(1)100--104
-
considering, 27(3)100--100
-
consist, 26(2)75--83, 28(1)59--70, 28(1)92--95, 29(1)84--97, 30(2)67--78,
31(2)59--69, 31(3)69--74, 32(3)25--26, 32(3)63--70, 33(3)7--8,
33(3)13--14, 36(2)9--17
-
consistency, 0(0)141--155, 3(2)46--54, 31(3)13--14, 32(3)3--4,
32(3)9--10, 32(3)35--42, 33(3)43--46, 34(3)39--46, 36(2)58--59,
37(2)13--17, 41(1)74--77
-
consistent, 10(6)97--109, 12(2)57--61, 33(1)15--23, 33(1)84--92,
40(1)74--78
-
consistently, 36(2)39--46
-
consisting, 16(1)18--20
-
console, 23(1)11--11, 37(2)18--22
-
consortium, 21(1)17--18, 34(3)47--60, 36(2)22--26, 42(2)96--98
-
constant, 9(4)103--104, 10(4)136--143, 11(7)244--273
-
Constantinides, Constantinos, 25(4)79--92
-
Constantinides, Constantinos, see Pedersen, Knut H.
-
constitute, 40(2)65--69
-
constrained, 27(3)100--100, 29(3)87--90, 36(1)51--62, 39(2)29--34
-
constrained, resource-, 29(3)17--18
-
constraint, 0(0)102--118, 1(4)24--26, 2(4)54--57, 8(5)101--109,
8(7)39--42, 12(2)57--61, 13(4)49--62, 14(z)54--73, 17(5)71--76,
27(3)2--2, 27(3)8--8, 29(2)53--55, 31(3)19--26, 31(3)47--60,
32(3)3--4, 32(3)63--70, 32(3)81--94, 33(2)75--86, 33(3)3--4,
33(3)23--36, 33(3)43--46, 33(3)87--88, 36(1)25--28, 36(2)60--68,
38(1)34--39, 40(1)91--96, 41(1)78--82, 42(1)81--85
-
Constraint_Error, 29(2)53--55, 31(3)7--8
-
construct, 0(0)79--90, 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,
8(5)101--109, 9(2)52--61, 9(2)62--71, 9(2)90--101, 9(2)106--117,
9(4)87--91, 9(4)92--102, 9(4)103--104, 9(5)60--82, 9(6)80--89,
9(7)85--90, 10(9)46--49, 11(2)72--85, 11(5)62--78, 12(2)43--56,
13(2)91--96, 13(5)32--42, 14(2)80--92, 17(3)87--96, 27(2)48--52,
27(3)27--40, 29(2)20--27, 29(2)63--64, 29(3)1--2, 29(3)61--72,
30(1)45--55, 31(2)33--35, 31(3)9--10, 32(3)9--10, 32(3)73--80,
34(3)13--16, 36(1)9--24, 36(2)31--38, 40(2)51--54, 40(2)96--102
-
construct, easy-to-, 23(1)11--11
-
constructed, 27(3)11--26, 29(3)85--86, 33(3)41--42, 36(2)22--26
-
constructing, 28(1)48--51, 29(3)87--90, 36(2)18--21
-
construction, 0(0)141--148, 4(6)32--34, 17(6)32--38, 23(1)11--11,
23(1)40--43, 27(3)5--6, 27(3)11--26, 27(3)100--100, 28(1)31--33,
28(1)96--102, 29(1)69--69, 29(3)87--90, 33(1)15--23, 33(1)64--83,
33(3)41--42
-
construction', `correctness-by-, 27(3)51--58
-
Construction, Confidentiality-by-, 38(2)64--68
-
Construction, Correctness-by-, 42(2)75--78
-
constructor, 28(1)36--37, 29(2)61--62, 29(2)63--64
-
consumer, 31(3)3--4, 32(3)11--12, 33(3)11--12, 36(2)31--38, 42(1)90--94
-
consumer-level, 36(2)31--38
-
consumes, 13(2)54--64
-
consuming, 26(3)9--14
-
consumption, 31(3)19--26
-
contact, 10(3)146--210, 10(5)48--61, 13(3)88--90, 19(1)6--z, 20(1)5--5,
20(2)5--5, 20(3)5--5, 20(4)80--z, 26(1)4--6, 27(3)99--99,
40(1)91--96
-
contain, 0(0)xvi--431, 12(2)91--96, 17(3)57--66, 27(3)11--26,
29(2)68--70, 30(2)27--52, 31(2)9--14, 32(3)5--6, 35(2)15--21,
37(2)18--22, 40(1)45--52, 42(1)65--67
-
container, 24(1)49--61, 28(1)38--40, 28(1)52--58, 29(3)115--118,
42(2)62--68
-
containerized, 40(2)65--69
-
containing, 0(0)77--89
-
contemporary, 9(5)115--122, 29(3)119--120
-
contend, 30(1)45--55
-
content, 17(6)70--77, 29(1)45--47, 29(1)50--50, 29(1)53--53, 29(1)57--57,
29(1)61--61, 29(1)65--65, 29(1)69--69, 29(1)70--70, 29(1)74--74,
29(1)77--77, 29(1)80--80, 37(2)18--22
-
contention, 35(1)9--16
-
context, 11(3)9--17, 11(3)49--60, 13(6)133--161, 23(1)45--52, 26(3)9--14,
28(1)96--102, 29(3)87--90, 31(2)36--39, 31(2)40--43, 31(3)1--2,
32(3)81--94, 33(2)66--74, 34(3)13--16, 34(3)17--18, 36(2)31--38,
36(2)39--46
-
context-free, 11(3)49--60
-
contiguous, 34(3)103--104
-
continual, 0(0)10--15
-
continuation, 38(1)41--54, 38(1)74--76
-
continue, 29(2)40--42, 29(3)21--22, 31(3)69--74, 36(2)18--21,
38(2)109--114
-
continued, 29(3)7--8, 42(1)46--49
-
continuous, 21(4)47--52, 34(3)29--38, 42(1)86--89, 42(2)99--103
-
continuous-time, 34(3)29--38
-
continuously, 32(3)9--10
-
Continuum, 42(2)104--108, 42(2)114--118
-
contract, 0(0)16--23, 5(3)64--66, 6(2)94--94, 11(8)177--z, 12(2)43--56,
23(1)11--11, 31(3)47--60, 32(3)3--4, 32(3)5--6, 33(3)7--8,
33(3)13--14, 36(2)27--30, 40(2)48--50, 42(2)45--54, 42(2)62--68
-
contract, design-by-, 27(3)100--100
-
Contract-Based, 36(2)27--30
-
Contract_Cases, 37(2)34--36
-
contracted, 12(2)43--56
-
contractor, 0(0)16--23, 0(0)119--123, 9(6)53--66, 10(5)88--100,
28(1)24--30, 29(3)119--120
-
contractor., 28(1)24--30
-
contrast, 0(0)62--76, 33(2)59--65, 42(2)75--78
-
contrasted, 31(3)7--8
-
contribute, 27(3)69--70, 27(3)99--99
-
contributed, 39(2)35--40
-
contributing, 27(3)99--99
-
contribution, 14(3)80--90, 27(3)99--99, 32(3)63--70, 36(2)9--17,
36(2)31--38, 39(1)100--100
-
contributor, 10(3)146--210, 27(3)99--99, 29(3)119--120, 36(2)39--46
-
control, transfer-of-, 12(1)53--64
-
controlled, 0(0)165--172, 10(3)139--145, 23(1)11--11, 28(1)83--87,
29(1)71--73, 32(3)43--50, 36(1)68--76
-
controlled, application-, 27(2)75--81
-
controlled, jitter-, 36(1)68--76
-
controller, 11(3)91--101, 13(6)133--161, 14(3)39--60, 14(z)3--15,
17(3)45--56, 17(5)57--64, 32(3)71--72
-
controlling, 7(5)79--92, 9(4)87--91, 33(1)24--31
-
convenient, 29(1)78--79, 31(2)36--39, 31(2)40--43, 33(2)97--108,
38(1)41--54, 38(1)74--76
-
conveniently, 32(3)51--52
-
convention, 0(0)141--155, 6(1)41--48, 15(2)54--58, 37(2)13--17
-
conventional, 9(6)119--126, 13(4)44--48, 23(3)16--31
-
convergence, 21(4)11--26, 32(3)27--34, 38(1)14--18
-
conversion, 0(0)1--9, 4(4)38--48, 5(2)275--284, 6(1)72--81, 7(1)71--81,
13(4)29--36, 16(1)46--53
-
convert, 13(2)91--96, 13(4)29--36, 13(5)43--47, 29(1)33--34
-
converted, 13(4)29--36
-
converters, 13(3)74--85
-
converting, 10(2)52--63, 13(4)29--36, 19(4)19--21, 28(1)52--58
-
convincing, 31(3)75--80
-
convincingly, 31(3)75--80
-
Cook, David A., 7(5)93--95
-
Cook:1987:NAA, 7(5)93--95
-
Cook:1987:NDA, 7(5)93--95
-
Coombes, Andrew, 31(3)1--2
-
Coombes, Andrew, see Broster, Ian
-
Cooper, C. Daniel, 17(6)65--69
-
Cooper, Dan, 17(1)35--40
-
Cooper, Dan, see Colket, Currie
-
Cooper, Shaun, 26(3)9--14
-
Cooper, Shaun, see Shindi, Rajaa S.
-
Cooper:1997:ABC, 17(6)65--69
-
cooperate, 33(3)43--46
-
cooperating, 9(2)106--117
-
Cooperative, 19(1)97--107
-
cooperatively, 0(0)10--15
-
coordinate, 23(1)11--11
-
coordinated, 10(6)97--109, 12(1)43--52, 23(1)11--11
-
coordinating, 38(2)109--114
-
coordination, 17(2)29--54
-
cope, 33(1)93--100
-
copy, 14(1)50--60, 17(3)17--29, 31(3)75--80
-
copy-in, 13(3)91--95
-
copy-out, 13(3)91--95
-
copying, 28(1)52--58
-
Copyrights, 4(5)90--96
-
Coq, 33(3)21--22
-
CORBA, 16(3)39--51, 16(5)59--69, 17(3)45--56, 17(3)97--108, 17(5)71--76,
19(3)31--38, 19(3)39--46, 19(3)83--88, 19(3)223--223, 23(1)11--11,
25(4)103--108, 26(3)21--28, 26(3)51--60, 29(3)19--20, 29(3)73--78
-
CORBA-based, 26(3)51--60
-
CorC, 42(2)75--78
-
core, 12(1)53--64, 23(4)11--12, 26(2)12--22, 29(3)9--10, 29(3)17--18,
29(3)21--22, 29(3)103--104, 31(3)5--6, 31(3)19--26, 31(3)27--34,
32(3)13--14, 32(3)63--70, 33(2)9--13, 33(2)33--39, 33(3)43--46,
34(3)17--18, 34(3)29--38, 41(2)66--70
-
core', 'multi-, 30(1)135--146
-
Core, Many-, 41(2)66--70
-
core, many-, 33(2)14--32, 33(2)33--39, 33(2)40--48, 33(3)23--36
-
core, Multi-, 27(3)79--82, 33(3)23--36, 42(1)100--104
-
core, multi-, 27(3)79--82, 29(3)61--72, 30(3)53--62,
31(3)15--16, 31(3)19--26, 32(1)37--38, 32(2)28--30, 33(1)84--92,
33(2)9--13, 33(2)14--32, 33(2)33--39, 42(1)100--104
-
cores, Multi-, 42(1)81--85
-
Cormack, Gordon V., 12(3)110--116, 12(6)47--49
-
Cormack, Gordon V., see Shen, Jun
-
Cornhill, Dennis, 3(3)79--87, 7(6)33--39, 7(6)113--115, 7(7)30--32,
9(1)147--160
-
Cornhill, Dennis, see Jha, Rakesh,
see Kamrad, Mike
-
Cornhill:1983:SDC, 3(3)79--87
-
Cornhill:1987:LAR, 7(6)33--39
-
Cornhill:1987:PIA, 7(7)30--32
-
coroutines, 9(2)90--101
-
Corporation, 1(1)29--30, 1(3)77--85, 10(3)139--145, 12(1)43--52
-
Correa, A., 14(5)80--87
-
Correa, A., see Blázquez, V.
-
correct, 11(7)244--273, 23(1)1--9, 26(2)23--37, 27(3)89--96,
28(1)96--102, 33(1)64--83, 33(3)23--36, 34(3)29--38, 34(3)47--60,
36(1)83--90, 38(1)34--39, 40(2)48--50, 42(2)75--78
-
correct, demonstrably-, 27(3)89--96
-
corrected, 18(0)xii--293, 35(2)14--14
-
correcting, 27(2)18--22, 33(2)97--108
-
correction, 23(1)11--11, 27(2)15--17, 35(2)15--21
-
correctly, 17(2)63--66, 27(3)89--96, 31(3)75--80, 32(3)27--34,
36(2)39--46, 40(2)48--50
-
correctness, 13(4)77--86, 15(2)40--45, 20(4)69--79, 23(1)40--43,
27(3)5--6, 27(3)89--96, 27(3)100--100, 33(3)9--10, 33(3)15--18,
33(3)21--22, 33(3)23--36, 33(3)65--84, 34(3)19--28, 34(3)69--70,
36(2)27--30, 36(2)54--57, 39(2)29--34, 42(1)65--67, 42(1)105--105,
42(2)79--88
-
Correctness-by-Construction, 42(2)75--78
-
correctness-by-construction, 27(3)51--58
-
correlation, 17(3)57--66
-
correspond, 17(3)87--96, 40(2)55--58
-
corrupted, 31(3)39--46
-
COSMIC, 17(4)66--73
-
cost, 0(0)14--24, 0(0)141--155, 1(4)9--20, 8(3)123--127, 12(3)99--109,
12(6)75--80, 13(1)63--75, 13(4)29--36, 13(4)49--62, 16(1)54--57,
17(3)67--86, 19(3)101--110, 26(3)77--80, 27(3)89--96, 28(1)24--30,
31(3)15--16, 32(3)51--52, 33(3)9--10, 34(3)17--18, 35(1)32--37,
36(2)31--38, 36(2)39--46, 40(2)59--64, 40(2)65--69, 42(1)90--94
-
cost-effective, 14(z)26--35
-
Costa, D., 23(4)74--81
-
Costa, D., see Maia, R.
-
costly, 23(1)40--43, 27(3)89--96, 36(2)31--38, 36(2)39--46, 36(2)58--59
-
COTS, 29(3)21--22
-
could, 13(4)29--36, 13(5)43--47, 26(1)25--30, 27(2)48--52, 27(3)2--2,
27(3)59--62, 27(3)71--74, 29(1)62--64, 30(1)135--146, 31(3)27--34,
31(3)39--46, 33(1)9--14, 33(2)14--32, 33(2)87--96, 34(3)13--16,
34(3)81--86, 36(2)54--57, 37(2)40--42, 38(1)14--18, 40(2)92--95,
42(2)89--91
-
COUNT, 9(5)123--128, 11(2)72--85
-
count, 38(1)19--28
-
counter, 12(6)59--74, 13(4)63--70, 27(2)18--22, 32(3)3--4
-
counter-intuitive, 13(4)63--70
-
counterparts, 29(3)127--132
-
counting, 11(5)79--90, 32(2)24--27, 32(2)31--32, 32(2)33--34
-
countries, 42(2)99--103
-
coupled, 8(7)101--103, 31(3)11--12, 36(2)60--68
-
couples, 0(0)50--61
-
coupling, 4(6)49--59, 6(4)44--52, 9(5)101--108, 11(2)115--127,
16(4)57--72, 27(3)4--4, 29(3)15--16, 31(3)3--4, 31(3)7--8,
31(3)69--74, 32(3)11--12, 33(3)11--12
-
course, 0(0)37--40, 2(5)34--41, 2(5)42--55, 14(4)76--80, 16(1)58--69,
17(3)17--29, 17(6)19--31, 18(1)48--53, 18(1)86--91, 18(2)42--52,
18(6)68--74, 18(6)75--80, 21(4)79--80, 25(4)37--40, 26(3)45--50,
27(3)2--2, 27(3)3--3, 27(3)75--78, 29(2)37--39, 29(3)9--10,
29(3)91--102, 31(2)52--55, 37(2)40--42
-
courseware, 15(6)57--66, 17(4)17--30, 18(6)68--74
-
Courtieu, Pierre, 33(3)21--22
-
Courtieu:2013:TFS, 33(3)21--22
-
Cousins, Jeff, 41(1)44--63
-
Cousins:2021:OA, 41(1)44--63
-
cover, 17(3)17--29, 23(1)27--29, 27(3)1--1, 27(3)4--4, 27(3)5--6,
27(3)7--7, 29(1)29--32, 29(3)1--2, 29(3)9--10, 29(3)13--14,
29(3)15--16, 31(2)30--32, 31(3)3--4, 31(3)5--6, 31(3)9--10,
31(3)13--14, 32(3)11--12, 33(3)11--12
-
coverage, 17(5)45--50, 23(1)40--43, 27(3)69--70, 28(1)31--33,
28(1)76--82, 36(2)39--46
-
covered, 17(2)67--81, 27(2)18--22, 27(3)5--6, 27(3)7--7, 29(3)3--4,
29(3)13--14, 35(1)17--25
-
CPAD, 0(0)124--135
-
cpp, 1(4)55--58
-
CPP_Constructor, 29(2)61--62
-
CPS, 40(1)60--63, 40(1)64--73
-
CPSs, 40(1)60--63, 40(1)64--73
-
CPU, 8(5)71--74, 13(2)54--64, 13(2)z--z, 26(3)9--14, 27(2)67--71,
29(3)61--72, 33(1)9--14, 33(2)97--108, 35(1)9--16, 36(2)27--30
-
cpu, 13(2)54--64
-
CPU/compiler, 9(5)60--82
-
CPUs, 38(1)19--28, 42(1)100--104
-
CQE, 38(2)9--42
-
crackers, 17(4)59--65
-
Craeynest, Dirk, 24(1)29--37, 42(1)39--40
-
Craeynest, Dirk, see Allaert, Gaetan
-
Craeynest:2022:ADR, 42(1)39--40
-
craft, trade-, 29(3)119--120
-
Crafts, Ralph, 17(1)18--20
-
Crafts, Ralph E., 1(4)46--54
-
Crafts:1982:CAS, 1(4)46--54
-
Crafts:1997:RNR, 17(1)18--20
-
Craigen, Dan, 17(5)65--70
-
Craigen, Dan, see Michell, Stephen
-
Cranc, M. E., 0(0)181--186
-
Cranc:1982:CLA, 0(0)181--186
-
crates, 23(1)11--11
-
Crawford, Bard S., 15(4)36--45, 18(6)217--218
-
Crawford:1995:PIA, 15(4)36--45
-
Crawford:1998:AAS, 18(6)217--218
-
CRC, 17(1)41--53
-
CRC32, 17(1)41--53
-
create, 12(1)43--52, 17(3)17--29, 17(3)57--66, 23(1)30--34, 23(1)44--44,
26(3)3--8, 27(3)59--62, 28(1)36--37, 28(1)41--44, 28(1)76--82,
29(2)43--45, 29(2)50--52, 32(3)15--22, 40(1)45--52, 42(1)86--89,
42(2)75--78, 42(2)96--98
-
created, 16(1)18--20, 17(1)41--53, 26(2)12--22, 28(1)36--37, 32(3)7--8,
33(3)51--64, 34(3)61--68, 37(2)18--22, 37(2)34--36, 42(2)32--39
-
creating, 12(4)20--23, 22(3)24--41, 27(2)67--71, 29(1)66--68,
29(2)46--49, 29(3)7--8, 30(2)13--18
-
creation, 4(1)74--87, 16(3)56--69, 23(1)44--44, 28(1)76--82,
30(1)135--146, 30(2)19--24, 32(3)53--62, 33(1)101--115, 36(1)51--62
-
Creator, 17(6)32--38
-
credited, 23(1)11--11
-
Creek, 17(4)31--58
-
creep, 33(1)15--23
-
Crespi Reghizzi, S., 5(2)109--123, 7(6)67--69
-
Crespi Reghizzi, S., see Di Maio, A.
-
Crespi-Reghizzi, S., 3(6)57--65
-
Crespi-Reghizzi, S., see Dapra, A.
-
CrespiReghizzi:1987:DAP, 7(6)67--69
-
Crespo, A., 19(3)145--155
-
Crespo, A., see Ballbastre, P.
-
Crespo, Alfons, 21(1)91--95, 22(4)66--71, 23(4)24--27, 30(1)73--85,
33(1)93--100, 33(1)116--127, 33(2)97--108, 35(1)80--92, 36(1)68--76,
38(1)41--54
-
Crespo, Alfons, see Miranda, Javier,
see Real, Jorge, \see{S{\'a}ez, Sergio
-
Creuse, Léo, 38(2)89--96
-
Creuse:2019:SEI, 38(2)89--96
-
Criley, Marc A., 21(2)53--64
-
Criley:2001:SBM, 21(2)53--64
-
crime, 16(3)52--55
-
criteria, 0(0)156--171, 23(1)1--9, 23(1)40--43
-
criterion, 0(0)24--39, 17(5)88--92, 27(3)11--26
-
critical, 0(0)90--101, 10(1)100--103, 10(3)98--100, 11(5)30--46,
11(6)49--53, 12(3)92--98, 12(6)59--74, 15(2)40--45, 20(4)32--39,
23(1)35--39, 24(4)13--18, 26(3)45--50, 27(3)8--8, 28(1)92--95,
29(3)23--30, 29(3)31--44, 29(3)119--120, 31(3)47--60, 31(3)69--74,
31(3)81--90, 32(3)15--22, 32(3)63--70, 33(1)53--63, 33(2)33--39,
33(3)23--36, 33(3)37--40, 33(3)65--84, 34(3)5--12, 34(3)17--18,
34(3)61--68, 35(1)93--94, 36(1)51--62, 36(2)27--30, 36(2)31--38,
36(2)39--46, 36(2)60--68, 39(1)50--62, 40(1)45--52, 41(1)69--73,
42(2)55--61
-
Critical, Mission-, 0(0)31--35
-
Critical, Safety-, 27(3)2--2, 36(1)51--62
-
critical, Safety-, 27(3)2--2, 29(3)31--44, 36(2)31--38
-
critical, safety-, 11(5)30--46, 17(5)45--50, 17(5)65--70,
17(5)83--87, 19(3)23--29, 19(3)67--76, 23(1)35--39, 23(1)40--43,
27(2)29--36, 27(3)2--2, 27(3)5--6, 27(3)51--58, 27(3)89--96,
29(3)31--44, 30(1)55--61, 32(3)15--22, 33(3)65--84, 34(3)13--16,
34(3)39--46, 34(3)47--60, 34(3)97--102, 36(2)22--26, 36(2)54--57,
40(2)48--50, 41(1)64--68, 42(1)81--85, 42(2)32--39
-
critical, security-, 27(3)5--6, 31(3)47--60, 33(3)9--10
-
critical, system-, 16(6)55--72
-
critical, time-, 8(7)86--96, 10(4)49--56
-
criticality, 23(1)40--43, 29(3)31--44, 33(2)33--39, 40(2)48--50,
42(1)65--67
-
criticality, low-, 33(2)33--39
-
Criticality, Mixed-, 42(1)81--85
-
criticality, mixed-, 33(2)33--39, 35(1)38--45, 36(1)68--76,
36(2)27--30
-
criticised, 33(1)15--23
-
criticism, 13(3)86--87, 29(3)45--60
-
criticized, 12(1)53--64
-
critique, 12(6)75--80, 17(2)55--62
-
Crocker, David, 34(3)5--12
-
Crocker:2014:CCM, 34(3)5--12
-
Crolard, Tristan, 33(3)21--22
-
Crolard, Tristan, see Courtieu, Pierre
-
Cronin, Kevin J., 15(2)40--45
-
Cronin:1995:IRM, 15(2)40--45
-
cross, 9(7)102--113, 29(2)50--52
-
Cross, II, James H., 18(1)70--77, 18(5)51--56, 18(6)142--147
-
Cross, II, James H., see Hendrix, T. Dean
-
Cross, J., 10(9)85--93
-
Cross, J., see Kamrad, M.
-
Cross, J. H., 0(0)135--140
-
Cross, J. H., see Dean Hendrix, T.
-
Cross, Joe, 10(9)85--93
-
Cross, Joseph K., 10(4)144--158
-
Cross-Debugging, 7(6)21--23
-
cross-domain, 32(3)53--62
-
cross-language, 29(2)50--52, 29(3)21--22
-
cross-platform, 23(1)12--21
-
Cross:1990:DC, 10(9)85--93
-
Cross:1990:OCS, 10(4)144--158
-
crossover, 23(1)45--52
-
Crossroads, 15(4)12--z
-
crucial, 29(3)121--126, 35(1)17--25
-
cruise, 27(3)69--70
-
Crusader, 21(4)127--128
-
crypto, 31(2)30--32
-
cryptographic, 29(3)9--10, 33(3)15--18
-
Cryptol, 33(3)15--18
-
CS, 25(4)37--40
-
CS, Non-, 0(0)31--36, 18(6)61--67
-
CS1, 26(3)29--34
-
CS1/2, 26(1)18--24
-
CSC, 12(1)43--52
-
C/sup, 0(0)90--101
-
cue, 19(1)59--63, 32(3)3--4
-
Culling, 18(6)104--113
-
culminating, 17(3)97--108
-
cultural, 14(4)36--42, 17(3)67--86, 31(3)17--18
-
culture, 29(3)119--120
-
Curbow, James, 38(2)109--114
-
Curbow, James, see Berns, Andrew
-
current, 0(0)90--101, 10(4)159--165, 12(6)81--87, 14(3)74--79,
19(3)223--223, 23(1)22--26, 23(1)27--29, 23(4)22--23, 26(3)9--14,
26(3)51--60, 27(2)18--22, 27(2)61--66, 27(2)75--81, 27(2)88--89,
27(3)8--8, 27(3)69--70, 28(1)96--102, 29(3)23--30, 30(2)13--18,
30(2)19--24, 30(2)27--52, 31(2)9--14, 32(3)7--8, 32(3)15--22,
32(3)27--34, 33(1)84--92, 33(2)59--65, 34(3)97--102, 35(1)46--58,
35(1)93--94, 36(1)29--34, 36(2)31--38, 40(1)79--84, 40(2)96--102,
41(1)69--73, 41(1)78--82
-
currently, 0(0)77--89, 0(0)119--123, 17(1)41--53, 17(3)3--16,
23(1)11--11, 26(3)9--14, 27(2)18--22, 27(3)2--2, 27(3)99--99,
27(3)100--100, 30(1)91--103, 31(3)81--90, 32(3)3--4, 32(3)97--102,
33(1)32--44, 33(1)84--92, 33(2)75--86, 33(3)43--46, 34(3)1--2,
35(1)32--37, 36(1)9--24, 39(2)25--28, 39(2)41--48, 40(2)55--58
-
curricula, 27(3)99--99
-
curricular, 17(2)55--62
-
curriculum, 7(1)82--88, 14(4)76--80, 16(1)58--69, 29(3)91--102,
31(3)37--38
-
curve, 12(2)97--101, 40(2)59--64
-
custom, 17(5)71--76, 33(3)3--4
-
customer, 0(0)10--15, 27(3)69--70, 27(3)100--100, 31(3)69--74
-
customized, 13(4)29--36
-
cut, 12(1)53--64, 36(2)39--46, 42(2)32--39
-
CVE, 38(2)9--42
-
CWE, 28(1)88--91, 31(3)39--46, 38(2)9--42
-
CWEs, 31(3)39--46
-
cyber, 32(3)51--52, 38(2)58--63, 39(1)72--72
-
Cyber-Physical, 36(2)31--38, 42(2)99--103, 42(2)109--113
-
cyber-physical, 33(3)3--4, 34(3)17--18, 34(3)29--38, 36(2)39--46,
40(1)60--63, 40(1)64--73, 41(1)69--73
-
Cyber-Resilience, 38(2)43--57
-
cyberattacks, 38(2)109--114
-
cybernetics, 10(7)85--90
-
cyberphysical, 42(2)114--118
-
cybersecurity, 39(2)41--48
-
cycle, 3(1)57--62, 4(5)45--48, 4(5)59--64, 4(5)100--104, 4(5)105--110,
6(2)86--90, 8(1)80--90, 9(2)78--89, 10(6)97--109, 11(9)96--99,
11(9)100--115, 14(2)58--67, 14(6)62--72, 16(1)54--57, 23(1)11--11,
26(3)9--14, 32(3)95--96, 34(3)17--18, 36(2)27--30, 36(2)31--38,
39(2)41--48
-
Cycle, Life-, 0(0)81--86
-
cycle, Life-, 42(2)104--108
-
cycle, life-, 0(0)10--15, 9(2)78--89, 14(1)50--60
-
cycle-detection, 32(3)9--10
-
cyclic, 14(z)54--73, 17(1)41--53, 35(1)59--73
-
CytometyML, 23(1)44--44