Index file section T for tosem.bib

Last update: Thu Aug 6 02:14:40 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, 6(3)283--328
taken, 6(4)370--397
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, 6(4)398--441, 7(1)41--79
technology, 1(4)355--398, 5(3)191--230, 6(3)283--328
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, 6(4)398--441
terminate, 6(1)80--110
termination, 6(1)80--110
terminological, 6(2)141--172
terseness, 4(4)365--389
testability, 4(1)36--64
tested, 3(2)101--130
Testing,, 6(3)329--331
testing, domain-, 3(3)254--270
testing, protocol-, 6(3)329--331
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, 6(2)141--172
theorem, 2(2)128--175, 2(3)203--227, 4(1)36--64, 6(1)31--79, 6(4)333--369, 6(4)398--441
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, 7(1)41--79
thereby, 5(1)42--62
therefore, 2(2)128--175, 2(2)176--201, 6(3)283--328, 7(1)41--79
thousand, 3(2)101--130
thread, 2(4)311--345
three, 1(3)229--268, 5(4)378--421, 6(2)141--172, 6(3)329--331, 7(1)41--79
three-year, 3(1)3--28
threshold, 3(2)101--130
throughs, walk-, 7(1)41--79
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
tight, 6(4)398--441
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, 6(4)370--397
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
top, 6(4)398--441
TOSEM, 6(3)329--331
total, 3(1)3--28
toward, 6(3)213--249, 6(3)250--282, 7(1)80--107
TPTL, 2(4)346--378
tracing, 1(3)229--268, 6(4)370--397
track, 6(1)31--79
tradeoff, 6(2)141--172
traditional, 1(2)168--187, 3(1)3--28, 4(3)287--317, 6(3)250--282
Trammell, Carmen J., 1(1)81--94
Trammell:1992:APC, 1(1)81--94
transaction, 4(3)221--286, 6(3)329--331
transformation, 1(3)310--354, 2(3)228--269
transformation-based, 2(3)228--269
transient, 6(3)250--282
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
turn, 6(4)398--441
turnaround, 3(1)3--28
type-checking, 6(3)213--249
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