Index file section S for sigsoft2000.bib

Last update: Sun Aug 5 02:03:07 MDT 2018               

Return to index directory

S

• S, 25(1)50--51
• SAAGE, 25(1)106
• safety, 25(1)67--68
• sales, 25(1)114, 25(2)31--34
• Salzburg, 25(3)23--23
• same, 25(1)58, 25(2)40--45, 25(3)24--29, 25(3)46--50, 25(3)50--53
• Sample, Neal, 25(1)99--100
• Sample, Neal, see Wiederhold, Gio
• sampling, 25(1)50--51
• satisfy, 25(1)34--35, 25(1)50--51, 25(1)51--52
• saving, 25(1)114
• scalable, 25(2)60--63
• SCE99, 25(1)28--29
• Scedrov, Andre, 25(1)80--81
• Scedrov:2000:LBS, 25(1)80--81
• scenario, 25(1)68
• schedule, 25(3)30--31
• scheduling, 25(1)68
• Scherlis, William L., 25(1)96
• Scherlis:2000:ACT, 25(1)96
• Schmidt, David, 25(1)81--82
• Schmidt:2000:AIP, 25(1)81--82
• Schmietendorf, Andreas, 25(4)51--55
• Schmietendorf:2000:MBA, 25(4)51--55
• science, 25(1)69--71
• score, 25(3)30--31
• scratch, 25(1)55--56, 25(3)46--50
• search, 25(3)36--40
• second, 25(1)109--113, 25(3)46--50, 25(3)50--53
• section, 25(1)109--113, 25(1)114
• securely, 25(1)106--107, 25(2)60--63
• see, 25(1)42--43
• Seeing'', ``All-, 25(1)97
• seemingly, 25(5)1--1
• selected, 25(4)56--61
• selection, 25(1)94, 25(3)30--31
• sell, 25(1)114
• semantic, 25(1)51--52, 25(1)64--65, 25(1)65--66
• sense, 25(1)28--29, 25(1)51--52
• sensitive, 25(1)77--78
• separation, 25(2)56--59
• September, 25(2)22--24
• sequential, 25(2)51--55, 25(3)44--45, 25(3)46--50
• serve, 25(2)31--34
• Shao, Zhong, 25(1)82
• Shao:2000:TCI, 25(1)82
• shelf, off-the-, 25(1)114
• Sheraton, 25(1)95
• showed, 25(3)44--45
• shown, 25(2)51--55
• Shull, Forrest, 25(1)82--83
• Shull:2000:EVP, 25(1)82--83
• Siddhartha, 25(1)106--107
• significant, 25(1)34--35, 25(1)68, 25(5)1--1
• similar, 25(1)34--35, 25(1)58
• similarly, 25(1)94
• simple, 25(1)51--52, 25(2)51--55, 25(3)46--50, 25(5)1--1, 25(5)2--13
• simplified, 25(2)60--63
• simplify, 25(2)64--68
• simulation, 25(5)2--13
• since, 25(1)50--51, 25(1)51--52
• Singh, Yogesh, 25(3)30--31
• Singh, Yogesh, see Lather, Anu Singh
• single, 25(3)30--31
• Sistla, A. Prasad, 25(1)84
• Sistla:2000:FMC, 25(1)84
• site, 25(2)51--55
• site, multi-, 25(1)99--100
• situation, 25(1)68
• size, 25(1)50--51, 25(1)55--56, 25(1)114
• skip, 25(1)36--37
• slippage, 25(3)30--31
• small, 25(1)50--51
• Smalltalk, 25(3)58--58
• smart, 25(3)59--59
• Smidts, Carol S., 25(1)84--85
• Smidts:2000:AAG, 25(1)84--85
• Smith, Geoffrey, 25(1)86
• Smith:2000:BRI, 25(1)86
• Smolka, Scott A., 25(1)43--44, 25(1)73--74
• Smolka, Scott A., see Cleaveland, Rance, see Ramakrishnan, C. R.
• SoBelt, 25(1)107
• software-engineering-combined, all-of-, 25(1)109--113
• software-intensive, 25(4)62--68
• Sokolsky, Oleg, 25(5)2--13
• Sokolsky, Oleg, see Bhargavan, Karthikeyan
• sold, 25(5)1--1
• solid, 25(1)50--51
• solution, 25(2)40--45, 25(2)51--55, 25(3)36--40, 25(3)46--50
• solve, 25(1)34--35, 25(1)68
• sound, 25(2)31--34
• space, 25(1)50--51, 25(1)77--78, 25(2)40--45
• space, state-, 25(1)34--35
• special, 25(3)36--40
• specialized, 25(1)109--113
• specialty, 25(1)109--113
• specific, Domain-, 25(3)46--50
• specific, domain-, 25(1)45
• specifically, 25(1)42--43
• specification-based, 25(1)39--40, 25(1)100
• specificationSRS, 25(3)36--40
• specified, 25(1)100, 25(3)46--50
• specify, 25(2)40--45, 25(3)46--50
• specifying, 25(1)42--43, 25(2)26--29
• Speck, Andreas, 25(2)22--24
• Speck, Andreas, see Pulvermüller, Elke
• Specware, 25(1)107
• speed, 25(1)55--56
• spend, 25(3)44--45
• sponsored, 25(1)74--75
• spot, 25(1)86--87
• SR, 25(1)68
• Srikant, Y. N., 25(3)24--29
• Srikant, Y. N., see Kumar, Bharath M.
• SRS, 25(3)36--40
• stable, 25(3)36--40
• stage, 25(1)34--35
• stand, 25(1)109--113, 25(4)62--68
• standard, 25(1)53, 25(2)31--34, 25(3)46--50
• start, 25(1)36--37
• state, finite-, 25(1)42--43, 25(1)46--49
• state-explosion, 25(1)34--35
• state-space, 25(1)34--35
• state.'', ``finite-, 25(1)34--35
• statement, 25(5)1--1
• static, 25(1)93, 25(4)56--61
• statistical, 25(1)50--51
• status, 25(1)114
• Stavridou, Victoria, 25(1)96--97
• Stavridou:2000:AAC, 25(1)96--97
• staying, 25(2)51--55
• steadily, 25(1)109--113
• step, 25(1)34--35, 25(1)68, 25(1)114, 25(2)35--39, 25(2)56--59, 25(3)46--50
• step, step-by-, 25(3)59--60
• step-by-step, 25(3)59--60
• stepping, 25(1)36--37
• Stewart, David B., 25(1)86--87
• Stewart:2000:AAF, 25(1)86--87
• Stidolph, Wayne, 25(1)30--32, 25(1)95
• Stidolph, Wayne, see Tracz, Will
• Stidolph:2000:EDC, 25(1)95
• still, 25(1)50--51, 25(1)55--56, 25(2)64--68
• storage, 25(1)38--39
• strategy, 25(1)93, 25(3)36--40
• stress, 25(3)32--35
• strictly, 25(1)51--52
• strong, 25(1)58, 25(2)31--34
• structural, 25(1)107
• structure-centered, 25(3)36--40
• structured, 25(3)59--60
• studied, 25(1)68
• studying, 25(1)42--43
• subject, 25(1)34--35, 25(1)50--51, 25(4)62--68
• subsidiary, 25(2)31--34
• substantially, 25(1)109--113
• substitute, 25(2)40--45
• subtype, 25(1)58
• success, 25(2)26--29, 25(2)35--39, 25(2)46--50
• successful, 25(2)46--50, 25(5)1--1, 25(5)2--13
• successfully, 25(1)49--50, 25(5)1--1
• sufficient, 25(5)1--1
• suit, 25(1)55--56
• suitability, 25(3)30--31
• suitable, 25(2)35--39, 25(2)64--68
• suite, 25(1)101, 25(1)103--104
• suited, 25(1)114
• summarize, 25(1)68, 25(1)95, 25(3)24--29
• summary, 25(1)30--32, 25(3)23--23
• superposition, 25(2)56--59
• supported, 25(1)50--51, 25(1)69--71, 25(2)31--34
• supporting, 25(2)40--45, 25(2)64--68, 25(3)46--50
• surfing, 25(2)8--16, 25(3)5--10, 25(4)12--20
• surprisingly, 25(1)51--52, 25(5)1--1, 25(5)2--13
• survey, 25(3)54--57
• survey, email-, 25(1)114
• survival, 25(3)58--58
• Swift, Terrance, 25(1)87--88
• Swift:2000:PPA, 25(1)87--88
• symbolic, 25(1)71--72, 25(1)86--87
• symmetric, 25(1)34--35
• symposium, 25(2)22--24
• synchronization, 25(1)34--35
• synthesis, 25(1)34, 25(1)34--35, 25(1)106--107
• systematic, 25(1)46--49
• systematically, 25(2)51--55