Index file section T for tosem.bib
Last update: Sun Mar 29 02:02:42 MDT 2026
Return to index directory
T
-
T, 4(1)36--64
-
tableau-based, 2(4)346--378
-
tabular, 5(3)231--261
-
tag, 3(2)101--130
-
take, 2(3)203--227, 3(4)308--339, 4(1)3--35, 5(4)293--333
-
target, 1(1)81--94, 1(3)205--228, 1(3)269--309
-
targeted, 5(1)42--62
-
Tarr, Peri L., 5(4)378--421
-
Tarr, Peri L., see Barrett, Daniel J.
-
tasking, 2(4)311--345, 3(4)340--380, 4(2)171--213, 6(1)80--110
-
Taylor, Richard N., 4(1)65--106, 4(2)171--213
-
Taylor, Richard N., see Pezzè, Mauro,
see Young, Michal
-
TCL, 5(3)262--292
-
team, 1(1)81--94, 1(2)188--204, 2(3)228--269
-
technology, 1(4)355--398, 5(3)191--230
-
template, 4(4)319--364
-
temporal, 2(4)346--378, 3(1)56--98, 3(2)131--165, 3(4)308--339,
6(1)31--79
-
ten, 1(2)135--167, 3(2)101--130
-
tend, 2(3)228--269
-
tended, 3(2)101--130
-
term, 1(3)205--228, 2(2)109--127, 5(3)191--230, 5(4)293--333
-
terminate, 6(1)80--110
-
termination, 6(1)80--110
-
terseness, 4(4)365--389
-
testability, 4(1)36--64
-
tested, 3(2)101--130
-
testing, domain-, 3(3)254--270
-
testing, software-load-, 5(2)87--98
-
Text-based, 1(3)310--354, 4(1)3--35
-
the, 4(2)214--216
-
themselves, 4(4)365--389, 5(1)42--62
-
then, 1(4)399--421, 2(1)47--92, 2(2)176--201, 2(3)228--269, 2(3)270--285,
2(4)346--378, 3(1)29--55, 3(2)101--130, 3(4)308--339, 4(3)287--317,
5(3)191--230
-
theorem, 2(2)128--175, 2(3)203--227, 4(1)36--64, 6(1)31--79
-
theoretic, category-, 4(2)171--213
-
theoretic, model-, 3(1)56--98, 3(4)308--339
-
theoretically, 3(1)29--55, 5(4)334--377
-
there, 1(1)81--94, 2(4)379--411, 3(1)29--55, 3(4)271--307, 4(1)36--64,
5(3)262--292, 5(4)378--421, 6(1)1--30
-
thereby, 5(1)42--62
-
therefore, 2(2)128--175, 2(2)176--201
-
thousand, 3(2)101--130
-
thread, 2(4)311--345
-
three, 1(3)229--268, 5(4)378--421
-
three-year, 3(1)3--28
-
threshold, 3(2)101--130
-
throw-away, 2(2)109--127
-
thus, 1(3)269--309, 1(4)399--421, 2(2)128--175, 2(3)270--285
-
Tichy, Walter, 3(1)3--28, 4(2)217--219
-
Tichy, Walter, see Adams, Rolf
-
Tichy:1995:AR, 3(1)3--28, 4(2)214--216, 4(2)217--219
-
Time, Real-, 6(1)31--79
-
time, Real-, 2(4)346--378, 3(1)56--98, 3(4)308--339,
4(3)287--317, 6(1)31--79
-
time, real-, 1(3)269--309, 2(1)1--46, 2(4)346--378, 3(1)56--98,
3(4)308--339, 4(3)287--317, 6(1)31--79
-
time, run-, 6(1)80--110
-
time-constrained, 4(3)287--317
-
time-critical, 3(1)56--98
-
time-sensitive, 2(1)1--46, 4(3)287--317
-
timed, 2(1)1--46
-
timing, 3(2)131--165, 4(3)287--317, 6(1)31--79
-
to, dependence-, 2(3)228--269
-
together, 3(4)308--339, 4(1)65--106, 5(4)334--377, 6(1)1--30
-
tolerance, 1(1)95--127, 4(3)287--317
-
tolerance, Fault-, 4(3)287--317
-
tolerant, 5(3)262--292
-
tolerating, 5(3)191--230
-
total, 3(1)3--28
-
TPTL, 2(4)346--378
-
tracing, 1(3)229--268
-
track, 6(1)31--79
-
traditional, 1(2)168--187, 3(1)3--28, 4(3)287--317
-
Trammell, Carmen J., 1(1)81--94
-
Trammell:1992:APC, 1(1)81--94
-
transaction, 4(3)221--286
-
transformation, 1(3)310--354, 2(3)228--269
-
transformation-based, 2(3)228--269
-
transition, 1(3)269--309, 5(4)334--377
-
translated, 2(2)176--201, 2(4)379--411
-
translation, 4(2)171--213
-
transparency, 5(4)334--377
-
transparently, 5(4)334--377
-
treatment, 2(2)176--201, 4(2)171--213
-
tree, 2(1)47--92, 5(1)42--62
-
trigger, 4(3)221--286
-
TRIO, 3(1)56--98, 3(4)308--339
-
TRIO+, 3(1)56--98
-
triple, 3(1)3--28
-
trustability, 4(1)36--64
-
Tsai, W. T., 1(2)188--204
-
Tsai, W. T., see Schneider, G. Michael
-
TSO, 4(3)287--317
-
tuple, 2(3)203--227, 3(2)101--130
-
turnaround, 3(1)3--28
-
typed, 1(2)135--167
-
typical, 1(1)81--94, 5(3)191--230
-
Tyszberowicz, Shmuel, 1(3)269--309
-
Tyszberowicz:1992:OPL, 1(3)269--309