Index file section S for tosem.bib

Last update: Sun Mar 29 02:02:42 MDT 2026

Return to index directory

S

sacrificing, 3(1)3--28
safety, 3(1)3--28
same, 2(3)270--285, 2(4)379--411, 4(1)3--35
sample, 2(3)286--303, 3(4)308--339
sampling, 2(3)286--303
San Pietro, Pierluigi, 3(1)56--98
San Pietro, Pierluigi, see Morzenti, Angelo
satisfactory, 2(2)176--201, 4(1)3--35
satisfiability, 2(4)346--378
satisfied, 6(1)31--79
satisfy, 2(3)270--285, 3(4)308--339, 4(1)65--106, 5(1)63--86
save, 3(1)3--28
saving, 3(1)3--28
scalability, 5(3)231--261
scale, large-, 1(4)355--398
scanner, 5(3)262--292
scanning, 5(3)262--292
scarce, 2(2)109--127
scenario, 2(2)128--175
Schäfer, W., 1(2)135--167, see Engels, G.
schedule, 4(3)287--317
scheduling, 4(3)221--286, 4(3)287--317
scheme, 2(3)228--269, 4(2)109--145
Schneider, G. Michael, 1(2)188--204
Schneider, Haim, 2(2)128--175
Schneider, Haim, see Feldman, Yishai A.
Schneider:1992:ESF, 1(2)188--204
Schürr, A., 1(2)135--167, see Engels, G.
scope, 6(1)80--110
SCR, 5(3)231--261
SDF, 2(2)176--201
searcher, 2(3)286--303
searcher-supplied, 2(3)286--303
see, 2(4)311--345, 3(1)3--28, 3(3)201--220, 4(2)214--216, 4(2)217--219
seem, 6(1)1--30
segmented, 2(1)47--92
select, 2(3)270--285
selected, 1(3)205--228, 1(4)422--451, 5(1)63--86
selection, 1(2)168--187, 1(3)205--228, 2(3)270--285, 4(2)171--213, 5(2)87--98
selective, 3(1)3--28, 4(2)214--216
semantics-based, 4(1)3--35
semantics-preserving, 1(3)310--354
sending, 3(2)101--130
sensitive, 1(1)5--20, 4(3)287--317
sensitive, flow-, 3(1)29--55
sensitive, time-, 2(1)1--46, 4(3)287--317
separate, 1(3)229--268, 1(3)310--354, 3(1)3--28, 4(1)3--35
separately, 3(1)29--55
separating, 2(3)228--269, 4(4)365--389
sequence, 1(3)269--309, 3(2)101--130, 4(3)287--317, 5(1)63--86
sequencing, 1(1)21--52
sequential, 1(1)21--52, 2(1)1--46
serializability, 4(3)221--286
series, 3(4)271--307
serve, 4(3)221--286
server, client-, 6(1)80--110
service, 5(3)191--230
several, 1(3)269--309, 1(4)422--451, 2(2)128--175, 3(2)131--165, 4(1)36--64, 4(1)65--106, 4(2)171--213, 4(4)365--389
sharable, 1(1)95--127
shared, 2(3)203--227, 3(2)166--199
sharing, 3(2)166--199
Shatz, S. M., 3(4)340--380
Shatz, S. M., see Duri, S.
shines, 6(1)1--30
shortcomings, 1(4)399--421, 5(4)378--421
should, 1(4)399--421, 2(3)270--285, 2(4)379--411, 3(2)101--130, 4(2)109--145, 5(4)293--333, 6(1)1--30
showing, 1(4)399--421, 5(1)42--62
shown, 1(2)135--167, 3(2)131--165, 3(2)166--199, 5(1)63--86, 5(4)334--377
sieve, 2(2)128--175
signature, 4(2)146--170
significant, 3(4)271--307, 5(1)63--86
significantly, 3(1)3--28, 4(1)65--106, 5(1)63--86
similar, 4(2)171--213, 5(4)334--377
similarity, 1(3)205--228, 1(4)355--398
similarity-based, 1(3)205--228
simple, 1(1)5--20, 1(3)229--268, 1(4)422--451, 3(4)340--380, 4(2)109--145, 4(2)171--213
simplicity, 3(4)271--307
simplified, 3(3)254--270
simply, 4(2)146--170
simulate, 1(3)269--309, 2(2)128--175
simulated, 2(2)128--175
simulating, 1(3)269--309, 2(2)128--175
simulation, 1(3)269--309, 1(4)355--398, 2(1)93--106, 2(2)128--175, 2(3)203--227, 3(1)56--98
simulator, 1(3)269--309
since, 3(1)29--55, 4(2)171--213
singe, 2(1)47--92
single, 1(3)269--309, 1(4)422--451, 2(1)47--92, 3(1)3--28
single-assignment, static-, 1(3)310--354
SIP, 2(2)128--175
size, 2(3)270--285, 2(4)346--378
sized, medium-, 3(1)3--28
sketch, 1(1)21--52
slave, Master-, 6(1)80--110
slicing, 4(1)3--35
small, 2(3)286--303, 4(4)365--389, 5(3)262--292
smaller, 2(3)270--285
Smalltalk, 3(3)221--253
smart, 3(1)3--28
smartest, 3(1)3--28
Smith, P. M., Melliar-, 3(2)131--165, 6(1)31--79
smooth, 1(3)269--309
smoothly, 1(1)95--127
Snelting, Gregor, 5(2)146--189
Snelting:1996:RCB, 5(2)146--189
Snyder, Cathrine E., 1(1)81--94
Snyder, Cathrine E., see Trammell, Carmen J.
Soffa, Mary Lou, 2(3)270--285
Soffa, Mary Lou, see Harrold, M. Jean
software**, 1(1)53--80, 1(3)205--228, 1(3)269--309, 1(4)355--398, 2(3)286--303, 4(2)146--170
software-load-testing, 5(2)87--98
Software/Program, 1(1)5--20, 1(1)21--52, 1(1)81--94, 2(1)1--46, 3(4)271--307, 3(4)308--339, 4(2)109--145, 5(3)231--261
solution, 4(1)3--35, 4(2)171--213, 5(3)191--230, 6(1)1--30
solve, 2(2)109--127, 3(1)29--55
solving, 2(2)176--201
sophisticated, 3(4)271--307
sorted-list, 3(2)101--130
sound, 6(1)1--30
source, information-, 5(3)262--292
source-level, 2(3)228--269
space, 1(4)422--451, 2(3)203--227, 3(4)340--380, 4(4)365--389, 5(4)334--377
special, 1(4)399--421
Special-Purpose, 3(4)308--339, 6(1)31--79
specialization, 3(2)166--199
specific, 1(1)5--20, 1(1)53--80, 1(2)188--204, 2(2)109--127, 4(4)319--364
specific, application-, 4(2)171--213
specification-based, 3(2)166--199
specified, 5(4)334--377
specified, User-, 5(4)334--377
specified, user-, 4(1)65--106
specifier, 2(4)379--411
specify, 1(2)135--167, 2(4)346--378, 3(2)131--165, 3(2)166--199, 5(3)191--230, 5(4)378--421
specifying, 1(2)135--167, 1(3)229--268, 3(2)131--165, 3(3)221--253, 3(4)308--339, 4(1)36--64, 4(2)109--145, 4(2)171--213, 4(4)319--364, 4(4)365--389, 5(3)231--261, 5(4)334--377, 5(4)378--421, 6(1)31--79
speed, 3(1)3--28, 4(3)287--317
SQA, 2(1)93--106
stage, 2(2)128--175
standard, 3(2)131--165, 4(2)146--170, 6(1)1--30
standardized, 1(2)188--204
state, finite-, 1(3)269--309, 4(2)171--213, 5(3)231--261
statechart, 1(4)399--421, 2(2)128--175, 5(4)293--333
stated, 1(3)205--228
STATEMATE, 5(4)293--333
statement, 1(4)422--451, 4(3)221--286, 5(1)63--86
static-single-assignment, 1(3)310--354
statistical, 1(1)81--94, 2(1)93--106, 4(1)36--64
statistics, 2(1)93--106
step, 2(2)128--175, 5(4)293--333
still, 3(1)56--98, 5(3)191--230, 5(4)334--377
stochastic, 2(1)93--106
storage, 1(3)205--228, 2(3)286--303, 6(1)80--110
stored, 6(1)31--79
straightforward, 4(1)3--35, 4(2)171--213
strategy, 1(1)5--20, 3(3)254--270, 3(4)271--307, 4(1)36--64, 4(2)171--213
strength, 6(1)80--110
strongly, 1(2)135--167
structural, 1(2)168--187, 2(3)228--269
structurally, 1(2)168--187
structure, 1(1)81--94, 1(1)95--127, 1(2)135--167, 1(3)205--228, 2(1)93--106, 2(3)228--269, 2(4)311--345, 4(1)65--106, 4(2)146--170, 4(2)171--213, 4(3)287--317, 5(1)42--62, 5(4)334--377, 6(1)80--110
structured, 1(1)21--52, 1(1)53--80, 1(1)81--94, 1(2)168--187, 1(2)188--204, 1(3)229--268, 2(1)93--106, 2(4)379--411, 3(1)56--98, 3(2)166--199, 3(4)271--307, 4(4)319--364, 4(4)365--389, 5(3)262--292, 6(1)1--30, 6(1)31--79
structuring, 4(4)365--389
studied, 2(1)1--46
style, 2(4)379--411, 4(4)319--364
style, UNITY-, 3(4)271--307
styles, 1(1)95--127, 4(4)319--364
substantial, 3(2)101--130
substantially, 2(2)109--127
subsumption, 1(3)205--228
subsystem, 1(3)269--309, 1(4)355--398, 4(1)65--106, 5(4)334--377
subtle, 3(2)101--130
subtlety, 1(4)399--421, 2(4)311--345
subtree, 2(1)47--92
subtype, 3(3)221--253
subtyping, 3(2)166--199
success, 2(2)176--201, 2(4)379--411
successful, 1(4)355--398, 3(4)271--307, 4(1)65--106
successfully, 6(1)1--30
successive, 3(4)271--307
sufficient, 4(1)65--106, 5(2)99--118, 5(4)334--377
sufficiently, 3(2)101--130
suggest, 2(3)286--303, 3(2)166--199, 4(2)171--213
suggested, 2(2)109--127, 5(4)334--377
suitable, 1(2)135--167
suite, 2(3)270--285, 3(3)201--220, 4(1)65--106, 5(2)87--98
suited, 3(1)56--98
Sullivan, Kevin J., 1(3)229--268
Sullivan:1992:REI, 1(3)229--268
summarize, 3(4)308--339
summary, 3(1)29--55, 4(1)3--35
supplied, searcher-, 2(3)286--303
supplied, user-, 3(2)101--130
supported, 5(1)42--62
supporting, 3(2)131--165, 5(3)191--230
supposed, 1(4)422--451
survey, 1(1)95--127
Sutton, Stanley M., 4(3)221--286
Sutton:1995:ALS, 4(3)221--286
switch, 1(3)269--309
symbolic, 2(2)128--175, 3(1)29--55, 3(2)101--130, 4(2)109--145
symbols, 2(2)109--127, 3(1)3--28
synchronization, 6(1)80--110
syntactic, 5(3)262--292
syntax, 1(4)399--421, 2(2)176--201, 5(1)42--62
syntax-directed, 6(1)31--79
syntax-recognizing, 1(1)95--127
synthesize, 2(1)93--106
system, distributed-, 2(4)346--378
systematic, 1(4)422--451, 3(1)56--98
systematic, analysis-, 4(2)171--213
systematically, 1(2)135--167
SyStems, 1(2)135--167