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