Index file section S for tosem.bib

Last update: Thu Feb 19 02:02:05 MST 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
• satisfy, 2(3)270--285, 3(4)308--339, 4(1)65--106
• save, 3(1)3--28
• saving, 3(1)3--28
• 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.
• 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.
• 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
• 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, 4(2)171--213
• 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
• sequence, 1(3)269--309, 3(2)101--130, 4(3)287--317
• 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
• 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
• 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.
• shortcomings, 1(4)399--421
• should, 1(4)399--421, 2(3)270--285, 2(4)379--411, 3(2)101--130, 4(2)109--145
• showing, 1(4)399--421
• shown, 1(2)135--167, 3(2)131--165, 3(2)166--199
• sieve, 2(2)128--175
• signature, 4(2)146--170
• significant, 3(4)271--307
• significantly, 3(1)3--28, 4(1)65--106
• similar, 4(2)171--213
• 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
• slicing, 4(1)3--35
• small, 2(3)286--303
• 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
• 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, 4(2)146--170
• 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
• solution, 4(1)3--35, 4(2)171--213
• 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
• source-level, 2(3)228--269
• space, 1(4)422--451, 2(3)203--227, 3(4)340--380
• special, 1(4)399--421
• Special-Purpose, 3(4)308--339
• specialization, 3(2)166--199
• specific, 1(1)5--20, 1(1)53--80, 1(2)188--204, 2(2)109--127
• specific, application-, 4(2)171--213
• specification-based, 3(2)166--199
• 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
• 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
• 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
• standardized, 1(2)188--204
• state, finite-, 1(3)269--309, 4(2)171--213
• statechart, 1(4)399--421, 2(2)128--175
• stated, 1(3)205--228
• statement, 1(4)422--451, 4(3)221--286
• 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
• still, 3(1)56--98
• stochastic, 2(1)93--106
• storage, 1(3)205--228, 2(3)286--303
• 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
• 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
• 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
• studied, 2(1)1--46
• style, 2(4)379--411
• style, UNITY-, 3(4)271--307
• styles, 1(1)95--127
• 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
• 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
• successive, 3(4)271--307
• sufficient, 4(1)65--106
• sufficiently, 3(2)101--130
• suggest, 2(3)286--303, 3(2)166--199, 4(2)171--213
• suggested, 2(2)109--127
• suitable, 1(2)135--167
• suite, 2(3)270--285, 3(3)201--220, 4(1)65--106
• 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
• supporting, 3(2)131--165
• 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
• 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, 3(1)56--98
• systematic, analysis-, 4(2)171--213
• systematically, 1(2)135--167
• SyStems, 1(2)135--167