Index file section S for tosem.bib
Last update: Sat Oct 25 02:03:44 MDT 2025
Return to index directory
S
-
same, 2(3)270--285
-
sample, 2(3)286--303
-
sampling, 2(3)286--303
-
satisfactory, 2(2)176--201
-
satisfy, 2(3)270--285
-
scale, large-, 1(4)355--398
-
scarce, 2(2)109--127
-
scenario, 2(2)128--175
-
Schäfer, W., 1(2)135--167, see Engels, G.
-
scheme, 2(3)228--269
-
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.
-
SDF, 2(2)176--201
-
searcher, 2(3)286--303
-
searcher-supplied, 2(3)286--303
-
see, 2(4)311--345
-
segmented, 2(1)47--92
-
select, 2(3)270--285
-
selected, 1(3)205--228, 1(4)422--451
-
selection, 1(2)168--187, 1(3)205--228, 2(3)270--285
-
semantics-preserving, 1(3)310--354
-
sensitive, 1(1)5--20
-
sensitive, time-, 2(1)1--46
-
separate, 1(3)229--268, 1(3)310--354
-
separating, 2(3)228--269
-
sequence, 1(3)269--309
-
sequencing, 1(1)21--52
-
sequential, 1(1)21--52, 2(1)1--46
-
several, 1(3)269--309, 1(4)422--451, 2(2)128--175
-
sharable, 1(1)95--127
-
shared, 2(3)203--227
-
shortcomings, 1(4)399--421
-
should, 1(4)399--421, 2(3)270--285
-
showing, 1(4)399--421
-
shown, 1(2)135--167
-
sieve, 2(2)128--175
-
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
-
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
-
simulator, 1(3)269--309
-
singe, 2(1)47--92
-
single, 1(3)269--309, 1(4)422--451, 2(1)47--92
-
single-assignment, static-, 1(3)310--354
-
SIP, 2(2)128--175
-
size, 2(3)270--285
-
sketch, 1(1)21--52
-
small, 2(3)286--303
-
smaller, 2(3)270--285
-
smooth, 1(3)269--309
-
smoothly, 1(1)95--127
-
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
-
Software/Program, 1(1)5--20, 1(1)21--52, 1(1)81--94, 2(1)1--46
-
solve, 2(2)109--127
-
solving, 2(2)176--201
-
source-level, 2(3)228--269
-
space, 1(4)422--451, 2(3)203--227
-
special, 1(4)399--421
-
specific, 1(1)5--20, 1(1)53--80, 1(2)188--204, 2(2)109--127
-
specify, 1(2)135--167
-
specifying, 1(2)135--167, 1(3)229--268
-
SQA, 2(1)93--106
-
stage, 2(2)128--175
-
standardized, 1(2)188--204
-
state, finite-, 1(3)269--309
-
statechart, 1(4)399--421, 2(2)128--175
-
stated, 1(3)205--228
-
statement, 1(4)422--451
-
static-single-assignment, 1(3)310--354
-
statistical, 1(1)81--94, 2(1)93--106
-
statistics, 2(1)93--106
-
step, 2(2)128--175
-
stochastic, 2(1)93--106
-
storage, 1(3)205--228, 2(3)286--303
-
strategy, 1(1)5--20
-
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
-
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
-
studied, 2(1)1--46
-
styles, 1(1)95--127
-
substantially, 2(2)109--127
-
subsumption, 1(3)205--228
-
subsystem, 1(3)269--309, 1(4)355--398
-
subtlety, 1(4)399--421, 2(4)311--345
-
subtree, 2(1)47--92
-
success, 2(2)176--201
-
successful, 1(4)355--398
-
suggest, 2(3)286--303
-
suggested, 2(2)109--127
-
suitable, 1(2)135--167
-
suite, 2(3)270--285
-
Sullivan, Kevin J., 1(3)229--268
-
Sullivan:1992:REI, 1(3)229--268
-
supplied, searcher-, 2(3)286--303
-
supposed, 1(4)422--451
-
survey, 1(1)95--127
-
switch, 1(3)269--309
-
symbolic, 2(2)128--175
-
symbols, 2(2)109--127
-
syntax, 1(4)399--421, 2(2)176--201
-
syntax-recognizing, 1(1)95--127
-
synthesize, 2(1)93--106
-
system, distributed-, 2(4)346--378
-
systematic, 1(4)422--451
-
systematically, 1(2)135--167
-
SyStems, 1(2)135--167