Last update: Thu Dec 19 02:05:31 MST 2019
Return to index directory
T
-
T, 21(3)92--97
-
t, 23(2)134--142
-
T, Herbal-, 24(2)49--58
-
table, 18(3)11--18, 20(5)51--55, 23(2)50--52
-
tableau, 21(6)106--117
-
tabular, 21(3)216--223, 23(6)56--69, 24(6)146--162
-
tacit, 15(1)95--104, 21(6)58--69
-
tackled, 15(2)29--30
-
tactics, 15(6)107--119, 16(1)36--40, 21(6)179--190
-
Taentzer, Gabi, 22(6)327--343
-
Taentzer, Gabi, see Engels, Gregor
-
Tahvanainen, Veli-Pekka, 15(1)79--92
-
Tahvanainen:1990:ACB, 15(1)79--92
-
Tai, 15(1)67
-
Tai, Kuo-Chung, 21(3)14--23
-
Tai, Kuo-Chung, see Koppol, Pramod V.
-
tailor, 21(3)53--61
-
tailored, 15(6)144--156, 20(z)206--214, 21(6)106--117
-
Takao, Shinji, 24(2)109--116
-
Takao:1999:ENB, 24(2)109--116
-
take, 15(1)59--63, 15(6)1--10, 16(3)70--72, 17(3)21--26, 17(4)24--27,
17(5)1--10, 18(2)27--29, 18(5)191--199, 19(3)66--68, 21(1)77--86,
21(3)147--157, 21(3)201--208, 21(5)89--94, 22(1)68--74, 22(2)94--98,
22(6)40--50, 23(1)86--91, 23(2)42--48, 23(2)53--62, 23(2)134--142,
23(3)105--110, 23(6)10--16, 23(6)231--244, 24(2)99--108,
24(3)29--31, 24(3)63--65, 24(5)66--75, 24(5)76--85, 24(6)39--56
-
taken, 15(6)183--192, 16(3)70--72, 17(5)41--46, 18(5)1--8, 19(4)68--76,
20(z)137--149, 20(z)219--221, 21(3)4--13, 21(3)147--157,
21(5)72--77, 21(6)3--14, 23(3)64--68, 24(3)32--36
-
taking, 18(5)42--55, 20(5)62--66, 23(6)189--202, 24(2)109--116,
24(6)446--463
-
taking, note-, 19(3)41--44
-
tale, 16(2)19--22, 21(1)50--52, 22(6)521--522
-
talk, 18(3)1, 20(z)3--6
-
Tallgren, Tapio, 22(3)199--208
-
Tallgren, Tapio, see Karhinen, Anssi
-
Taming, 15(1)36--41
-
Tampering, 21(2)32--38
-
Tan, Joo T., 18(5)163--168
-
Tan, Joo T., see Gustafson, David A.
-
Tan, Lichao, 15(6)56--65
-
Tan, Yang Meng, 16(2)33--34, 19(5)87--96
-
Tan, Yang Meng, see Evans, David,
see Waters, Richard C.
-
Tan:1990:CCO, 15(6)56--65
-
tandem, 16(3)85--87
-
Tang, Hong, 24(2)217--226
-
Tang, Hong, see Prince, Robert
-
tar, 24(1)36--48
-
tar-pit, 24(1)36--48
-
target, 15(6)144--156, 16(1)36--40, 18(5)99--106, 19(3)51--61,
19(5)111--120, 20(1)67--70, 20(5)51--55, 20(z)27--37
-
targeted, 17(2)74--78, 21(3)147--157, 21(3)172--179
-
Targeting, 18(5)99--106
-
Tarr, Peri, 18(5)56--70
-
Tarr:1993:POM, 18(5)56--70
-
task, 15(3)39--41, 15(5)50--59, 15(6)56--65, 15(6)206--217, 16(1)36--40,
16(1)73--91, 16(3)70--72, 17(2)43--49, 17(3)21--26, 17(4)60--67,
17(5)99--108, 18(1)59--64, 18(3)40--50, 19(4)68--76, 19(4)77--78,
19(5)21--34, 19(5)97--110, 20(1)27--38, 20(1)74--78, 20(3)49--62,
20(z)215--218, 20(z)267--270, 21(1)55--67, 21(2)32--38,
21(3)121--134, 21(3)250--260, 21(6)33--45, 22(2)64--67, 23(1)77--80,
23(2)11--20, 23(2)50--52, 23(2)82--92, 23(6)35--45, 24(2)109--116,
24(2)117--126, 24(2)127--136, 24(2)187--195, 24(2)197--206,
24(2)207--216, 24(2)227--235, 24(4)84--86, 24(5)11--20, 24(6)57--74,
24(6)429--445, 24(6)511--527
-
Task Force on Software Engineering Ethics, ACM / IEEE-CS, 22(4)3--6
-
task-oriented, 19(4)68--76
-
tasking, 18(3)51--60, 19(5)62--75
-
tasking, multi-, 21(3)224--238
-
Tatsuta, Tanehiro, 20(3)94--97, 21(5)36--39
-
Tatsuta:1995:PVR, 20(3)94--97
-
Tatsuta:1996:CCA, 21(5)36--39
-
taught, 18(2)60--73, 20(5)40--47, 23(3)111--119, 23(4)26--28
-
Taxen, Lars, 22(6)519--520
-
Taxen, Lars, see Karlsson, Even-André
-
taxonomy, 15(1)36--41, 16(1)73--91, 16(2)45--51, 16(4)23--30,
19(3)30--34, 21(5)72--77, 23(1)86--91
-
Taylor, Richard, 22(1)7
-
Taylor, Richard N., 18(3)40--50, 20(5)27--38, 21(6)24--32,
22(3)190--198, 22(6)60--76
-
Taylor, Richard N., see Levine, David L.,
see Medvidovic, Nenad
-
Taylor:1995:SDU, 20(5)27--38
-
Taylor:1997:IPU, 22(1)7
-
TB, 18(3)28--39
-
TCAS, 21(3)79--83, 21(6)156--166, 23(2)102--112
-
Tclash, 19(4)82--85
-
Tcl/Tk, 19(4)82--85, 20(5)48--50
-
TDCS, 24(4)43--46
-
TDE, 23(2)82--92
-
T\&E, 19(4)77--78
-
teach, 19(3)41--44, 22(6)40--50
-
teaching, 15(5)44--49, 22(2)99
-
teaching/learning, 19(3)41--44
-
team, 15(3)39--41, 17(4)60--67, 17(5)21--31, 18(5)33--41, 19(3)51--61,
19(5)21--34, 20(z)222--224, 21(1)55--67, 21(1)77--86, 21(2)32--38,
21(2)74--78, 21(3)187--194, 21(6)33--45, 23(3)79--82, 24(2)197--206,
24(4)84--86, 24(6)464--475
-
team-oriented, 23(3)79--82
-
technical, 16(3)61--68, 17(5)169--180, 18(1)35--48, 19(2)57--62,
20(1)55--66, 20(3)84--89, 20(z)114--122, 21(1)55--67, 21(1)77--86,
21(2)11--15, 21(4)9--12, 22(2)25--34, 22(2)58--63, 22(2)85--86,
22(5)33--42, 23(1)66--67, 23(1)92--97, 23(6)80--86, 24(2)19--28,
24(2)39--48, 24(4)30--32, 24(4)33--42
-
techniques,, 15(1)44--48
-
technological, 21(4)44--46
-
technology, 15(1)73--78, 15(6)34--43, 16(3)36--45, 16(3)61--68,
17(1)23--32, 17(3)21--26, 17(4)68--70, 17(5)99--108, 18(2)18,
18(2)30--39, 18(3)159, 18(4)26--35, 19(1)16--29, 19(3)23--25,
19(4)68--76, 19(5)121--127, 20(1)55--66, 20(1)85--89, 20(5)18--22,
20(5)89, 20(z)17--20, 20(z)38--46, 20(z)150--159, 20(z)186--195,
20(z)196--205, 20(z)215--218, 21(1)16--30, 21(1)55--67, 21(2)32--38,
21(4)100, 21(4)100--101, 21(5)36--39, 21(5)58--59, 21(6)179--190,
22(1)24--27, 22(1)28--38, 22(1)88--104, 22(1)107--108,
22(1)109--109, 22(2)6, 22(2)16--18, 22(2)58--63, 22(2)85--86,
22(4)9--10, 22(4)32--33, 22(4)35--38, 22(4)113--114, 22(5)33--42,
23(1)24--26, 23(1)35--37, 23(1)44--46, 23(1)77--80, 23(1)100--103,
23(2)1--10, 23(2)124--133, 23(4)65--69, 24(1)65--68, 24(1)78--80,
24(2)39--48, 24(2)167--176, 24(2)197--206, 24(3)53--55, 24(4)43--46,
24(6)2--19, 24(6)375--392, 24(6)464--475
-
technology-independent, 20(5)40--47
-
tedious, 24(5)11--20
-
Tedjini, Mohamed, 15(6)238--248
-
Tedjini:1990:QSS, 15(6)238--248
-
Teknowledge, 19(4)68--76
-
tel, 20(3)84--89
-
telecommunication, 16(5)101--111, 21(3)187--194
-
telephone, 18(5)107--114, 20(2)58--61, 21(3)261--269, 23(2)124--133
-
telephony, 18(3)128--138, 21(3)216--223
-
template, 17(4)28--31, 17(5)32--40, 18(3)11--18, 18(5)9--20,
21(6)135--146, 22(2)35--38, 23(6)131--142
-
temporal, 15(4)80--89, 18(3)28--39, 18(5)126--137, 19(5)140--153,
20(z)263--266, 21(3)39--52, 21(3)270--279, 21(6)106--117,
21(6)179--190, 23(6)209--221, 24(2)187--195
-
temporal-logic, 21(3)280--292
-
temporally, 24(6)464--475
-
temporary, 24(2)117--126
-
ten, 19(3)36--40, 22(1)88--104, 23(6)143--152, 24(3)58--62, 24(3)69--75
-
tend, 17(1)33--41, 17(5)68--77, 20(z)160--168, 21(2)32--38, 24(6)1,
24(6)429--445
-
tendency, 21(2)32--38
-
Terashima, Nobuyoshi, 18(1)49--51
-
Terashima:1993:TAC, 18(1)49--51
-
term, 15(1)44--48, 15(5)28--43, 15(6)11--21, 15(6)183--192, 16(2)45--51,
16(3)46--51, 17(4)40--52, 17(5)58--67, 18(3)28--39, 18(3)70--80,
18(5)71--78, 18(5)107--114, 19(3)51--61, 19(5)21--34, 20(1)55--66,
20(1)71--73, 20(5)67--72, 20(5)78--82, 20(5)83--87, 20(z)97--105,
20(z)196--205, 21(1)75--76, 21(1)77--86, 21(3)1--3, 21(5)47--50,
21(6)3--14, 21(6)15--23, 21(6)70--80, 22(1)88--104, 22(2)16--18,
22(4)84--90, 23(1)44--46, 23(3)75--77, 23(3)93--96, 23(3)111--119,
24(2)49--58, 24(2)117--126, 24(3)69--75, 24(6)1, 24(6)180--198
-
term, long-, 17(5)159--168, 20(5)40--47, 20(z)225--228,
21(1)77--86, 21(4)58--63, 23(1)77--80
-
term, near-, 19(4)68--76
-
term, short-, 20(5)40--47
-
termed, 24(6)511--527
-
terminals, 20(1)85--89
-
terminate, 18(5)126--137, 20(1)67--70
-
terminators, 22(2)54--57
-
terminology, 15(2)83--94, 16(2)45--51, 18(4)13--15, 20(2)69--75
-
Terry, Allan, 19(4)68--76
-
Terry, B., 15(2)83--94
-
Terry:1990:TSE, 15(2)83--94
-
Terry:1994:OTD, 19(4)68--76
-
Terwilliger, Robert B., 15(1)93--94, 18(2)50--59
-
Terwilliger:1990:OBE, 15(1)93--94
-
Terwilliger:1993:TTS, 18(2)50--59
-
Teschke, Michael, 24(2)79--88
-
Teschke, Michael, see Heinl, Petra
-
test, pre-, 21(5)47--50
-
test-case, 18(3)171--181, 23(2)73--81
-
test-cases, 21(2)32--38
-
test-data, 23(2)73--81
-
test-design, 21(5)51--55
-
testability, 20(z)247--255, 21(3)195--200, 21(4)66--70, 22(4)84--90
-
testable, 21(5)51--55, 22(4)84--90
-
testbed, 15(2)55--69, 21(3)79--83
-
tested, 17(3)43--46, 19(2)57--62, 19(5)128--139, 21(2)32--38,
21(3)201--208, 21(3)270--279, 21(5)51--55, 23(6)153--162,
24(6)285--302
-
tester, 18(3)82--88, 21(3)62--70, 21(3)201--208, 23(2)82--92,
24(4)81--83, 24(5)11--20, 24(6)285--302
-
testing, lab-, 23(2)124--133
-
testing, re-, 23(2)134--142
-
testing.2, 22(2)68--71
-
Texas, 18(5)138--148, 23(3)8--10, 23(5)7, 24(3)29--31
-
text, 17(5)1--10, 18(5)42--55, 18(5)79--88, 19(5)97--110, 23(6)10--16,
24(1)78--80, 24(2)147--156, 24(2)217--226, 24(5)105--109
-
text-based, 15(6)133--143, 17(5)41--46, 22(4)35--38, 24(2)99--108
-
textual, 19(4)68--76, 22(2)94--98
-
than, 15(5)28--43, 15(6)1--10, 15(6)94--106, 16(1)73--91, 16(3)56--60,
17(4)60--67, 17(5)1--10, 18(1)74--80, 18(2)96--105, 18(3)2--10,
18(3)70--80, 18(3)89--98, 18(3)139--148, 18(3)149--158, 18(4)70--74,
18(5)42--55, 18(5)107--114, 18(5)182--190, 19(3)23--25, 19(3)36--40,
19(4)77--78, 19(5)2--10, 19(5)11--20, 19(5)140--153, 20(1)27--38,
20(1)55--66, 20(2)69--75, 20(3)33--36, 20(5)56--61, 20(z)47--52,
20(z)137--149, 20(z)169--178, 20(z)225--228, 20(z)267--270,
21(1)70--72, 21(1)77--86, 21(3)147--157, 21(3)172--179, 21(4)58--63,
21(5)47--50, 21(5)51--55, 21(6)70--80, 21(6)81--92, 21(6)135--146,
22(1)77--84, 22(1)88--104, 22(2)48--53, 23(1)47--50, 23(1)62--65,
23(2)21--31, 23(2)50--52, 23(3)64--68, 23(3)120--125, 23(6)24--34,
23(6)56--69, 23(6)153--162, 24(2)69--78, 24(2)109--116,
24(2)117--126, 24(2)207--216, 24(2)227--235, 24(5)21--31,
24(6)75--90, 24(6)199--215, 24(6)285--302, 24(6)338--354,
24(6)429--445, 24(6)476--493
-
the, 21(1)35--39, 21(2)32--38, 21(3)84--91, 22(1)88--104, 23(3)120--125
-
the, modules-, 17(5)99--108
-
the, state-of-, 21(4)64--66
-
the-art'', ``state-of-, 21(2)32--38
-
the-art, state-of-, 18(4)70--74, 21(3)293
-
the-large, cooperation-in-, 17(5)32--40
-
the-large, in-, 21(3)39--52
-
the-large, programming-in-, 15(2)55--69
-
the-large, reuse-in-, 20(z)88--96
-
the-loop, hardware-in-, 24(6)163--179
-
the-practice, state-of-, 21(3)293
-
The-Shelf, Commercial-Off-, 21(5)43--46, 24(4)43--46
-
the-Shelf, Off-, 22(2)48--53
-
the-shelf, off-, 16(4)55--59, 22(2)48--53, 22(3)190--198
-
the-small, cooperation-in-, 17(5)32--40
-
them, 20(3)49--62
-
theme, 17(3)43--46, 19(4)77--78, 20(z)53--62, 21(5)21--35, 22(1)42--56
-
themselves, 15(6)107--119, 17(2)72--73, 18(1)35--48, 18(5)1--8,
20(2)36--41, 20(z)106--113, 21(5)21--35, 21(5)95--98, 23(2)50--52,
23(6)175--188, 24(2)89--98
-
then, 15(6)107--119, 15(6)144--156, 15(6)238--248, 16(3)87--92,
17(2)43--49, 17(5)88--98, 17(5)99--108, 18(1)74--80, 18(2)27--29,
18(2)106--108, 18(3)171--181, 18(4)26--35, 18(4)36--43, 18(5)21--32,
18(5)149--162, 20(5)18--22, 20(5)40--47, 20(5)67--72, 20(z)186--195,
20(z)206--214, 21(1)46--50, 21(1)55--67, 21(2)22--31, 21(2)32--38,
21(2)74--78, 21(2)84--86, 21(3)4--13, 21(3)39--52, 21(3)187--194,
21(3)201--208, 21(3)224--238, 21(6)3--14, 21(6)46--57, 21(6)70--80,
21(6)147--155, 22(1)68--74, 22(2)35--38, 22(2)39--42, 22(4)35--38,
22(4)39--43, 22(4)56--60, 22(4)65--69, 23(2)50--52, 23(2)124--133,
23(2)143--152, 23(3)87--92, 23(6)88--98, 23(6)143--152,
23(6)209--221, 23(6)231--244, 24(3)32--36, 24(4)75--80, 24(5)32--38,
24(6)2--19, 24(6)146--162, 24(6)180--198
-
theorem, 17(5)120--129, 19(3)36--40, 19(5)121--127, 20(1)67--70,
21(3)239--249, 23(2)124--133
-
theoretic, 21(4)58--63, 23(1)62--65
-
theoretical, 18(3)171--181, 18(5)1--8, 19(3)36--40, 20(2)69--75,
21(4)44--46, 21(6)167--178, 23(1)24--26
-
theoretically, 21(4)81--92
-
theory, 18(5)1--8, 18(5)126--137, 18(5)163--168, 19(3)36--40,
19(3)48--50, 19(5)128--139, 20(z)263--266, 21(2)45--46, 21(2)74--78,
21(3)84--91, 21(3)209--215, 21(4)71--80, 21(4)81--92, 21(6)24--32,
21(6)167--178, 22(1)85--87, 22(3)2--9, 22(6)525--526, 23(1)62--65,
23(2)50--52, 23(3)79--82, 23(3)111--119, 23(6)88--98, 24(6)494--510
-
theory/method/insights/tools, 23(2)50--52
-
there, 15(1)68--72, 15(2)31--39, 15(5)60--63, 15(6)183--192, 16(3)85--87,
17(2)50--56, 17(2)57--63, 17(4)28--31, 17(5)41--46, 17(5)139--148,
18(1)35--48, 18(1)59--64, 18(2)60--73, 18(3)1, 18(3)82--88,
18(3)110--116, 18(3)160--170, 18(4)26--35, 18(4)44--53, 18(5)42--55,
19(1)77--85, 19(2)57--62, 19(3)48--50, 19(3)66--68, 19(5)154--163,
20(2)58--61, 20(2)69--75, 20(3)45--48, 20(3)84--89, 20(z)137--149,
20(z)233--237, 21(1)55--67, 21(1)68--70, 21(1)70--72, 21(2)32--38,
21(3)79--83, 21(3)92--97, 21(3)147--157, 21(3)195--200,
21(3)201--208, 21(4)9--12, 21(4)44--46, 21(5)51--55, 21(5)89--94,
21(6)58--69, 21(6)118--126, 21(6)135--146, 22(2)43--47, 22(2)85--86,
22(4)32--33, 22(4)50--55, 23(1)47--50, 23(1)62--65, 23(1)77--80,
23(1)86--91, 23(2)42--48, 23(2)50--52, 23(6)17--23, 23(6)24--34,
23(6)35--45, 23(6)207--208, 24(1)55--59, 24(2)109--116, 24(5)21--31,
24(5)86--94, 24(6)322--337, 24(6)355--374, 24(6)393--409,
24(6)446--463
-
thereby, 18(3)40--50, 21(3)195--200, 21(4)66--70, 21(6)33--45,
22(2)48--53, 22(4)35--38, 24(6)180--198
-
therefore, 15(3)42--50, 16(1)36--40, 16(2)75--82, 16(4)37--41,
17(4)28--31, 17(5)41--46, 17(5)58--67, 18(2)30--39, 18(3)128--138,
18(3)160--170, 19(5)140--153, 21(3)147--157, 21(5)21--35,
21(6)81--92, 23(1)47--50, 23(1)62--65, 24(5)76--85, 24(6)303--321
-
Théry, Laurent, 17(5)120--129
-
Thery:1992:RTP, 17(5)120--129
-
thesaurus, 18(1)74--80
-
thesis, 21(1)75--76
-
Thévenod-Fosse, P., 18(3)99--109
-
Thévenod-Fosse, Pascale, 21(3)158--171,
see Daran, Murial
-
Thevenod-Fosse:1993:SAS, 18(3)99--109
-
Thibault, Scott, 22(3)131--135
-
Thibault:1997:FAG, 22(3)131--135
-
thing, 17(2)70, 18(2)18, 19(4)77--78, 20(5)40--47, 21(5)56--57,
23(3)75--77, 23(3)111--119
-
think, 16(4)37--41, 17(2)70, 18(4)44--53, 18(5)107--114, 19(3)66--68,
20(3)37--44, 20(5)40--47, 21(2)74--78, 23(1)62--65
-
thinking, 17(3)21--26, 20(z)114--122, 24(2)117--126, 24(6)75--90
-
third, 15(1)68--72, 17(1)33--41, 18(2)50--59, 19(4)68--76, 20(1)55--66,
20(2)21--22, 20(z)219--221, 21(1)77--86, 21(4)47--51, 22(1)88--104,
22(2)5, 23(2)50--52, 23(3)111--119, 24(3)69--75
-
third-party, 24(6)476--493
-
thirty, 24(4)43--46
-
Thomas, Ian, 15(6)238--248
-
Thomas, Ian, see Tedjini, Mohamed
-
Thomas, Jeff, 18(5)191--199, 19(5)111--120
-
Thomas, Jeff, see Batory, Don
-
Thompson, Craig, 23(3)44--63
-
Thompson, Jeffrey M., 24(6)163--179
-
Thompson, Margaret C., 18(3)182--192
-
Thompson:1993:IFM, 18(3)182--192
-
Thompson:1998:WCS, 23(3)44--63
-
Thompson:1999:SBP, 24(6)163--179
-
thorough, 19(2)52--56, 21(3)261--269, 24(5)11--20
-
though, 20(5)51--55, 21(1)77--86, 21(2)32--38, 21(3)79--83, 22(1)88--104,
23(6)231--244
-
though, efficiency-, 18(2)106--108
-
thought, 16(1)36--40, 17(4)68--70, 18(1)59--64, 19(1)75--76, 22(4)32--33,
23(1)62--65, 23(3)111--119
-
thought-provoking, 24(1)74--77
-
thousands, 18(1)65--73, 23(2)124--133
-
thrashed, 24(1)36--48
-
thread, 16(1)50--53, 21(1)55--67, 23(3)83--86
-
threaded, multi-, 23(3)83--86
-
threat, 16(1)36--40, 22(4)32--33
-
three, 15(5)23--27, 15(6)22--33, 15(6)218--228, 16(2)45--51, 16(3)69,
16(3)93--94, 17(1)33--41, 17(2)39--42, 17(4)28--31, 17(4)40--52,
17(4)53--59, 18(2)25--26, 18(2)50--59, 18(3)19--27, 18(5)107--114,
19(4)77--78, 20(z)53--62, 20(z)114--122, 21(3)187--194,
21(3)224--238, 21(6)93--105, 22(1)42--56, 22(2)68--71, 23(1)24--26,
23(1)50--55, 23(1)81--85, 23(2)134--142, 23(6)222--230, 24(1)59--64,
24(1)65--68, 24(1)74--77, 24(4)81--83, 24(6)476--493
-
three, Twenty-, 21(4)51--53
-
three-person, 24(2)227--235
-
three-pronged, 15(6)218--228
-
Thrift, 16(3)85--87
-
thriving, 18(1)35--48
-
through, 15(2)47--54, 15(3)25--32, 15(5)23--27, 15(5)28--43,
15(6)94--106, 16(3)70--72, 16(3)93--94, 17(2)50--56, 17(3)43--46,
17(5)1--10, 18(1)74--80, 18(2)30--39, 18(2)50--59, 18(2)96--105,
18(3)99--109, 18(4)26--35, 18(5)9--20, 18(5)21--32, 19(1)77--85,
19(1)86--89, 19(5)97--110, 19(5)154--163, 20(1)46--54, 20(2)28--33,
20(3)37--44, 20(5)56--61, 20(5)62--66, 20(5)89, 20(z)47--52,
20(z)114--122, 20(z)169--178, 20(z)179--185, 20(z)186--195,
20(z)233--237, 20(z)238--246, 20(z)263--266, 20(z)267--270,
21(2)64--73, 21(3)270--279, 21(6)24--32, 21(6)81--92, 21(6)179--190,
22(1)42--56, 22(2)39--42, 22(2)58--63, 22(2)94--98, 22(4)35--38,
23(1)92--97, 23(1)104--110, 23(2)50--52, 23(2)53--62, 23(3)70--74,
23(3)111--119, 23(6)1--9, 23(6)163--174, 24(2)1--10, 24(2)29--38,
24(3)76--79, 24(4)84--86, 24(5)47--56, 24(5)86--94, 24(6)268--284,
24(6)375--392, 24(6)393--409, 24(6)464--475
-
throughout, 15(6)34--43, 18(1)65--73, 18(2)96--105, 18(4)36--43,
18(5)1--8, 20(1)55--66, 21(1)77--86, 21(6)70--80, 22(2)64--67,
24(3)66--68, 24(6)163--179
-
throughput, high-, 24(1)65--68
-
Thru-deref, 21(6)81--92
-
thrust, 17(4)68--70
-
thus, 15(6)120--132, 17(4)60--67, 18(3)70--80, 18(5)42--55, 19(3)23--25,
20(1)55--66, 20(2)36--41, 21(1)70--72, 21(3)121--134, 21(3)180--186,
21(4)81--92, 21(6)58--69, 21(6)179--190, 23(1)24--26, 23(2)63--72,
23(6)153--162, 23(6)175--188, 24(2)167--176, 24(2)197--206,
24(5)39--46, 24(5)86--94, 24(6)163--179, 24(6)375--392,
24(6)494--510
-
Tichy, Walter, 20(3)63--83
-
Tichy, Walter, see Garlan, David
-
Tichy, Walter F., 18(1)35--48
-
Tichy:1993:SDW, 18(1)35--48
-
tides, 22(1)88--104
-
tightly, 15(6)11--21, 15(6)144--156, 18(5)71--78
-
Tigréat, Hervé, 22(4)81--83,
see Piattini, Mario G.
-
Tilley, S. R., 17(5)88--98
-
Tilley, S. R., see Müller, H. A.
-
Tilley, Scott R., 19(1)31--38
-
Tilley, Scott R., see Kontogiannis, Kostas A.
-
time, compile-, 21(3)261--269, 21(6)81--92, 23(3)111--119
-
time, hard-real-, 16(5)132--146
-
time, linear-, 21(6)106--117
-
time, polynomial-, 19(5)62--75
-
time, Real-, 16(1)62--67
-
time, real-, 15(2)70--82, 15(3)25--32, 16(5)44--54,
16(5)101--111, 16(5)120--131, 17(4)24--27, 18(3)110--116,
20(2)48--54, 21(3)4--13, 21(3)250--260, 21(6)179--190, 23(1)99--z,
23(3)79--82, 24(6)57--74, 24(6)494--510
-
Time, Run-, 17(4)24--27
-
time, run-, 16(1)50--53, 17(4)28--31, 18(3)139--148,
18(5)191--199, 20(1)85--89, 21(3)250--260, 24(2)59--68,
24(6)393--409
-
time, SDE-development-, 15(6)144--156
-
time, SDE-execution-, 15(6)144--156
-
time-critical, 21(3)39--52
-
time-driven, 24(2)187--195
-
time-stressed, 19(4)68--76
-
Time4, Real-, 22(5)33--42
-
timed, 18(3)28--39, 24(6)494--510
-
times, run-, 19(2)57--62
-
timescale, 22(4)21--24
-
timing, 16(5)132--146, 18(3)110--116, 18(3)117--127, 21(3)4--13,
21(3)250--260, 24(6)494--510
-
Tindall, S., 24(3)66--68
-
Tindall, S., see Kirner, D.
-
Tip, Frank, 23(6)99--110
-
Tip, Frank, see Snelting, Gregor
-
Tk, 19(4)82--85
-
to, component-, 17(5)149--158
-
to, points-, 23(6)46--55, 24(6)199--215
-
to-assimilate, easy-, 21(1)46--50
-
to-date, up-, 17(2)74--78
-
to-face, Face-, 24(2)227--235
-
to-face, face-, 18(5)107--114, 24(2)109--116, 24(2)227--235
-
to-minute, minute-, 20(5)40--47
-
to-project, project-, 20(5)40--47
-
to-situation, situation-, 20(5)40--47
-
to-source, source-, 23(2)93--101
-
to-top, bottom-, 21(3)14--23
-
today, 17(4)24--27, 18(2)27--29, 20(2)42--47, 20(2)58--61, 23(1)47--50,
23(6)17--23, 24(1)36--48, 24(2)29--38, 24(2)167--176, 24(6)253--267
-
Toetenel, Hans, 15(4)118--127
-
Toetenel:1990:SAF, 15(4)118--127
-
together, 15(1)49--58, 15(2)29--30, 15(5)60--63, 15(6)206--217,
16(3)36--45, 17(1)62--64, 17(5)68--77, 18(1)35--48, 18(3)19--27,
19(5)21--34, 19(5)97--110, 19(5)140--153, 20(1)55--66, 20(2)36--41,
20(2)76--89, 20(3)84--89, 20(z)3--6, 20(z)150--159, 20(z)263--266,
21(1)46--50, 21(1)55--67, 21(1)68--70, 21(1)77--86, 21(3)135--146,
21(4)58--63, 21(5)43--46, 21(5)89--94, 21(5)95--98, 21(6)3--14,
21(6)81--92, 21(6)179--190, 22(1)24--27, 22(1)28--38, 22(1)42--56,
22(1)85--87, 22(2)68--71, 22(2)94--98, 22(4)35--38, 23(2)102--112,
23(6)203--204, 24(2)11--18, 24(2)39--48, 24(2)157--166,
24(2)177--186, 24(3)32--36, 24(3)58--62
-
token, 19(3)23--25
-
Tokyo, 21(5)36--39
-
Toleman, Mark A., 17(5)41--46
-
Toleman:1992:EIM, 17(5)41--46
-
tolerance, 15(6)77--93, 20(5)39, 21(4)96
-
tolerant, 23(1)98
-
tolerant, error-, 18(3)171--181
-
tolerate, 15(6)34--43, 24(2)59--68
-
Tolerating, 24(2)59--68
-
Tolone, William J., 17(5)11--20
-
Tolone, William J., see Kaplan, Simon M.
-
Tom, 23(1)109--109
-
Toman, C. A., 20(4)92--103
-
Toman, C. A., see Porter, A.
-
Tomic, Marijana, 19(2)29--34
-
Tomic:1994:PAO, 19(2)29--34
-
tomorrow, 23(6)17--23
-
tongue-in-cheek, 21(2)84--86
-
too, 17(5)21--31, 17(5)99--108, 19(5)53--61, 20(1)71--73, 20(5)83--87,
20(z)160--168, 21(1)73--74, 21(3)84--91, 21(6)33--45, 24(1)74--77,
24(6)199--215
-
took, 16(3)93--94, 22(1)24--27, 23(1)30--34, 23(2)50--52, 24(4)43--46
-
tool, case-, 22(1)77--84
-
tool, CASE-, 18(2)20--22
-
Tool, Inter-, 17(5)32--40
-
ToolCASE, 17(2)74--78
-
toolkit, 15(6)229--237, 19(5)175--188, 20(3)90--93
-
tools:1, 22(2)68--71
-
toolset, 17(5)109--119, 19(5)62--75, 21(6)147--155, 24(6)127--145
-
TOOP, 22(4)84--90
-
top, 20(5)40--47, 22(1)88--104
-
top, bottom-to-, 21(3)14--23
-
top-down, 18(3)28--39, 18(4)36--43, 18(5)1--8, 20(5)40--47,
23(3)111--119
-
top-level, 18(5)89--98, 20(1)55--66, 20(3)37--44
-
topic, 15(2)31--39, 15(5)60--63, 16(1)68--72, 18(1)35--48, 19(5)44--52,
20(z)137--149, 21(1)46--50, 21(4)44--46, 21(4)51--53, 22(1)42--56,
22(1)57--68, 22(2)94--98, 23(1)47--50, 24(2)79--88, 24(2)197--206
-
topologist, 23(2)50--52
-
topology, 20(3)49--62
-
Topping, G., 15(3)25--32
-
Topping, G., see Yeung, W. L.
-
total, 16(3)80--84, 18(4)19--25, 18(5)1--8, 20(3)33--36, 21(2)64--73,
21(3)158--171, 23(2)124--133, 23(6)24--34, 24(4)84--86,
24(6)338--354
-
totally, 20(5)40--47
-
touch, 20(2)48--54
-
tour, 20(2)28--33
-
toward, 15(4)25--29, 15(6)193--205, 16(2)33--34, 17(5)58--67,
17(5)99--108, 18(1)49--51, 18(1)52--53, 18(2)50--59, 18(5)71--78,
19(1)86--89, 19(5)53--61, 20(1)79--84, 20(2)69--75, 20(4)5,
20(z)229--232, 21(1)42--46, 21(1)75--76, 21(2)53--55, 21(3)201--208,
21(5)47--50, 21(6)81--92, 22(2)64--67, 22(3)19--29, 22(4)56--60,
22(4)84--90, 22(6)483--499, 22(6)525--526, 23(1)47--50, 23(1)66--67,
23(1)100--103, 23(3)105--110, 23(6)88--98, 24(1)9--14, 24(1)49--54,
24(6)446--463
-
tr, 21(3)4--13
-
@tr, 21(3)4--13
-
TR-95-151, CMU-CS-, 20(3)84--89
-
trace, 15(1)59--63, 15(6)107--119, 19(5)53--61, 21(3)92--97,
21(3)158--171, 23(6)35--45, 23(6)209--221
-
traceability, 18(4)36--43
-
Tracey, Nigel, 23(2)73--81
-
Tracey:1998:APF, 23(2)73--81
-
tracing, 16(4)37--41
-
track, 21(2)32--38, 22(2)5, 22(3)212--216
-
tracked, 24(6)253--267
-
tracking, 17(5)1--10, 22(4)56--60, 23(3)79--82
-
tractable, 18(3)110--116
-
Tracz, 20(3)84--89
-
Tracz, Will, 15(2)42--46, 16(3)36--45, 17(3)27--34, 18(2)40--49,
18(2)74--85, 19(1)55--71, 19(2)52--56, 20(1)93, 20(2)21--22,
20(3)16--28, 20(3)49--62, 20(5)27--38, 20(z)11--13, 21(3)1--3,
21(5)40--42, 22(1)3--4, 22(2)102, 22(3)100--103, 22(3)210--211,
23(1)109--109, 23(3)29--31
-
Tracz, Will, see Griss, Martin,
see Guerrieri, Ernesto, \see{Poulin, Jeff,
see Taylor, Richard N.
-
Tracz:1990:WDR, 15(2)42--46
-
Tracz:1991:CMM, 16(3)36--45
-
Tracz:1992:DAW, 17(3)27--34
-
Tracz:1993:DSS, 18(2)40--49
-
Tracz:1994:DSS, 19(2)52--56
-
Tracz:1995:BRC, 20(1)93
-
Tracz:1995:BRS, 20(1)93
-
Tracz:1995:CUP, 20(z)11--13
-
Tracz:1995:DDS, 20(3)49--62
-
Tracz:1995:ICS, 20(3)16--28
-
Tracz:1995:TIC, 20(2)21--22
-
Tracz:1996:EDC, 21(5)40--42
-
Tracz:1996:TAS, 21(3)1--3
-
Tracz:1997:BRA, 22(2)102
-
Tracz:1997:DRJ, 22(3)100--103
-
Tracz:1997:SPS, 22(1)3--4
-
Tracz:1998:BRD, 23(1)109--109
-
Tracz:1998:HDP, 23(3)29--31
-
trade, 23(6)46--55
-
tradeoff, 19(5)121--127, 21(6)81--92, 23(2)134--142
-
tradition, 20(3)29--32, 21(5)21--35, 23(1)86--91, 23(3)105--110
-
traditional, 17(2)39--42, 17(2)43--49, 17(5)21--31, 18(3)160--170,
18(5)115--125, 19(3)23--25, 19(3)41--44, 19(5)62--75, 19(5)140--153,
20(5)40--47, 20(5)62--66, 21(3)62--70, 21(3)180--186, 21(6)46--57,
21(6)58--69, 22(1)68--74, 22(2)64--67, 22(2)87--91, 23(1)77--80,
23(2)63--72, 23(2)124--133, 23(3)111--119, 23(6)46--55, 24(2)69--78,
24(5)21--31, 24(5)66--75, 24(6)235--252, 24(6)285--302
-
traditionally, 18(2)23--24, 19(1)75--76, 20(z)106--113, 20(z)233--237,
21(2)32--38, 22(1)68--74, 23(2)1--10, 23(6)46--55, 24(6)1,
24(6)39--56
-
traffic, 17(4)24--27, 18(1)65--73, 21(3)79--83, 21(6)156--166
-
train, 24(6)410--428
-
training, 15(2)23--25, 20(3)37--44, 20(z)160--168, 23(3)98--101,
24(4)30--32
-
transaction, 17(5)21--31, 22(4)44--49, 23(3)87--92
-
transaction-like, 15(6)206--217
-
transcends, 23(1)77--80
-
transfer, 15(2)23--25, 16(3)61--68, 18(3)160--170, 18(3)182--192,
22(2)58--63, 24(5)1--10
-
transferred, 24(6)393--409
-
transform, 16(3)93--94, 21(3)280--292, 22(4)44--49, 23(2)53--62,
24(6)375--392
-
transformation, 15(2)70--82, 15(4)115--117, 15(6)56--65, 15(6)107--119,
15(6)133--143, 17(1)33--41, 17(5)68--77, 18(5)42--55, 18(5)79--88,
19(3)62--65, 19(5)97--110, 20(2)48--54, 21(4)51--53, 22(4)44--49,
22(6)327--343, 24(5)1--10
-
transformational, 15(4)104--114, 15(6)107--119, 17(5)68--77,
18(5)71--78
-
transformed, 20(5)83--87, 24(5)1--10
-
transformer, 17(5)68--77
-
transforming, 22(4)44--49
-
transit, 20(2)48--54
-
transition, 15(1)36--41, 15(6)157--172, 16(5)101--111, 18(3)128--138,
18(5)115--125, 20(z)114--122, 21(2)56--63, 21(3)4--13,
21(3)239--249, 21(4)100, 24(6)446--463, 24(6)511--527
-
transition, state-, 21(3)216--223
-
Transitioning, 24(6)446--463
-
translatable, 16(4)42--52
-
translate, 16(3)93--94, 17(5)68--77, 17(5)99--108
-
translated, 20(3)94--97, 21(6)156--166
-
translating, 17(3)21--26, 21(3)71--78, 21(4)71--80, 21(6)156--166
-
translation, 19(3)23--25, 21(3)172--179, 21(6)70--80
-
translational, 21(3)172--179
-
translator, 23(2)93--101, 24(5)1--10
-
transmitted, 23(2)124--133
-
transparency, 20(z)238--246
-
transparent, 21(6)147--155
-
transport, 20(z)247--255, 24(6)20--38
-
transporting, 23(6)80--86
-
traveling, 19(5)21--34
-
traversal, 19(5)2--10
-
treat, 17(5)99--108, 19(5)2--10, 20(1)27--38, 21(3)201--208, 23(1)98
-
treated, 17(3)43--46, 24(2)79--88, 24(5)76--85
-
treating, 23(1)98, 24(2)59--68
-
treatment, 18(5)138--148, 19(2)52--56, 22(2)85--86, 23(2)113--123
-
tree, 15(6)56--65, 17(5)58--67, 18(3)160--170, 18(4)36--43,
21(3)180--186, 23(1)56--58, 23(1)59--61, 23(6)111--120
-
tree-based, 21(3)180--186
-
trend, 19(1)86--89, 21(1)75--76, 23(6)70--79, 24(2)29--38
-
trial, 18(4)26--35
-
Tribus, 24(1)59--64
-
tried, 18(4)36--43, 20(z)114--122, 22(1)42--56, 23(1)86--91,
24(2)227--235
-
trigger, 15(6)34--43, 15(6)206--217, 24(2)117--126
-
triggered, 22(1)24--27
-
triggering, 19(4)68--76
-
TRIO, 21(3)39--52
-
TRIOR, 21(3)39--52
-
trip, 17(2)23--38, 20(1)93, 23(5)50--51
-
triplet, 22(4)65--69
-
Tripp, Leonard L., 15(2)95, 16(3)77, 17(1)58--61, 18(2)109
-
Tripp:1990:CES, 15(2)95
-
Tripp:1991:RFS, 16(3)77
-
Tripp:1992:WFS, 17(1)58--61
-
Tripp:1993:SDP, 18(2)109
-
trivial, 17(3)21--26
-
trivial, non-, 19(2)38--51, 23(2)53--62
-
true, 18(4)26--35, 23(1)62--65
-
truly, 20(1)55--66
-
trust, 17(4)24--27, 24(6)476--493
-
trusted, 22(4)32--33, 24(6)476--493
-
trustworthiness, 16(2)73--74
-
truth, 22(1)88--104
-
truth.''We, 23(3)111--119
-
try, 15(3)39--41, 18(2)60--73, 21(1)77--86, 23(1)62--65, 23(2)42--48,
24(1)36--48
-
trying, 17(5)139--148, 20(1)74--78, 20(5)40--47, 21(2)32--38,
22(2)94--98
-
Tsou, Duu-Chung, 16(5)147--161
-
Tsou, Duu-Chung, see Wang, Chih-Kan
-
TTM15, 22(6)111--124
-
tuned, 16(1)36--40
-
tuned, highly-, 19(5)111--120
-
tuning, 19(1)86--89
-
tuning, fine-, 21(6)106--117
-
tuples, 15(1)36--41
-
turn, 16(3)56--60, 20(2)48--54, 24(2)109--116, 24(6)268--284
-
turnaround, 24(2)187--195
-
turned, 24(6)338--354, 24(6)476--493
-
turnkey, 16(3)85--87, 18(1)59--64
-
Turpin, Russell, 18(5)138--148
-
Turpin:1993:LAD, 18(5)138--148
-
tutorial, 15(3)25--32, 19(1)77--85, 22(4)34, 24(2)217--226,
24(2)239--240
-
Twelve, 24(4)43--46
-
twenty, 21(5)51--55
-
Twenty-three, 21(4)51--53
-
TWO, 20(2)76--89
-
two, 15(1)44--48, 15(1)59--63, 15(3)42--50, 15(6)133--143, 16(1)50--53,
16(4)55--59, 16(5)147--161, 17(2)39--42, 17(3)43--46, 17(4)28--31,
17(5)68--77, 17(5)88--98, 18(2)60--73, 18(3)40--50, 18(3)99--109,
18(3)128--138, 18(4)26--35, 18(5)42--55, 18(5)79--88, 18(5)99--106,
18(5)107--114, 18(5)182--190, 19(1)31--38, 19(3)23--25, 19(3)75--81,
19(5)53--61, 19(5)164--174, 20(1)71--73, 20(2)58--61, 20(3)29--32,
20(z)53--62, 20(z)123--127, 20(z)238--246, 20(z)259--262,
20(z)267--270, 21(1)46--50, 21(1)50--52, 21(1)55--67, 21(1)68--70,
21(1)77--86, 21(2)39--44, 21(2)53--55, 21(3)24--38, 21(3)92--97,
21(3)98--106, 21(3)180--186, 21(3)187--194, 21(4)9--12, 21(4)44--46,
21(5)60--64, 21(5)95--98, 21(6)24--32, 21(6)118--126, 21(6)147--155,
22(1)42--56, 22(2)101--102, 22(4)44--49, 22(6)521--522, 23(1)44--46,
23(1)98, 23(2)21--31, 23(2)93--101, 23(3)83--86, 23(6)56--69,
23(6)80--86, 23(6)121--130, 23(6)143--152, 23(6)153--162,
23(6)163--174, 23(6)209--221, 24(1)74--77, 24(2)109--116,
24(2)227--235, 24(5)39--46, 24(6)216--234, 24(6)235--252,
24(6)268--284, 24(6)338--354, 24(6)393--409, 24(6)429--445,
24(6)511--527
-
two-dimensional, 23(1)81--85
-
two-levelled, 21(2)53--55
-
two-way, 24(1)59--64
-
Tying, 22(1)42--56
-
type, data-, 17(5)78--87
-
type-checking, 15(6)11--21, 24(6)476--493
-
type-safety, 24(6)476--493
-
typecase, 24(3)69--75
-
typed, 24(6)476--493
-
typed, strongly-, 24(3)69--75
-
typedefed, 17(2)72--73
-
typedefs, 17(2)72--73
-
typical, 21(2)32--38, 22(2)35--38, 23(6)222--230, 24(6)393--409
-
typically, 15(6)1--10, 15(6)11--21, 19(2)22--28, 19(2)38--51,
19(4)68--76, 19(5)164--174, 21(1)77--86, 21(3)172--179, 22(2)64--67,
23(6)143--152
-
typing, 18(2)27--29, 20(z)106--113, 21(6)24--32, 24(2)227--235
-
typology, 17(2)43--49, 21(5)47--50, 22(2)64--67