Index file section S for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
S
-
S3, ENABLE-, 40(1)79--84
-
SA1, 27(3)1--1
-
SA2, 27(3)2--2
-
Saaltink, Mark, 17(5)65--70, 18(6)7--11
-
Saaltink, Mark, see Michell, Stephen
-
SAash, 11(9)96--99, 14(3)39--60
-
Sabate, Eudald, 42(2)114--118
-
Sabate, Eudald, see Sousa, Rita
-
SableCC, 26(3)3--8
-
Sacha, Krzysztof M., 9(6)80--89
-
Sacha:1989:AAR, 9(6)80--89
-
SADT, 0(0)102--118
-
SAE, 29(3)7--8, 36(2)39--46
-
Saeed, Faisel, 12(1)73--84
-
Saeed:1992:ICM, 12(1)73--84
-
Sáez, Sergio, 33(1)93--100, 33(1)116--127, 33(2)97--108,
35(1)80--92, 36(1)68--76, 38(1)41--54, 40(1)79--84,
see Real, Jorge, \see{Valls, Joan J.
-
Saez:2013:AMM, 33(1)116--127
-
Saez:2013:DAS, 33(2)97--108
-
Saez:2013:DSS, 33(1)93--100
-
Saez:2015:ITE, 35(1)80--92
-
safe, 13(3)88--90, 13(5)32--42, 19(4)44--48, 26(2)23--37, 27(3)69--70,
29(1)45--47, 29(1)50--50, 29(1)53--53, 29(1)57--57, 29(1)61--61,
29(1)65--65, 29(1)69--69, 29(1)70--70, 29(1)74--74, 29(1)77--77,
29(1)80--80, 29(2)36--36, 29(2)37--39, 31(3)11--12, 31(3)27--34,
31(3)81--90, 33(3)37--40, 34(3)5--12, 34(3)47--60, 34(3)87--96,
34(3)103--104, 34(3)105--106
-
safe, Endian-, 19(4)13--18
-
Safe, Task-, 17(5)45--50
-
safe, task-, 17(5)45--50
-
safe, thread-, 40(2)76--91, 41(1)74--77
-
safe, type-, 29(3)91--102, 32(3)9--10
-
SAFECode, 39(1)17--19
-
safeguards, 33(3)43--46
-
safely, 32(3)15--22, 34(3)69--70, 40(2)48--50
-
SAFEPROVER, 36(2)47--48
-
SafeProver, 36(2)47--48
-
safer, 27(1)24--39, 32(3)7--8, 34(3)87--96
-
safety, 0(0)102--118, 6(1)29--40, 13(1)35--59, 13(1)35--z, 17(5)45--50,
18(6)7--11, 20(4)32--39, 22(4)120--122, 23(1)1--9, 23(2)32--46,
24(4)39--46, 26(3)45--50, 27(3)2--2, 27(3)5--6, 27(3)69--70,
27(3)71--74, 27(3)83--88, 27(3)99--99, 27(3)101--107, 29(3)9--10,
29(3)23--30, 29(3)31--44, 31(3)1--2, 31(3)5--6, 31(3)7--8,
31(3)27--34, 31(3)47--60, 31(3)81--90, 32(2)31--32, 32(3)7--8,
32(3)15--22, 32(3)63--70, 33(2)87--96, 33(3)1--2, 33(3)9--10,
33(3)43--46, 34(3)5--12, 34(3)17--18, 34(3)19--28, 34(3)87--96,
34(3)103--104, 34(3)105--106, 35(1)93--94, 36(2)27--30, 36(2)31--38,
36(2)39--46, 36(2)47--48, 38(2)9--42, 39(1)50--62, 39(2)41--48,
40(1)79--84, 41(1)83--86, 42(2)32--39
-
safety, stack-, 31(3)27--34
-
Safety-Critical, 27(3)2--2, 36(1)51--62
-
safety-critical, 11(5)30--46, 17(5)45--50, 17(5)65--70, 17(5)83--87,
19(3)23--29, 19(3)67--76, 23(1)35--39, 23(1)40--43, 27(2)29--36,
27(3)2--2, 27(3)5--6, 27(3)51--58, 27(3)89--96, 29(3)31--44,
30(1)55--61, 32(3)15--22, 33(3)65--84, 34(3)13--16, 34(3)39--46,
34(3)47--60, 34(3)97--102, 36(2)22--26, 36(2)31--38, 36(2)54--57,
40(2)48--50, 41(1)64--68, 42(1)81--85, 42(2)32--39
-
safety-related, 23(1)1--9, 27(3)5--6
-
SafetyChip, 25(4)63--68
-
safety/termination, 34(3)69--70
-
Saga, 5(2)217--228
-
SAIC/ASSET, 17(4)66--73
-
said, 0(0)24--39
-
Saïdi, Hassen, 28(1)96--102
-
Saidi:2008:LFS, 28(1)96--102
-
sake, 31(3)13--14
-
Salwin, Arthur E., 9(4)84--86, 12(5)59--63
-
Salwin:1989:VV, 9(4)84--86
-
Salwin:1992:UPE, 12(5)59--63
-
Samadzadeh, M. H., 12(1)73--84
-
Samadzadeh, M. H., see Saeed, Faisel
-
SAMATE, 27(3)101--107
-
Sambasivam, Samuel, 29(3)45--60
-
Sambasivam, Samuel, see Liang, Sheldon X.
-
same, 0(0)16--23, 12(1)65--72, 12(2)91--96, 12(6)75--80, 13(5)32--42,
17(3)3--16, 26(2)12--22, 26(3)71--74, 27(2)82--87, 27(3)59--62,
29(3)91--102, 33(3)23--36, 37(2)18--22, 37(2)34--36, 38(1)34--39,
40(2)70--72, 42(1)61--64
-
Sammet, Jean E., 2(3)19--31
-
Sammet:1982:PAD, 2(3)19--31
-
sample, 12(5)37--z, 13(2)91--96, 27(3)79--82, 33(3)9--10
-
sampling, 10(8)145--155
-
Sanden, B., 21(1)105--110, 22(2)11--44
-
Sanden, B., see Wellings, A. J.
-
Sanden, B. I., 0(0)173--188
-
Sandén, Bo, 21(3)19--25, see Romanovsky, Alexander
-
Sanden, Bo I., 14(3)61--73
-
Sanden, Bo I., see Carter, Jeffrey R.
-
Sandén, Bo I., 20(2)38--56, 21(3)8--10, 23(2)32--46, 32(3)1--2,
see Bail, William
-
Sanden:1997:CDP, 0(0)173--188
-
Sanden:2000:ISM, 20(2)38--56
-
Sanden:2001:EP, 21(3)8--10
-
Sanden:2003:RTP, 23(2)32--46
-
Sanden:2012:HTO, 32(3)1--2
-
Sanders, Miho, 38(2)109--114
-
Sanders, Miho, see Berns, Andrew
-
Sando, Donald W., 11(7)274--284
-
Sando, Donald W., see Celarier, Donald A.
-
Sankar, Sriram, 5(2)285--296, 9(7)114--128
-
Sankar:1985:IA, 5(2)285--296
-
Sankar:1989:AST, 9(7)114--128
-
Santhanam, Usha, 21(4)31--38
-
Santhanam, V., 23(1)40--43
-
Santhanam:2001:ASM, 21(4)31--38
-
Santhanam:2003:AFQ, 23(1)40--43
-
SA/OOD, 14(3)39--60
-
Sarishma, 40(1)91--96
-
Sarishma, see Tomar, Ravi
-
Sarkar, J. P., 7(6)88--92
-
Sarkar:1987:IAF, 7(6)88--92
-
SA/SD, 11(9)96--99
-
SAT, 33(3)9--10
-
satellite, 11(1)92--95, 23(1)12--21, 29(3)87--90, 32(3)51--52, 34(3)1--2,
36(1)63--67, 36(2)18--21
-
satisfaction, 36(2)31--38, 36(2)47--48
-
satisfactory, 12(6)59--74, 31(3)13--14
-
satisfiability, 33(3)5--6, 33(3)9--10, 33(3)85--86, 36(2)47--48
-
satisfiability-modulo-theory, 33(3)9--10
-
satisfied, 26(3)21--28, 32(3)3--4, 42(2)92--95
-
satisfies, 33(3)51--64, 36(2)58--59, 42(1)65--67
-
satisfying, 33(3)23--36
-
Saunders, Greg, 0(0)14--24
-
Saunders, Greg, see Harbaugh, Sam
-
Sautejeau, Xavier, 25(4)11--16
-
Sautejeau:2005:MSS, 25(4)11--16
-
save, 37(2)18--22
-
SAVI, 33(3)43--46
-
SAVI-compliant, 33(3)43--46
-
Saving, 5(2)97--108
-
savings, 28(1)24--30, 36(2)31--38
-
SAW, 33(3)15--18
-
saw, 29(2)40--42, 29(2)50--52, 37(2)32--33, 37(2)34--36
-
say, 27(3)97--98, 29(2)37--39
-
sayers, nay-, 13(3)86--87
-
saying, 13(3)86--87
-
SC, 33(1)101--115, 36(1)77--82
-
SC22, 11(1)114--120, 11(7)9--46, 11(7)66--82
-
SC22, see ISO-IEC
-
SC24ash, 8(4)97--103
-
SCADA, 32(3)51--52
-
scalability, 17(1)41--53, 28(1)96--102, 33(3)3--4, 34(3)17--18
-
scalable, 17(1)41--53, 29(3)7--8, 30(1)125--134, 33(3)85--86
-
scalar, 11(7)91--130, 31(3)47--60, 37(2)27--29, 37(2)30--31
-
scale, 0(0)1--9, 0(0)116--125, 13(5)32--42, 13(6)66--158, 17(4)59--65,
27(3)99--99, 33(1)84--92, 33(3)9--10, 33(3)51--64, 40(1)45--52
-
scale, extreme-, 42(2)114--118
-
scale, large-, 34(3)71--80
-
scale, larger-, 27(3)51--58
-
scale-out, 40(2)65--69
-
scaling, 23(1)11--11, 33(3)41--42, 40(2)65--69
-
scanning, 3(1)36--z, 16(4)57--72
-
scans, 16(4)57--72
-
scenario, 0(0)1--9, 36(2)58--59, 36(2)60--68
-
Scenario-based, 40(1)79--84
-
Schach, Stephen R., 7(4)88--97
-
Schach, Stephen R., see Das, Souripriya
-
Schacht, Eric N., 0(0)164--169
-
Schacht:1987:APT, 0(0)164--169
-
Schaefer, 27(3)99--99
-
Schaefer, Ina, 38(2)64--68, 42(2)75--78
-
Schaefer, Ina, see Bordis, Tabea,
see Runge, Tobias
-
Schaetz, Bernhard, 34(3)13--16
-
Schaetz, Bernhard, see Szabó, Tamás
-
schedulability, 0(0)102--118, 12(1)65--72, 14(1)38--49, 15(5)46--51,
17(5)45--50, 22(4)58--65, 29(3)31--44, 30(1)86--90, 31(3)61--68,
32(3)81--94, 36(1)68--76, 41(1)64--68
-
schedulable, 29(3)73--78
-
schedule, 14(z)54--73, 40(2)55--58
-
scheduled, 12(1)65--72, 36(1)68--76
-
scheduled, hierarchically-, 41(1)64--68
-
scheduled, priority-, 36(1)68--76
-
scheduler, 10(6)84--96, 10(9)60--64, 10(9)103--110, 12(2)62--75,
14(z)54--73, 26(3)35--42, 27(3)8--8, 27(3)41--50, 33(3)9--10,
36(2)27--30, 38(1)41--54, 38(1)74--76, 40(2)55--58, 42(1)80
-
schedulingash, 21(1)11--13
-
Schefstrom, Dick, 0(0)56--59, 5(2)25--40
-
Schefstrom, Dick, see Narfelt, Kjell-Hakan
-
Schefstrom:1987:SET, 0(0)56--59
-
schema, 0(0)40--49, 23(1)44--44
-
Schemata, 6(4)66--74
-
scheme, 0(0)50--61, 10(6)110--113, 10(9)103--110, 11(4)91--98,
12(1)73--84, 13(5)32--42, 13(5)43--47, 14(1)27--29, 26(2)48--59,
29(2)20--27, 30(1)86--90
-
schemes, 5(2)164--172, 11(9)116--127, 13(5)43--47, 17(5)24--26,
23(1)27--29, 27(2)48--52, 30(1)16--25, 33(2)97--108, 35(1)9--16,
37(2)18--22
-
Schill, John, 4(4)38--48
-
Schill:1985:CCC, 4(4)38--48
-
Schilling, Jonathan L., 14(3)91--104
-
Schilling:1994:ACR, 14(3)91--104
-
Schiper, A., 0(0)133--140
-
Schiper, A., see Amiguet, C.
-
Schiper, Andre, 9(5)123--128
-
Schiper:1989:TUC, 9(5)123--128
-
schizophrenic, 26(3)51--60
-
Schmidt, Richard B., 29(3)21--22, 30(3)33--34
-
Schmidt:2009:ARD, 29(3)21--22
-
Schmidt:2010:ERA, 30(3)33--34
-
Schmittner, Christoph, 39(2)41--48
-
Schmittner, Christoph, see Bramberger, Robert
-
Schonberg, E., 0(0)107--111
-
Schonberg, Ed, 30(2)27--52
-
Schonberg, Ed, see Burns, Alan
-
Schonberg, Edith, 5(2)58--71, 7(7)55--76
-
Schonberg, Edith, see Flynn, Susan
-
Schonberg, Edmond, 0(0)194--201, 5(2)58--71, 7(7)55--76, 11(3)137--146,
23(4)24--27, 24(4)51--60, 25(4)41--48, 30(3)63--70, 32(3)27--34,
32(3)35--42
-
Schonberg, Edmond, see Dewar, Robert B. K.,
see Flynn, Susan, \see{Kanig, Johannes,
see Miranda, Javier,
see Rennels, Deborah,
see Schonberg, Edith
-
Schonberg:1982:EMH, 0(0)107--111
-
Schonberg:1985:HPA, 5(2)58--71
-
Schonberg:2010:TAI, 30(3)63--70
-
Schonberg:2012:ISD, 32(3)35--42
-
Schorr--Waite, 32(3)9--10
-
Schranz, M., 40(1)60--63, 40(1)64--73
-
Schranz:2020:MCS, 40(1)60--63
-
Schranz:2020:MSI, 40(1)64--73
-
Schuler, M. P., 0(0)50--61
-
Schuler:1991:EOO, 0(0)50--61
-
Schultz, William L., 0(0)116--125
-
Schultz:1987:ABA, 0(0)116--125
-
Schwerdfeger, August, 42(2)45--54
-
Schwerdfeger, August, see Hatcliff, John
-
science, 0(0)336, 1(3)77--85, 4(5)40--44, 7(1)59--70, 7(1)82--88,
8(3)115--122, 8(4)35--46, 8(4)47--68, 9(6)53--66, 11(2)60--71,
12(1)43--52, 12(6)59--74, 13(4)71--76, 15(6)57--66, 16(1)58--69,
17(2)55--62, 17(3)17--29, 17(6)19--31, 18(2)42--52, 18(5)111--125,
18(6)75--80, 19(1)16--z, 21(4)73--78, 23(1)45--52, 26(1)18--24,
26(3)29--34, 27(3)75--78, 29(3)19--20, 29(3)61--72, 29(3)91--102,
32(3)23--24
-
Science Board, Task Force on Military Software Defense, 8(4)35--46
-
SCIENCES, 9(5)89--100
-
scientific, 0(0)279--296, 9(5)89--100, 16(3)56--69, 17(2)55--62,
18(6)114--120, 34(3)47--60, 40(2)59--64
-
SCJ, 36(1)51--62
-
SCOOP-3, 11(5)30--46
-
SCOPE, 29(3)23--30
-
scope, 0(0)62--76, 5(2)25--40, 9(7)114--128, 12(1)53--64, 13(4)63--70,
27(3)2--2, 27(3)79--82, 30(1)104--115, 31(1)28--31, 31(2)33--35,
32(3)15--22, 34(3)39--46, 40(2)48--50
-
scope-based, 32(3)15--22
-
scoped, 32(3)15--22
-
scoping, 23(1)44--44, 27(3)11--26
-
Scott, H., 14(z)3--15
-
Scott, H., see Buhr, R. J. A.
-
Scoy, Roger, Van, 9(7)91--101, 10(4)97--113, 10(6)68--83,
18(6)276--286
-
screen, 37(2)18--22
-
scribbler, 29(3)91--102
-
Scribe, 9(7)114--128
-
script, 16(5)35--47, 29(3)11--12
-
script-based, 23(1)12--21
-
scripting, 17(2)82--91, 23(1)11--11, 29(2)37--39, 29(2)40--42
-
scrutiny, 0(0)90--101
-
SD, 11(9)96--99
-
SDE, 11(2)107--114
-
SDSAWG, 6(2)59--59, 12(2)31--32, 12(2)31--z, 13(4)22--z
-
se, 40(1)60--63
-
sea, 29(3)87--90
-
seamless, 17(5)71--76, 39(2)35--40
-
seamlessly, 32(3)27--34, 36(2)58--59
-
search, 5(2)217--228, 8(3)87--97, 26(1)25--30, 27(3)59--62, 29(1)29--32
-
searchable, 28(1)38--40
-
searching, 8(3)87--97, 17(4)31--58, 28(1)38--40, 29(1)29--32
-
seat, 17(3)67--86
-
SEATECS, 4(5)45--48
-
Sebesta, R. W., 7(5)34--39
-
Sebesta:1987:YAS, 7(5)34--39
-
second, 0(0)xvi--431, 0(0)16--23, 4(6)35--43, 8(7)z--99999999, 8(7)z--z,
14(0)ix--118, 26(1)18--24, 26(2)23--37, 27(3)8--8, 27(3)63--68,
27(3)89--96, 29(1)53--53, 29(3)85--86, 31(2)48--51, 31(3)3--4,
32(3)11--12, 32(3)15--22, 33(3)11--12, 36(1)35--38, 36(2)9--17,
36(2)39--46
-
second-generation, 34(3)47--60
-
secondary, 10(9)70--74, 10(9)85--93, 11(7)3--8, 11(7)83--90,
11(7)131--139, 17(1)54--68, 27(2)37--40
-
secret, 31(3)37--38, 38(2)64--68
-
Secretary of Defense for Acquisition, Office of the Under,
8(4)35--46, 8(4)47--68
-
section, 0(0)xvi--431, 17(3)17--29, 18(3)17--17, 26(1)25--30,
27(3)71--74, 29(1)48--49, 36(2)22--26
-
sector, 19(3)221--221
-
secure, 13(2)78--90, 23(1)1--9, 23(1)35--39, 27(3)5--6, 28(1)76--82,
29(1)45--47, 29(1)50--50, 29(1)51--52, 29(1)53--53, 29(1)57--57,
29(1)61--61, 29(1)65--65, 29(1)69--69, 29(1)70--70, 29(1)74--74,
29(1)77--77, 29(1)80--80, 29(2)36--36, 31(3)11--12, 35(1)93--94,
39(1)71--71
-
secure-processor, https://www.draper.com/explore-solutions/inherently-,
39(1)71--71
-
security, 4(6)35--43, 10(9)94--102, 12(6)81--87, 13(3)91--95,
17(5)45--50, 17(5)65--70, 18(2)89--104, 18(6)7--11, 23(1)1--9,
23(1)11--11, 23(1)35--39, 24(4)13--18, 24(4)39--46, 27(3)5--6,
27(3)69--70, 27(3)101--107, 28(1)76--82, 28(1)88--91, 28(1)96--102,
29(3)9--10, 29(3)85--86, 29(3)119--120, 31(2)36--39, 31(2)40--43,
31(3)37--38, 31(3)39--46, 31(3)47--60, 32(3)53--62, 32(3)81--94,
33(3)15--18, 33(3)85--86, 34(3)19--28, 34(3)69--70, 35(1)93--94,
38(2)9--42, 38(2)43--57, 38(2)64--68, 38(2)69--88, 38(2)109--114,
39(1)50--62, 39(1)71--71, 39(1)83--99, 39(2)41--48, 40(1)85--90,
40(1)91--96, 42(2)109--113
-
security-critical, 27(3)5--6, 31(3)47--60, 33(3)9--10
-
Security-related, 38(2)43--57
-
security-related, Non-, 38(2)43--57
-
Sedghi, Mahshid, 29(2)15--19
-
Sedghi, Mahshid, see Mahani, Negin
-
SEE, 11(3)37--46, 14(z)26--35
-
see, 3(6)30--47, 17(3)30--35, 27(3)97--98, 27(3)99--99, 27(3)101--107,
29(1)78--79, 29(3)19--20, 30(1)104--115, 31(2)40--43, 31(3)7--8,
33(3)9--10, 33(3)43--46, 35(2)14--14, 37(2)18--22, 37(2)34--36,
37(2)40--42
-
seed, 26(3)71--74
-
seeking, 31(3)27--34
-
seeking'', ``work-, 31(3)27--34
-
seeking, work-, 31(3)27--34
-
seem, 12(6)75--80, 13(3)86--87, 13(4)63--70, 26(3)61--70, 27(3)5--6,
27(3)100--100
-
seen, 29(3)119--120, 32(3)15--22, 42(1)46--49
-
segment, 0(0)124--135, 11(2)107--114, 27(3)2--2, 32(3)3--4, 40(2)70--72
-
segregated, 32(3)97--102
-
SEI, 6(2)77--78, 6(2)83--83
-
Seidewitz, E., 0(0)62--76
-
Seidewitz, Ed, 7(4)54--67, 11(2)86--97, 12(2)76--90, 34(3)61--68,
34(3)105--106
-
Seidewitz, Ed, see Bocchino, Robert
-
Seidewitz:1987:TGO, 7(4)54--67
-
Seidewitz:1991:OAP, 0(0)62--76
-
Seidewitz:1991:OOP, 11(2)86--97
-
Seidewitz:1992:OOP, 12(2)76--90
-
Seidewitz:2014:UME, 34(3)61--68
-
Seidowitz:1998:PAS, 18(0)xii--293
-
SEL, 17(3)67--86
-
select, 0(0)77--89, 9(4)105--112, 9(5)123--128, 10(6)110--113,
10(9)39--45, 10(9)75--84, 12(1)53--64, 17(2)29--54, 17(5)24--26,
17(5)100--105
-
Select-And, 10(6)110--113
-
select-and, 10(6)110--113, 10(9)46--49, 11(6)66--68
-
select-in, 11(6)66--68
-
select-thenabort, 27(2)23--28
-
selected, 0(0)119--123, 11(2)60--71, 13(3)39--41, 17(1)21--24,
28(1)24--30
-
selecting, 0(0)62--76
-
selection, 3(1)37--50, 3(5)50--62, 7(5)51--62, 10(5)48--61,
11(2)107--114, 16(1)54--57, 17(4)66--73, 31(3)61--68
-
selective, 10(7)55--62, 10(9)46--49, 11(2)72--85, 11(6)66--68,
12(1)65--72
-
self-documenting, 14(3)39--60
-
self-driving, 42(1)90--94
-
self-hosted, 11(2)107--114
-
Self-Intersection, 18(6)104--113
-
Self-Organizing, 0(0)157--158
-
self-organizing, 24(1)25--28, 40(1)60--63, 42(2)96--98
-
Self-Reference, 12(2)76--90
-
self-reference, 12(2)76--90
-
Self-Reproducing, 2(5)62--75
-
self-reproducing, 15(2)46--53
-
self-reproductive, 15(2)46--53
-
Selic, Brian, 19(3)1--1
-
Selic:1999:APC, 19(3)1--1
-
SEMANOL, 0(0)202--212
-
semantic, 0(0)62--71, 0(0)120--128, 0(0)138--151, 4(6)44--48,
5(2)185--196, 5(3)45--56, 8(7)57--60, 8(7)65--79, 9(4)105--112,
10(1)92--96, 10(1)122--130, 10(4)25--31, 10(4)32--48, 10(4)57--65,
10(4)z--z, 10(9)103--110, 10(9)133--140, 11(3)91--101, 12(6)75--80,
13(2)91--96, 13(3)39--41, 13(3)91--95, 14(2)54--57, 14(2)54--z,
14(4)28--35, 15(4)50--63, 16(1)46--53, 16(2)39--49, 17(2)26--28,
17(6)65--69, 17(6)78--90, 21(1)91--95, 23(1)27--29, 26(2)23--37,
27(2)15--17, 27(2)23--28, 27(2)82--87, 27(3)75--78, 29(1)54--56,
29(3)3--4, 29(3)127--132, 31(3)47--60, 32(3)3--4, 32(3)25--26,
32(3)43--50, 33(1)64--83, 33(3)3--4, 33(3)9--10, 33(3)21--22,
34(3)17--18, 34(3)47--60, 34(3)61--68, 34(3)87--96, 35(1)38--45,
36(2)9--17, 39(1)35--49, 40(2)96--102
-
semantically, 0(0)40--49
-
semantics-preserving, 29(3)85--86
-
semaphore, 8(7)20--31, 10(1)92--96, 11(1)96--101, 12(6)59--74,
13(4)37--43, 14(5)71--79, 31(2)33--35
-
semi-automated, 33(3)65--84
-
semi-autonomous, 42(1)81--85
-
Send, 16(1)18--20
-
Sende, M., 40(1)60--63, 40(1)64--73
-
Sende, M., see Schranz, M.
-
sender-receiver, 17(5)88--92
-
sending, 4(4)38--48, 9(2)106--117
-
sends, 40(2)73--75
-
senior-level, 26(3)45--50
-
sense, 13(3)91--95, 17(3)57--66, 26(3)71--74, 27(3)89--96, 33(3)43--46
-
sensing, 29(3)87--90
-
sensitive, 31(2)36--39, 31(2)40--43, 33(3)43--46
-
sensitive, latency-, 40(2)65--69
-
sensitivity, 12(2)97--101
-
sensor, 15(4)19--21, 31(3)15--16, 42(1)86--89
-
sent, 26(1)25--30, 37(2)30--31
-
sentence, 15(2)23--30
-
sentiment, 32(3)15--22
-
separate, 13(4)44--48, 14(z)74--81, 15(2)23--30, 27(3)83--88,
29(2)15--19, 29(3)85--86, 33(1)128--133, 34(3)87--96, 37(2)13--17,
39(2)25--28
-
separated, 11(2)56--59, 32(3)25--26
-
separately, 30(1)33--44, 32(3)27--34
-
separation, 11(3)103--113, 26(3)35--42, 32(3)25--26, 33(1)64--83
-
separator, 10(2)89--94
-
September, 8(4)35--46, 29(1)69--69
-
sequence, 2(4)92--96, 10(1)83--91, 11(2)56--59, 12(2)76--90, 17(3)87--96,
26(3)9--14, 40(1)45--52
-
Sequencing, 5(2)255--274, 8(2)77--83, 8(7)12--19, 8(7)32--34
-
Sequent, 10(3)38--58
-
sequential, 6(2)29--40, 6(3)31--42, 9(2)106--117, 32(3)9--10,
33(1)64--83, 33(3)9--10, 34(3)87--96, 38(1)19--28, 40(2)76--91,
42(1)100--104
-
sequentially, 33(2)97--108, 37(2)23--26
-
serialization, 29(3)115--118
-
series, 23(1)45--52, 29(1)69--69, 29(1)70--70, 29(2)43--45, 31(2)25--27,
31(2)28--29, 31(2)36--39, 31(2)40--43, 31(2)44--47, 31(2)48--51,
31(2)52--55, 31(2)56--58, 37(2)27--29, 37(2)30--31, 37(2)32--33,
40(2)59--64
-
serious, 12(1)53--64, 27(3)1--1
-
serve, 0(0)102--118, 13(3)39--41, 13(6)133--161, 23(1)11--11,
32(3)15--22
-
served, 23(1)27--29
-
server, 7(7)30--32, 12(6)59--74, 14(1)38--49, 15(3)19--z, 15(5)18--z,
17(3)45--56, 27(2)48--52, 27(3)4--4, 27(3)63--68, 29(1)41--44,
29(3)15--16, 31(2)44--47, 31(3)3--4, 32(2)35--36, 32(3)11--12,
33(3)11--12, 36(1)39--50
-
server, client-, 16(5)59--69, 17(3)45--56
-
service, 0(0)51--66, 8(7)7--11, 8(7)86--96, 11(5)62--78, 11(8)177--z,
12(6)81--87, 15(2)54--58, 17(3)36--44, 17(4)17--30, 17(4)31--58,
17(4)59--65, 19(3)31--38, 21(1)20--26, 23(1)11--11, 23(1)30--34,
27(2)61--66, 27(2)67--71, 27(2)90--95, 27(3)4--4, 27(3)63--68,
27(3)69--70, 29(2)20--27, 29(3)15--16, 29(3)31--44, 31(3)3--4,
31(3)39--46, 32(3)11--12, 33(1)128--133, 33(3)11--12, 33(3)85--86,
35(1)74--79, 36(2)22--26, 37(2)9--12
-
Service-Oriented, 27(3)4--4, 27(3)63--68, 29(3)15--16, 31(3)3--4,
32(3)11--12, 33(3)11--12
-
service-oriented, 27(3)4--4, 27(3)63--68, 31(3)3--4, 32(3)11--12,
33(3)11--12
-
serviced, 33(2)75--86
-
servicing, 8(7)61--64
-
Serving, 18(6)240--245
-
session, 17(5)5--7, 17(5)8--10, 17(5)11--15, 17(5)16--17, 19(2)10--11,
19(2)12--14, 19(2)15--18, 19(2)19--20, 19(3)221--221, 19(3)225--226,
21(1)5--8, 21(1)11--13, 21(1)14--16, 21(1)17--18, 21(1)18--19,
22(4)113--119, 22(4)120--122, 22(4)123--124, 22(4)125--127,
22(4)128--130, 22(4)131--131, 23(4)11--12, 23(4)13--15, 23(4)22--23,
23(4)32--35, 23(4)55--57, 23(4)93--95, 23(4)96--96, 27(2)15--17,
27(2)37--40, 27(2)59--60, 27(2)88--89, 27(2)96--97, 27(3)4--4,
27(3)97--98, 29(3)15--16, 30(1)147--151, 30(1)152--161,
33(1)134--137, 33(1)138--145, 33(1)146--149, 33(1)150--156,
33(2)115--122, 33(2)123--125, 33(2)126--130, 33(2)131--132,
35(1)95--96, 35(1)97--101, 35(1)102--104, 36(1)83--90, 36(1)91--93,
36(1)94--97, 36(1)98--100, 36(1)101--102, 36(1)103--106,
38(1)58--60, 38(1)61--61, 38(1)62--65, 38(1)66--69, 38(1)70--73,
38(1)74--76, 38(1)77--78
-
set, 0(0)viii--171, 0(0)102--118, 5(1)61--70, 9(2)78--89, 9(5)60--82,
9(7)85--90, 9(7)114--128, 10(2)84--88, 10(4)114--118, 10(4)159--165,
10(6)47--60, 10(7)70--84, 11(7)244--273, 12(1)65--72, 13(2)91--96,
13(4)49--62, 13(5)43--47, 14(3)61--73, 14(3)105--112, 16(6)55--72,
17(3)30--35, 23(1)30--34, 23(1)40--43, 23(1)53--56, 26(1)25--30,
26(3)61--70, 26(3)77--80, 27(2)41--47, 27(2)75--81, 28(1)38--40,
29(1)51--52, 29(2)43--45, 29(3)17--18, 29(3)19--20, 30(1)16--25,
30(1)91--103, 32(3)25--26, 32(3)97--102, 33(1)64--83, 33(1)101--115,
33(1)128--133, 33(2)97--108, 33(2)109--114, 33(3)7--8, 33(3)43--46,
34(3)13--16, 34(3)19--28, 35(1)26--31, 35(1)32--37, 36(1)68--76,
36(2)27--30, 36(2)39--46, 36(2)47--48, 37(2)9--12, 37(2)18--22,
37(2)27--29, 39(2)29--34, 40(2)55--58, 42(2)32--39
-
set, instruction-, 8(3)84--86
-
set, mind-, 9(2)78--89
-
SETA1, 11(3)9--17, 11(3)19--27, 11(3)29--31
-
SETA2, 14(0)ix--118, 14(z)85--92, 14(z)104--108, 14(z)109--112
-
Settembre, Marina, 42(2)109--113
-
Settembre, Marina, see Imbruglia, Antonio
-
setting, 32(3)27--34, 32(3)97--102, 33(1)93--100, 33(2)97--108
-
setting, requirements-, 8(4)35--46
-
seventeenth, 0(0)336
-
seventh, 13(6)32--z, 29(1)70--70
-
several, 0(0)1--9, 0(0)90--101, 12(1)73--84, 12(6)47--49, 13(4)63--70,
13(6)133--161, 17(2)67--81, 17(2)82--91, 17(3)57--66, 23(1)22--26,
27(2)82--87, 27(3)41--50, 27(3)71--74, 27(3)89--96, 27(3)99--99,
28(1)24--30, 28(1)96--102, 29(1)29--32, 29(2)20--27, 29(3)5--6,
29(3)73--78, 29(3)103--104, 31(3)3--4, 31(3)81--90, 32(3)11--12,
33(1)93--100, 33(1)128--133, 33(2)97--108, 33(3)11--12, 33(3)15--18,
34(3)17--18, 34(3)81--86, 34(3)105--106, 35(1)74--79, 35(1)93--94,
35(2)14--14, 36(1)68--76, 36(2)22--26, 39(2)35--40, 40(2)48--50,
40(2)76--91, 41(2)77--80, 42(1)65--67, 42(2)40--44
-
severe, 12(6)81--87, 29(3)119--120, 36(2)39--46
-
sexual, 15(2)46--53
-
SFD-, 9(5)109--114
-
Sha, Lui, 7(6)33--39, 7(7)30--32, 8(7)7--11, 8(7)20--31, 8(7)39--42
-
Sha, Lui, see Borger, Mark,
see Cornhill, Dennis,
see Goodenough, John B.,
see Locke, Douglass
-
Shalls, 28(1)24--30
-
shaped, 27(3)100--100
-
Shapiro, Michael D., 13(5)20--21
-
Shapiro:1993:ADA, 13(5)20--21
-
sharable, 10(9)29--30
-
share, 26(2)38--47, 31(3)35--36, 40(2)48--50
-
SHARED, 11(2)53--55
-
shared, 8(7)20--31, 8(7)50--56, 10(3)38--58, 10(4)85--96, 10(9)29--30,
10(9)126--132, 10(9)z--z, 12(4)20--23, 12(6)59--74, 15(1)50--63,
17(2)29--54, 27(3)8--8, 27(3)41--50, 31(2)9--14, 31(3)15--16,
33(1)101--115, 35(1)9--16, 38(1)55--57, 41(1)74--77
-
shared, non-, 10(9)94--102, 10(9)126--132
-
shareware, 17(4)17--30
-
sharing, 0(0)173--188, 25(4)93--102, 26(2)23--37, 33(1)32--44,
33(2)33--39, 33(2)49--58, 33(2)59--65, 38(1)34--39
-
sharing, information-, 33(3)43--46
-
Shatz, Sol M., 19(3)211--220
-
Shatz, Sol M., see Gedela, Ravi K.
-
Shaw, Mary, 6(2)103--103
-
Shaw, Mary, see Hibbard, Peter
-
Sheet, 4(1)61--66
-
Shelf, Commercial-Off-The-, 27(3)2--2
-
SHell, 17(2)82--91
-
shell, 17(2)82--91
-
Shen, Hongfeng, 19(2)96--103
-
Shen, Jun, 8(6)82--91, 12(3)110--116, 12(6)47--49
-
Shen, Jun, see Xing, Guo-Guang
-
Shen:1992:GFP, 12(3)110--116
-
Shen:1992:LPI, 12(6)47--49
-
Shen:1999:LKM, 19(2)96--103
-
Sheppard, Sallie, 2(5)76--84
-
Sheppard, Sallie, see Fernandez, John D.
-
Sheppard, Sylvia, 2(1)58--61, 4(1)32--39
-
Sheppard, Sylvia, see Basili, Victor R.,
see Basili, Victor
-
Sherill, Joel, 30(3)9--10
-
Sherill, Joel, see Cicalese, Cindy
-
Sherman, M., 0(0)66--75
-
Sherman, Mark, 0(0)72--81, 0(0)82--90, 6(2)103--103
-
Sherman, Mark, see Hibbard, Peter,
see Hisgen, Andy,
see Rosenberg, Jonathan
-
Sherman, Mark S., 0(0)62--71
-
Sherman:1980:FSA, 0(0)62--71
-
Sherman:1982:MPA, 0(0)66--75
-
Sherrill, Joel, 21(4)39--46, 29(3)11--12
-
Sherrill, Joel, see Cicalese, Cynthia
-
Sherrill:2001:IPL, 21(4)39--46
-
shield, 32(3)63--70
-
shift, 27(3)79--82, 30(1)125--134, 31(2)30--32, 34(3)87--96
-
shifting, 17(1)41--53
-
Shindi, Rajaa S., 26(3)9--14
-
Shindi:2006:EPC, 26(3)9--14
-
Shing, M., 18(5)111--125
-
Shing:1998:MSS, 18(5)111--125
-
Ship, 21(4)47--52
-
Shore, R. W., 7(5)105--112
-
Shore:1987:DES, 7(5)105--112
-
Shoreham, 18(0)xii--293
-
short, 0(0)24--39, 27(3)8--8, 29(3)3--4, 31(2)36--39, 31(3)11--12,
32(3)5--6, 33(3)15--18, 35(2)9--13, 36(1)29--34, 37(2)9--12,
37(2)23--26
-
short-comings, 33(1)157--168
-
shortcomings, 39(2)35--40
-
shortcuts, 31(1)14--15
-
shorthand, 37(2)18--22
-
shot, 23(1)11--11, 25(4)69--78
-
shot, ``one-, 38(1)34--39
-
should, 2(2)49--50, 7(7)30--32, 11(7)244--273, 12(2)43--56, 13(3)88--90,
13(4)63--70, 17(4)17--30, 26(3)75--75, 27(3)8--8, 29(3)1--2,
30(1)16--25, 30(1)33--44, 30(1)125--134, 31(3)9--10, 32(3)1--2,
32(3)3--4, 32(3)27--34, 32(3)103--104, 33(2)59--65, 33(2)87--96,
33(2)109--114, 33(3)13--14, 33(3)41--42, 35(1)59--73, 35(2)14--14,
36(1)35--38, 37(2)30--31, 37(2)32--33, 38(1)55--57
-
show, 0(0)156--171, 11(7)244--273, 13(2)78--90, 13(3)86--87, 13(4)63--70,
17(1)54--68, 17(3)36--44, 23(1)27--29, 26(2)23--37, 27(2)48--52,
27(3)1--1, 27(3)5--6, 27(3)8--8, 27(3)51--58, 27(3)83--88,
29(1)62--64, 29(2)61--62, 29(3)5--6, 31(2)44--47, 31(2)56--58,
31(3)1--2, 31(3)13--14, 31(3)35--36, 31(3)61--68, 32(1)13--18,
32(3)27--34, 32(3)73--80, 32(3)81--94, 33(2)66--74, 33(3)23--36,
34(3)13--16, 34(3)17--18, 34(3)47--60, 35(1)9--16, 35(1)59--73,
36(1)51--62, 36(2)39--46, 37(1)9--25, 37(2)51--58, 39(2)25--28,
41(2)81--85
-
showed, 17(2)63--66, 17(3)67--86, 27(3)3--3, 31(2)48--51, 31(2)56--58,
37(2)30--31
-
showing, 29(2)43--45, 38(1)34--39, 40(2)48--50, 42(1)100--104
-
shown, 12(2)57--61, 12(2)97--101, 13(1)63--75, 13(4)71--76, 17(3)17--29,
26(3)9--14, 27(2)67--71, 29(3)1--2, 31(3)9--10, 32(3)43--50,
32(3)51--52, 33(2)49--58, 33(3)23--36, 36(2)31--38, 38(1)14--18,
42(1)100--104
-
Shumate, Ken, 7(7)33--54, 8(2)55--76, 11(4)78--90, 13(6)133--161
-
Shumate:1987:ECS, 7(7)33--54
-
Shumate:1988:TAP, 8(2)55--76
-
Shumate:1991:SAO, 11(4)78--90
-
Shumate:1993:BSO, 13(6)133--161
-
Sibert, John, 17(3)17--29
-
Sibert, John, see Kann, Charles W.
-
Sibley, Anaika, 23(1)45--52
-
Sibley, Anaika, see Neville, Melvin
-
sibling, 29(3)5--6
-
sic, 18(6)68--74, 19(2)54--59
-
side, 12(2)43--56, 29(2)50--52, 29(3)19--20, 29(3)119--120
-
side, side-by-, 21(3)41--56
-
side-by-side, 21(3)41--56
-
side., 29(2)63--64
-
sidestep, 13(3)86--87
-
SIDPERS-3, 0(0)119--123
-
Siebert, Dr. Fridtjof, 41(1)83--86
-
Siebert:2021:FST, 41(1)83--86
-
Sierra, 37(2)59--67
-
sieve, 8(5)71--74, 9(2)72--77, 9(5)83--83, 18(4)107--110
-
SIG, 5(3)6--10
-
SIGAda, 0(0)viii--171, 0(0)viii--240, 0(0)367--375, 5(1)32--41,
5(3)61--62, 11(7)9--46, 11(7)47--65, 11(7)83--90, 11(7)91--130,
11(7)131--139, 11(7)140--165, 11(7)166--179, 12(2)31--32,
12(2)31--z, 12(2)33--z, 13(1)4--z, 13(1)30--z, 13(1)35--z,
13(4)22--z, 13(6)13--z, 13(6)133--161, 14(3)16--z, 14(4)12--15,
14(6)3--z, 14(6)4--z, 15(1)3--z, 15(1)4--z, 15(3)3--z, 15(3)4--z,
15(3)19--z, 15(3)35--z, 15(3)39--z, 15(3)40--z, 15(4)12--z,
15(5)16--z, 15(5)18--z, 15(6)4--z, 15(6)5--z, 15(6)7--z, 16(1)16--z,
18(0)xii--293, 19(1)7--z, 19(1)9--z, 19(1)13--z, 19(1)19--z,
19(1)28--39, 20(1)6--7, 20(1)8--9, 20(1)12--15, 20(1)18--18,
20(1)19--24, 20(2)6--7, 20(2)8--9, 20(2)11--13, 20(2)19--26,
20(3)6--7, 20(3)8--9, 20(4)3--28, 20(4)29--31, 20(4)32--39,
20(4)40--49, 20(4)50--63, 20(4)64--68, 20(4)69--79, 20(4)80--z,
21(2)11--11, 21(2)12--16, 21(2)89--89, 22(1)43--60, 22(1)61--61,
22(3)24--41, 26(1)7--11, 26(1)12--15, 26(1)67--67, 27(3)99--99,
39(1)100--100
-
SIGada, 22(1)62--63
-
SigAda, 10(6)5--5
-
SIGAda ARTEWG, ACM, 7(5)113--127, 9(1)84--132
-
SIGAda'98, 19(1)42--47
-
SIGCSE, 0(0)336
-
Sigma, 29(3)9--10
-
signal, 27(3)27--40, 29(3)23--30, 38(1)19--28, 40(2)92--95
-
signaling, 10(1)100--103, 11(2)53--55, 29(3)9--10
-
signalled, 36(1)68--76
-
signed, 29(1)33--34
-
significant, 13(6)133--161, 26(3)9--14, 26(3)35--42, 27(3)71--74,
27(3)89--96, 28(1)96--102, 29(3)45--60, 31(3)47--60, 32(1)13--18,
33(3)65--84, 33(3)87--88, 34(3)71--80, 40(2)59--64, 40(2)65--69,
42(1)100--104
-
significantly, 27(3)69--70, 28(1)24--30, 30(1)62--67, 34(3)39--46,
34(3)81--86, 36(2)9--17
-
Signoles, Julien, 38(2)97--108
-
Signoles, Julien, see Ly, Dara
-
SIGPLAN, ACM-, 15(0)vii--242
-
Silberberg, David, 18(6)219--228
-
Silberberg:1998:APS, 18(6)219--228
-
Silver, James L., 18(5)39--46
-
Silver, James L., see Heinfeld, Blaine W.
-
Sim-Alpha, 26(3)9--14
-
Sim-alpha, 26(3)9--14
-
SIMD, 42(1)95--99
-
similar, 0(0)62--76, 0(0)102--118, 12(6)59--74, 23(1)44--44, 26(1)64--65,
26(3)3--8, 27(3)5--6, 27(3)27--40, 31(3)27--34, 31(3)81--90,
32(3)3--4, 34(3)5--12, 36(1)39--50, 38(1)19--28, 38(2)89--96
-
similarity, 36(2)22--26
-
Similarly, 29(2)53--55, 31(3)15--16, 31(3)81--90
-
Simon, Roland, 9(5)123--128
-
Simon, Roland, see Schiper, Andre
-
simple, 0(0)90--101, 3(5)69--74, 4(6)44--48, 5(1)71--78, 6(1)20--21,
9(6)67--79, 9(6)108--118, 9(6)119--126, 10(5)88--100, 10(9)103--110,
11(2)115--127, 11(5)79--90, 13(2)65--77, 13(4)44--48, 15(2)23--30,
17(3)97--108, 17(5)27--32, 26(3)9--14, 26(3)29--34, 26(3)71--74,
27(3)71--74, 28(1)92--95, 28(1)96--102, 29(2)63--64, 29(3)61--72,
30(1)55--61, 30(1)86--90, 31(2)44--47, 31(2)48--51, 31(3)3--4,
31(3)47--60, 32(3)15--22, 32(3)35--42, 33(2)9--13, 33(2)75--86,
33(3)13--14, 33(3)65--84, 34(3)47--60, 35(1)59--73, 36(2)58--59,
41(1)78--82
-
SimpleGraphics, 19(2)60--66
-
simpler, 32(3)15--22, 33(2)49--58
-
Simplest, 5(1)42--48
-
simplicity, 30(1)86--90, 33(2)49--58, 41(1)83--86
-
simplification, 12(1)53--64, 27(3)89--96, 32(3)15--22
-
simplified, 0(0)141--155, 9(6)108--118, 14(3)39--60, 23(1)45--52,
32(3)15--22
-
simplify, 11(7)244--273, 32(3)27--34, 33(2)33--39
-
simplifying, 29(1)66--68, 33(1)24--31
-
simply, 17(3)17--29, 31(3)27--34, 37(2)9--12, 40(2)55--58
-
Simpson, R. T., 0(0)98--106
-
Simpson:1982:ACF, 0(0)98--106
-
simulate, 29(3)31--44, 36(2)58--59
-
simulated, 13(4)44--48, 14(3)105--112
-
simulating, 8(5)37--46, 13(4)49--62
-
SIMULATION, 7(5)105--112
-
simulation, 0(0)1--9, 0(0)116--125, 0(0)126--132, 0(0)133--140,
0(0)172--180, 7(5)105--112, 12(1)73--84, 12(2)97--101, 13(4)37--43,
13(4)49--62, 13(4)77--86, 15(2)46--53, 16(5)35--47, 17(5)93--99,
18(6)137--139, 21(4)91--96, 23(1)12--21, 26(3)9--14, 26(3)35--42,
27(3)27--40, 27(3)41--50, 29(1)19--22, 29(3)31--44, 31(2)15--22,
32(1)13--18, 32(2)9--16, 33(1)157--168, 33(3)15--18, 34(3)61--68,
36(2)49--53, 36(2)58--59
-
simulator, 0(0)62--76, 6(1)49--54, 13(4)49--62, 15(4)15--16, 23(1)12--21,
26(3)9--14, 27(3)41--50, 29(3)11--12, 34(3)47--60
-
Simulink, 33(3)41--42, 33(3)51--64
-
Simulink/Stateflow, 33(3)51--64
-
simultaneous, 36(2)60--68
-
simultaneously, 26(3)29--34, 27(2)82--87, 28(1)41--44
-
Sinaei, Sima, 42(2)96--98
-
Sinaei, Sima, see Balador, Ali
-
since, 0(0)367--375, 9(7)114--128, 12(1)65--72, 13(3)91--95, 17(3)17--29,
23(1)11--11, 23(1)27--29, 26(2)23--37, 27(3)41--50, 30(1)45--55,
31(3)75--80, 33(1)157--168, 33(3)7--8, 33(3)9--10, 33(3)85--86,
40(1)91--96, 40(2)55--58, 42(1)46--49, 42(2)79--88
-
sine, 23(1)45--52
-
Singh, N. K., 33(2)75--86
-
Singh, N. K., see Wellings, A. J.
-
Singhoff, 31(2)70--70
-
Singhoff, F., 24(4)1--8, 25(4)1--10
-
Singhoff, Frank, 26(3)61--70, 27(3)8--8, 27(3)41--50, 29(3)31--44,
31(3)15--16, 31(3)61--68, 32(3)81--94
-
Singhoff, Frank, see Delange, Julien,
see Gaudel, Vincent, \see{Li, Shuai,
see McCormick, John W.,
see Plantec, Alain
-
Singhoff:2004:CFR, 24(4)1--8
-
Singhoff:2005:SMR, 25(4)1--10
-
Singhoff:2007:AMA, 27(3)41--50
-
Singhoff:2007:MRT, 27(3)8--8
-
single, 0(0)77--89, 7(3)84--93, 9(2)45--51, 10(3)111--125, 10(6)97--109,
12(1)53--64, 13(3)88--90, 13(4)77--86, 13(5)32--42, 14(z)54--73,
23(4)28--31, 29(3)119--120, 30(1)55--61, 30(1)86--90, 30(1)91--103,
30(1)125--134, 31(3)19--26, 31(3)27--34, 32(3)95--96, 33(1)128--133,
33(2)59--65, 33(2)97--108, 33(3)43--46, 36(1)39--50, 36(1)83--90
-
single-inheritance, 11(9)116--127
-
single-point, 13(5)32--42
-
single-processor, 27(2)29--36, 27(3)7--7, 29(3)13--14, 30(1)86--90,
33(1)53--63
-
single-task, 27(3)59--62
-
single-user, 23(1)12--21
-
site, 17(4)17--30, 27(3)101--107, 29(1)84--97, 30(2)67--78, 31(2)59--69,
35(2)15--21
-
situated, 18(5)87--96
-
situation, 10(4)49--56, 17(2)29--54, 27(2)18--22, 31(3)35--36,
34(3)71--80, 36(2)49--53, 36(2)58--59
-
situation, Ada-, 14(3)74--79
-
situational, 26(3)45--50
-
six, 29(3)9--10, 29(3)23--30, 33(3)43--46
-
sixth, 12(3)42--z, 29(1)69--69
-
size, 0(0)62--76, 0(0)141--155, 7(4)85--87, 10(3)101--110, 10(3)111--125,
12(1)43--52, 17(1)41--53, 26(2)12--22, 29(2)37--39, 29(3)121--126,
40(2)65--69, 41(1)64--68
-
sized, 15(2)31--39
-
sized, stadium-, 23(1)11--11
-
Sjöberg, Johan, 42(2)92--95, see John, Wolfgang
-
Skavhaug, Amund, 30(1)33--44, 33(2)87--96
-
Skavhaug, Amund, see Gregertsen, Kristoffer Nyborg
-
skeletons, 25(4)49--56
-
skill, 0(0)77--89, 10(7)63--69, 16(1)58--69, 32(3)9--10
-
skilled, 14(6)73--76
-
Sköldström, Pontus, 42(2)92--95,
see John, Wolfgang
-
sky, 32(3)71--72
-
Slater, Paul, 15(3)76--79
-
Slater:1995:OGP, 15(3)76--79
-
slice, 26(3)9--14
-
slicer, 24(1)10--16, 25(4)17--22
-
slicing, 36(2)9--17
-
Slides, 38(2)9--42, 38(2)69--88, 39(1)9--16, 39(1)17--19, 39(1)20--34,
39(1)50--62, 39(1)72--72, 39(1)83--99, 39(1)101--108
-
slightly, 31(3)3--4, 36(1)51--62
-
Slind, Konrad, 34(3)19--28
-
Slind, Konrad, see Gacek, Andrew
-
Slind, Konrad L., 32(3)53--62
-
Slind, Konrad L., see Hardin, David S.
-
SLIS, 16(5)35--47
-
slogan, 32(3)95--96
-
slots, 38(1)41--54, 38(1)74--76
-
slow, 17(1)41--53, 35(1)9--16
-
SlowSort, 10(1)104--110
-
small, 0(0)40--49, 5(2)321--328, 10(4)159--165, 10(5)88--100,
16(5)48--58, 17(3)87--96, 23(1)44--44, 26(3)21--28, 29(3)17--18,
30(1)135--146, 32(3)5--6, 33(2)75--86, 33(3)21--22, 36(2)31--38,
37(2)51--58, 38(1)34--39, 40(2)65--69, 41(1)78--82
-
small-foot-print, 37(2)43--50
-
Smallest, 42(2)32--39
-
Smalltalk, 8(5)37--46, 14(0)ix--118, 14(z)26--35, 16(5)48--58
-
smart, 10(4)159--165, 29(3)119--120, 32(1)19--21, 32(1)30--31,
36(2)31--38, 40(1)60--63, 40(1)85--90, 42(2)92--95, 42(2)114--118
-
Smart, Jay C., 29(3)119--120
-
SMART, T-, 17(5)45--50
-
Smart:2009:LAB, 29(3)119--120
-
Smeaton, Roger, 4(4)38--48
-
Smeaton, Roger, see Schill, John
-
Smith, D., 9(1)47--70
-
Smith, D., see Bardin, B.
-
Smith, D. Douglas, 17(3)30--35
-
Smith, David A., 4(1)61--66
-
Smith, G., 0(0)231--246
-
Smith, G., see Gargaro, A.
-
Smith, Gary, 17(5)51--56
-
Smith, Gary, see Gargaro, Anthony
-
Smith, Gary W., 19(2)90--95
-
Smith, Geoff T., 24(4)9--12
-
Smith, John M., 5(2)41--57
-
Smith, John M., see Fox, Stephen
-
Smith, Milton, 14(6)62--72
-
Smith, T. L., 0(0)31--36
-
Smith, T. L., see Suchan, W.
-
Smith:1984:ASA, 4(1)61--66
-
Smith:1985:TKD, 5(2)41--57
-
Smith:1994:MTS, 14(6)62--72
-
Smith:1997:W, 17(3)30--35
-
Smith:1999:DPI, 19(2)90--95
-
Smith:2004:MEA, 24(4)9--12
-
smooth, 27(3)3--3
-
SMP, 23(1)53--56, 27(2)75--81, 30(1)125--134, 33(1)9--14
-
SMP, non-, 33(1)9--14
-
SMPs, 30(1)125--134
-
SMR/DEL, 33(3)43--46
-
SMT, 33(3)3--4, 33(3)9--10, 33(3)85--86
-
SMT, Max-, 42(2)32--39
-
SMT-style, 32(3)53--62
-
snapshotable, 32(3)9--10
-
SNOBOL, 32(3)95--96
-
Snowden, D. S., 7(6)73--76
-
Snowden, D. S., see Hutcheon, A. D.
-
Snyder, C. R., 0(0)1--9
-
Snyder:1991:UAP, 0(0)1--9
-
SOA, 27(3)4--4, 27(3)63--68, 29(3)15--16, 31(3)3--4, 32(3)11--12,
33(3)11--12, 36(2)22--26
-
SOAconcepts, 31(3)3--4
-
SOAP, 29(3)19--20, 31(3)3--4, 32(3)11--12, 33(3)11--12
-
SOAPash, 32(2)35--36, 32(2)37--38
-
Soaring, 11(5)79--90
-
social, 0(0)viii--171, 0(0)136--140, 29(3)61--72
-
society, 0(0)367--375, 26(3)71--74, 32(3)51--52, 38(2)109--114
-
Socket-Based, 21(2)53--64
-
sockets, 27(2)90--95, 31(2)15--22, 32(2)9--16
-
Sodhi, Jag, 14(6)62--72
-
Sodhi, Jag, see Smith, Milton
-
Soffa, Mary Lou, 5(2)164--172
-
Soffa, Mary Lou, see Gupta, Rajiv
-
soft, 0(0)102--118
-
SoftBench, 11(2)98--106
-
SOFTWARE, 4(4)38--48, 4(5)40--44, 4(5)45--48, 4(5)49--58, 4(5)59--64,
4(5)65--78, 4(5)79--83, 4(5)84--89, 4(5)90--96, 4(5)97--99,
4(5)100--104, 4(5)105--110, 4(6)27--31, 4(6)49--59, 5(1)17--31,
5(1)61--70, 5(1)71--78, 5(1)79--88, 5(3)76--83, 6(3)56--60,
6(3)61--64, 6(3)65--70, 6(3)71--80, 6(4)34--43, 6(4)44--52,
6(6)49--53, 7(2)58--72, 7(3)50--59, 7(3)60--72, 7(3)73--83,
7(3)94--106, 7(5)100--103, 7(6)21--23, 7(7)33--54, 8(1)58--79,
8(1)80--90, 8(2)39--54, 8(2)96--106, 8(4)35--46, 8(4)47--68,
8(4)70--82, 8(4)83--96, 8(4)97--103, 8(4)104--118, 8(6)82--91,
8(7)7--11, 8(7)113--117, 9(2)78--89, 9(2)102--105, 9(5)54--59,
9(5)60--82, 9(5)84--88, 9(5)89--100, 9(5)101--108, 9(5)109--114,
9(5)115--122, 9(6)67--79, 9(6)80--89, 9(6)90--96, 9(6)97--103,
9(6)104--107, 9(6)119--126, 9(7)91--101, 9(7)114--128
-
Software Defense Science Board, Task Force on Military, 8(4)35--46
-
Software Productivity Solutions, Inc, 8(4)104--118
-
software, non-, 18(5)39--46
-
software-, 14(6)57--61
-
software-development, 14(4)28--35
-
software-in-the-loop, 36(2)49--53
-
software-intensive, 29(3)45--60, 31(3)17--18, 32(3)7--8, 38(2)9--42,
42(2)79--88
-
software-reliant, 34(3)17--18
-
software., 27(3)89--96
-
solar, 41(1)44--63
-
Solaris, 17(3)36--44, 17(5)93--99, 27(3)79--82
-
Solderitsch, James, 11(3)3--7, 11(3)3--z
-
Solderitsch:1991:LRS, 11(3)3--z
-
Solderitsch:1991:WGR, 11(3)3--7
-
Solé, Marc, 42(1)95--99
-
Sole:2022:CSA, 42(1)95--99
-
solely, 12(1)43--52, 33(2)75--86
-
Solsi, Swathi C., 11(2)115--127
-
Solsi:1991:SYC, 11(2)115--127
-
solution, 0(0)10--15, 0(0)24--39, 5(1)42--48, 8(5)71--74, 10(1)97--99,
10(9)94--102, 12(3)117--125, 12(6)75--80, 13(2)37--43, 13(4)37--43,
13(4)63--70, 13(6)133--161, 14(3)39--60, 14(5)71--79, 14(5)80--87,
17(3)57--66, 17(5)71--76, 18(4)107--110, 23(1)1--9, 23(1)35--39,
26(2)23--37, 29(2)43--45, 29(3)19--20, 29(3)45--60, 30(1)104--115,
31(3)3--4, 31(3)7--8, 31(3)19--26, 31(3)27--34, 31(3)69--74,
32(3)11--12, 33(3)7--8, 33(3)11--12, 34(3)19--28, 35(1)59--73,
36(2)22--26, 40(1)53--59, 42(1)90--94
-
Solutions, Inc., Software Productivity, 8(4)104--118
-
solutions/inherently-secure-processor, https://www.draper.com/explore-,
39(1)71--71
-
solve, 29(3)61--72, 31(2)23--24, 31(2)25--27, 31(2)28--29, 40(2)59--64
-
solved, 27(3)5--6, 40(2)76--91
-
solver, 33(3)3--4, 33(3)85--86
-
solving, 0(0)31--36, 13(1)63--75, 18(5)87--96, 23(1)53--56, 29(3)11--12,
29(3)61--72
-
SOM, 16(3)39--51
-
Some, Raphael R., 34(3)97--102
-
Some, Raphael R., see Bocchino, Robert L.
-
something, 32(3)7--8, 34(3)61--68
-
sometimes, 29(3)3--4
-
somewhat, 29(1)54--56
-
somewhere, 13(1)63--75
-
SonarQube, 39(2)25--28
-
Songbook, 11(4)99--z
-
sophisticated, 31(3)69--74, 33(3)85--86
-
Soricone, Robert, 24(4)35--38
-
Soricone:2004:CAG, 24(4)35--38
-
sort, 13(5)43--47, 29(2)40--42, 33(2)14--32, 33(3)43--46
-
Sorting, 8(3)87--97
-
SOS, 40(1)91--96
-
Sotirovski, Drasko, 26(2)12--22, 26(3)71--74
-
Sotirovski, Drasko, see Klein, Judith
-
Sotirovski:2006:THD, 26(3)71--74
-
sound, 27(1)24--39
-
Soundness, 38(2)97--108
-
source, 0(0)24--39, 0(0)124--135, 0(0)141--148, 0(0)156--171, 4(6)32--34,
8(5)101--109, 8(7)97--100, 9(5)84--88, 10(1)97--99, 10(2)89--94,
10(5)62--65, 12(2)62--75, 12(3)117--125, 14(4)58--71, 14(z)54--73,
16(1)46--53, 17(1)41--53, 17(3)57--66, 23(1)40--43, 26(2)75--83,
26(3)9--14, 27(3)89--96, 27(3)99--99, 28(1)59--70, 28(1)83--87,
29(1)84--97, 29(2)68--70, 29(3)11--12, 29(3)23--30, 30(2)67--78,
31(2)59--69, 31(3)39--46, 31(3)47--60, 32(3)9--10, 33(3)65--84,
36(2)27--30, 36(2)31--38, 36(2)39--46, 37(2)13--17, 40(1)85--90,
40(2)70--72, 42(1)39--40
-
Source, Open-, 33(3)65--84
-
source, open-, 27(3)27--40, 32(3)9--10, 33(3)51--64,
42(2)40--44
-
Source, Source-to-, 0(0)183--193
-
source-code, 7(5)42--50, 29(3)85--86
-
source-language, 32(3)25--26
-
source-program, 32(3)25--26
-
Source-to-Source, 0(0)183--193
-
Sousa, Inês Sousa, 42(1)86--89
-
Sousa, Rita, 42(2)114--118
-
Sousa:2022:ANN, 42(1)86--89
-
Sousa:2022:MNF, 42(2)114--118
-
SP1, 27(3)3--3
-
SP2, 27(3)4--4
-
space, 0(0)62--76, 10(3)14--19, 10(3)29--32, 10(7)47--54, 11(2)107--114,
17(3)57--66, 21(1)96--104, 23(4)52--54, 27(3)59--62, 29(3)31--44,
31(2)15--22, 31(3)27--34, 32(2)9--16, 33(1)84--92, 33(1)101--115,
33(1)128--133, 34(3)1--2, 34(3)39--46, 34(3)97--102, 36(2)9--17,
40(2)59--64, 42(1)95--99, 42(1)100--104
-
space, design-, 33(3)3--4
-
spacecraft, 15(4)22--22, 34(3)97--102, 36(2)18--21
-
spaceport, 34(3)1--2
-
SPAIDS, 0(0)273--278
-
spanning, 32(3)63--70
-
Spare, 37(1)31--38
-
SPARK, 20(4)64--68, 20(4)69--79, 23(1)1--9, 25(4)11--16, 25(4)17--22,
25(4)37--40, 26(3)45--50, 27(3)2--2, 27(3)51--58, 27(3)75--78,
27(3)100--100, 29(2)36--36, 29(3)9--10, 29(3)85--86, 29(3)87--90,
30(2)53--66, 31(1)19--23, 31(1)24--27, 31(2)30--32, 31(3)3--4,
31(3)37--38, 31(3)39--46, 31(3)47--60, 31(3)81--90, 32(3)11--12,
33(3)11--12, 33(3)19--20, 33(3)21--22, 33(3)37--40, 33(3)49--50,
34(3)5--12, 34(3)39--46, 36(2)18--21, 38(2)89--96, 39(1)83--99,
40(1)74--78, 40(2)76--91, 41(2)61--65, 42(1)65--67, 42(2)62--68,
42(2)79--88
-
Spark, 31(3)47--60
-
SPARK.Specific, 30(2)53--66
-
SPARK12, 33(3)1--2
-
Spark/Ada, 32(3)3--4
-
sparked, 31(3)15--16
-
Sparkel3, 33(3)1--2
-
SPARROW, 42(1)95--99
-
spatial, 33(2)33--39
-
Spazio, 41(2)77--80
-
speaks, 29(1)23--24
-
SpeAR, 39(1)20--34, 39(1)35--49
-
speci, 39(1)35--49
-
special, 10(1)97--99, 10(3)10--13, 10(4)114--118, 10(9)60--64,
10(9)70--74, 13(1)35--z, 13(6)66--158, 18(3)17--17, 20(4)3--28,
20(4)29--31, 20(4)32--39, 20(4)40--49, 20(4)50--63, 20(4)64--68,
20(4)69--79, 20(4)80--z, 26(1)7--11, 32(1)13--18
-
SPECIAL-PURPOSE, 7(5)113--127, 7(6)13--14, 7(6)15--17, 7(6)18--20,
7(6)33--39, 7(6)40--42, 7(6)49--50, 7(6)77--78, 7(6)113--115,
7(6)119--120, 7(6)124--126, 8(1)91--107, 8(3)84--86, 9(7)91--101,
9(7)102--113
-
specialised, 19(2)73--77
-
specialists, 16(1)44--45
-
specialized, 29(2)37--39, 31(2)15--22, 32(2)9--16
-
specially, 23(1)40--43, 33(1)93--100, 33(2)97--108
-
specific, 0(0)xvi--431, 0(0)16--23, 0(0)62--76, 0(0)119--123,
0(0)141--155, 9(2)90--101, 10(3)111--125, 11(8)177--z, 13(3)39--41,
14(z)74--81, 15(3)76--79, 17(1)41--53, 17(1)54--68, 26(2)48--59,
27(2)90--95, 27(3)2--2, 27(3)3--3, 27(3)41--50, 28(1)96--102,
29(1)78--79, 29(3)3--4, 29(3)11--12, 29(3)31--44, 31(3)61--68,
33(1)53--63, 33(2)97--108, 33(3)1--2, 33(3)41--42, 34(3)19--28,
34(3)87--96, 36(2)9--17, 37(2)13--17, 42(1)39--40
-
specific, application-, 11(8)177--z
-
specific, Domain-, 33(3)3--4
-
specific, domain-, 32(3)53--62, 33(3)3--4, 34(3)97--102
-
specific, DTD-, 30(2)13--18
-
specific, DTD-, 30(2)13--18
-
specific, MACS-, 17(5)77--82
-
specifically, 0(0)124--135, 13(4)63--70, 13(5)22--31, 17(3)30--35,
27(3)2--2, 29(3)85--86, 30(1)135--146, 33(2)14--32, 33(3)43--46,
33(3)65--84, 35(1)9--16
-
specification/generation, 17(5)93--99
-
specified, 31(3)7--8, 33(2)97--108, 33(2)109--114, 34(3)19--28,
34(3)61--68, 36(2)39--46, 36(2)49--53, 36(2)58--59, 36(2)60--68,
37(2)27--29, 38(1)19--28
-
specify, 29(3)119--120, 32(3)3--4, 33(2)49--58, 33(3)65--84, 35(1)46--58,
36(2)31--38, 40(2)73--75
-
specifying, 3(5)63--68, 7(6)107--109, 11(3)91--101, 11(5)30--46,
26(2)48--59, 31(3)47--60, 33(3)15--18, 37(2)27--29, 37(2)40--42
-
specs, 29(2)46--49
-
spectacular, 31(3)27--34, 34(3)1--2
-
spectroscopy, 9(5)89--100
-
speculating, 32(3)95--96
-
speculation, 31(3)17--18
-
speed, 10(3)101--110, 10(3)111--125, 17(1)41--53, 23(1)53--56,
27(3)71--74, 29(3)115--118, 31(3)19--26
-
speeding, 26(3)29--34
-
speedup, 10(9)126--132
-
speedy, 31(2)30--32
-
spending, 38(1)19--28
-
SPERBER, 3(4)92--99
-
Spicer, Kelly L., 11(9)67--82, 20(4)50--63
-
Spicer:1991:MMA, 11(9)67--82
-
Spicer:2000:SEL, 20(4)50--63
-
spider, 26(3)29--34
-
SPIN, 34(3)97--102
-
spirit, 13(6)133--161, 34(3)1--2
-
spite, 28(1)92--95, 32(3)15--22, 36(1)51--62
-
split, 29(2)68--70, 29(3)85--86
-
splitting, 33(2)97--108
-
sponsored, 12(2)43--56
-
sporadic, 13(2)44--53, 14(1)38--49, 15(5)46--51, 17(5)18--23,
30(1)135--146
-
Spot, 34(3)97--102
-
spreading, 30(1)86--90
-
spreadsheet, 0(0)141--155, 16(1)44--45, 33(3)85--86
-
SPS, Inc, 8(4)103--118
-
SPS:1988:NAC, 8(4)103--118
-
SPSI:1988:NAC, 8(4)104--118
-
Spurrier, Tom, 6(1)49--54
-
Spurrier:1986:BAP, 6(1)49--54
-
SQA, 4(5)45--48
-
SQL, 7(3)50--59, 7(3)60--72, 8(1)38--51, 9(5)115--122, 10(2)64--83,
11(5)47--61, 19(3)157--162, 31(2)36--39, 31(2)40--43
-
SQL-ArmAda, 10(2)64--83
-
SQL_ArmAda, 10(2)64--83
-
Squire, Jon, 6(2)93--93
-
Squire, Jon S., 11(7)140--165, 11(7)166--179, 11(7)217--243
-
Squire:1986:PCL, 6(2)93--93
-
Squire:1991:PSG, 11(7)140--165
-
Squire:1991:RPS, 11(7)166--179
-
Squire:1991:TVG, 11(7)217--243
-
Squires, Ann, Marmor-, 4(5)79--83
-
Sr, 18(2)89--104
-
Sr, see Reisner, John A.
-
Srivastava, Alok, 26(1)1--1, 26(1)2--3, 26(2)38--47, 26(2)48--59,
26(2)60--68, 26(2)69--74, 28(1)24--30, 32(3)71--72
-
Srivastava, Alok, see O'Leary, Jeffrey,
see O'Leary, Jeff
-
Srivastava:2006:AIG, 26(2)38--47
-
Srivastava:2006:AIP, 26(2)48--59
-
Srivastava:2006:AIR, 26(2)69--74
-
Srivastava:2006:AIS, 26(2)60--68
-
Srivastava:2006:ED, 26(1)1--1
-
Srivastava:2006:EP, 26(1)2--3
-
SRP, 32(3)81--94, 33(1)32--44, 33(2)49--58
-
ss, 12(1)65--72
-
SSAD, 29(3)45--60
-
St, 0(0)xiii--312
-
St. Dennis, R., 6(2)41--50
-
STA, NOR-, 40(1)53--59
-
stability, 17(5)88--92
-
stable, 12(2)43--56, 21(4)47--52, 42(1)46--49
-
Stachour, P., 6(2)41--50
-
Stachour, P., see St. Dennis, R.
-
stack, 30(1)116--124, 31(3)27--34, 32(1)46--48, 33(1)32--44, 33(2)49--58,
34(3)103--104, 37(2)51--58, 38(1)34--39, 40(2)65--69
-
stack-allocated, 32(3)15--22
-
stack-safety, 31(3)27--34
-
stadium-sized, 23(1)11--11
-
stage, 23(1)1--9, 27(2)53--58, 40(1)74--78
-
Stammers, R. A., 3(6)57--65
-
Stammers, R. A., see Dapra, A.
-
STAMP, 32(3)7--8
-
stand-alone, 10(9)31--34
-
standalone, 10(9)85--93
-
standard-missile, 20(4)50--63
-
standardisation, 14(4)76--80
-
standardised, 27(2)41--47
-
standardization, 4(6)27--31, 4(6)35--43, 5(3)76--83, 6(5)34--44,
7(2)73--84, 7(6)15--17, 7(7)55--76, 8(2)107--109, 8(3)98--106,
8(4)97--103, 8(4)104--118, 8(7)20--31, 8(7)35--38, 8(7)65--79,
8(7)86--96, 11(1)114--120, 11(5)47--61, 12(6)50--58, 14(4)28--35,
14(4)76--80, 18(3)18--19, 33(1)15--23, 34(3)61--68
-
Standardization/International, 35(1)93--94
-
standardize, 36(2)22--26
-
standardized, 10(5)88--100, 16(6)51--54, 29(3)17--18, 32(3)103--104,
34(3)17--18
-
standards-based, 33(3)43--46
-
standards., 27(2)37--40
-
Standish, Thomas A., 1(1)16--21, 3(1)23--36
-
Standish, Thomas A., see Buxton, John N.
-
Standish, Tim, 4(5)90--96
-
Standish, Tim, see Braesicke, Carl
-
Standish:1983:IAA, 3(1)23--36
-
Stanford, 9(7)114--128
-
Stanley, William, 18(6)263--275, 21(4)81--90
-
Stanley, William, see Laski, Janusz
-
STAR, 10(1)140--159
-
Stark, 0(0)62--76
-
Stark, M., 0(0)62--76
-
Stark, M., see Seidewitz, E.
-
Stark, Mike, 7(4)54--67, 17(3)67--86
-
Stark, Mike, see Seidewitz, Ed,
see Waligora, Sharon
-
STARS, 2(4)84--87, 2(6)45--50
-
start, 26(3)9--14, 29(3)45--60, 36(2)31--38, 37(2)13--17, 37(2)18--22
-
start, new-, 0(0)16--23
-
started, 27(3)101--107, 29(1)78--79, 32(1)13--18, 37(2)23--26,
37(2)27--29, 37(2)30--31, 37(2)32--33, 37(2)34--36, 37(2)37--39,
37(2)40--42, 42(1)41--42, 42(1)58--60
-
starting, 32(3)3--4
-
startup, 29(1)74--74, 40(1)45--52
-
starvation, 7(2)118--134, 33(2)66--74
-
state, 0(0)136--140, 0(0)156--171, 1(1)31--41, 9(6)97--103,
10(1)118--121, 11(5)30--46, 11(9)83--95, 11(9)100--115, 12(6)75--80,
13(4)71--76, 13(6)66--158, 14(3)74--79, 17(6)19--31, 17(6)70--77,
18(1)92--109, 19(3)223--223, 20(2)38--56, 27(3)1--1, 31(3)3--4,
31(3)7--8, 31(3)69--74, 33(1)84--92, 33(3)9--10, 33(3)43--46,
34(3)97--102, 35(1)46--58, 36(2)9--17, 36(2)22--26, 36(2)31--38,
37(2)27--29, 37(2)30--31, 37(2)32--33, 40(2)48--50
-
state-data, 11(1)96--101
-
state-of-the-art, 26(3)9--14, 29(3)17--18, 32(3)9--10, 33(3)3--4,
33(3)9--10
-
state-rich, 11(5)30--46
-
statechart, 11(5)30--46
-
stated, 13(4)44--48, 27(3)11--26
-
Stateflow, 33(3)41--42
-
stateful, 26(3)51--60
-
statelessness, 31(3)3--4, 32(3)11--12, 33(3)11--12
-
statement, 6(4)66--74, 8(3)98--106, 9(5)123--128, 9(6)97--103,
9(6)104--107, 10(2)89--94, 10(6)110--113, 10(9)46--49, 10(9)75--84,
10(9)141--146, 11(2)72--85, 12(1)65--72, 12(1)73--84, 12(2)57--61,
13(6)133--161, 14(3)39--60, 14(z)16--25, 14(z)36--53, 14(z)54--73,
15(5)52--53, 17(5)24--26, 17(5)100--105, 17(6)39--46, 21(4)107--114,
27(2)23--28, 29(3)79--84, 30(1)55--61, 30(1)68--72, 33(2)9--13,
37(2)23--26
-
static, 7(2)73--84, 9(6)119--126, 10(5)101--109, 14(4)28--35,
14(5)88--91, 18(6)12--17, 23(4)58--64, 24(1)4--9, 27(3)5--6,
27(3)11--26, 27(3)83--88, 27(3)101--107, 28(1)76--82, 28(1)83--87,
28(1)92--95, 28(1)96--102, 29(3)9--10, 29(3)127--132, 30(1)116--124,
30(3)23--30, 31(3)47--60, 32(3)15--22, 32(3)27--34, 32(3)103--104,
33(1)24--31, 33(2)9--13, 33(2)109--114, 33(3)7--8, 33(3)13--14,
33(3)21--22, 33(3)37--40, 33(3)87--88, 34(3)17--18, 34(3)103--104,
36(1)68--76, 38(2)97--108, 39(1)101--108, 39(2)25--28, 40(2)65--69,
41(2)77--80, 41(2)81--85
-
statically, 15(3)76--79, 31(3)7--8, 31(3)11--12, 31(3)81--90,
32(3)15--22, 33(2)66--74, 42(2)62--68
-
Static_Predicate, 37(2)27--29, 37(2)30--31, 37(2)32--33
-
stating, 31(3)47--60
-
station, 10(7)47--54, 11(2)107--114
-
STATISTICS, 8(2)110--112
-
statistics, 2(6)63--67, 10(3)217--229
-
status, 10(3)146--210, 10(9)29--30, 11(1)102--113, 13(3)42--z, 21(1)5--8,
21(1)105--110, 23(1)11--11, 23(4)55--57, 28(1)88--91, 32(3)43--50,
33(1)45--52, 33(1)64--83, 34(3)97--102, 36(1)29--34, 38(1)14--18,
41(1)78--82, 41(2)81--85
-
stays, 27(3)8--8, 33(1)64--83
-
STD, ANSI/MIL-, 11(9)83--95
-
STD-1750A, MIL-, 8(3)84--86
-
Std-1750A, Mil-, 8(3)84--86
-
STD-1815A, MIL-, 10(2)84--88
-
STD-2167, DOD-, 0(0)75--80
-
STD-2167, DoD-, 6(5)29--33, 6(5)34--44, 7(2)73--84
-
STD-2167A, DoD-, 6(5)34--44
-
StDennis:1986:MCR, 6(2)41--50
-
Steal, 13(3)91--95
-
stealing, 32(3)13--14
-
Stealing, Work-, 42(1)80
-
Steele, Jr., Guy L., 32(3)95--96
-
Steele:2012:PLL, 32(3)95--96
-
Steelman, 17(4)88--112
-
Steenari, David, 42(1)100--104
-
Steenari, David, see Jover-Alvarez, Alvaro
-
Stein, 6(2)13--14
-
STEP, 26(3)61--70
-
step, 8(7)97--100, 9(4)92--102, 11(9)67--82, 17(3)45--56, 29(2)50--52,
33(1)53--63, 33(3)21--22, 33(3)43--46, 33(3)65--84, 36(2)9--17,
41(1)87--91, 42(2)96--98
-
Stepanov, Alexander A., 0(0)216--225
-
Stepanov, Alexander A., see Musser, David R.
-
Stephe, 24(3)31--43
-
stepwise, 15(2)23--30
-
Stereo-lithography, 18(6)104--113
-
Sterne, D., 9(6)108--118
-
Sterne:1989:SGN, 9(6)108--118
-
Sterrett, Anthony, 12(2)97--101
-
Sterrett:1992:PMA, 12(2)97--101
-
Stevenson, David R., 0(0)166--175
-
Stevenson, Peter R., 3(4)99--111
-
Stevenson, Peter R., see Phillips, Stephen P.
-
Stevenson, R., 7(2)58--72
-
Stevenson, R., see Carr, P.
-
Stevenson:1980:ATA, 0(0)166--175
-
Stewart, Danielle, 42(2)45--54
-
Stewart, Danielle, see Hatcliff, John
-
Stewart, Mary, 18(6)81--88
-
Stewart, Mary, see Fleener, Nathan
-
still, 17(1)54--68, 17(2)29--54, 17(3)67--86, 27(1)24--39, 27(3)100--100,
29(2)46--49, 29(3)45--60, 29(3)103--104, 30(1)45--55, 33(2)75--86,
33(3)65--84, 35(1)46--58, 36(1)51--62, 36(2)47--48, 37(2)18--22,
40(2)96--102
-
stimuli, 33(2)75--86
-
STIMULUS, 36(2)58--59
-
stimulus, 32(3)63--70
-
Stimulus-Response, 11(5)30--46
-
stimulus-response, 11(5)30--46
-
stimulus/response, 23(1)12--21
-
STL, 24(3)23--30
-
STM, 33(1)84--92
-
STM32F746, 37(2)51--58
-
Stockton, R. G., 5(2)343--354
-
Stockton, R. G., see Barbacci, M. R.
-
Stojkovic, Vojislav, 18(5)87--96
-
Stojkovic, Vojislav, see Lupton, William
-
STONEMAN, 1(1)16--21
-
Stoneman, 4(5)40--44
-
stopping, 17(5)88--92
-
STORAGE, 9(5)89--100
-
storage, 0(0)180--189, 0(0)190--198, 5(2)164--172, 7(5)79--92,
9(1)84--132, 9(4)87--91, 10(3)29--32, 11(1)70--81, 11(4)91--98,
11(5)79--90, 12(1)43--52, 12(5)64--76, 13(5)32--42, 14(4)43--57,
15(2)31--39, 27(3)7--7, 29(3)13--14, 30(1)55--61, 34(3)103--104,
36(1)51--62
-
store, 40(1)91--96, 41(1)74--77
-
stored, 40(1)91--96
-
storing, 37(2)32--33
-
story, 11(2)60--71, 27(3)3--3, 31(3)17--18, 33(3)85--86
-
Stoughton, A., 0(0)120--128
-
Stoughton, A., see Kini, V.
-
STPA, 32(3)7--8
-
Stråhle, Rei, 21(4)47--52,
see Källberg, Björn
-
straightforward, 29(3)19--20, 29(3)45--60, 33(2)49--58
-
strange, 31(3)27--34
-
strategic, 27(3)69--70
-
strategy, 0(0)16--23, 0(0)26--30, 5(1)61--70, 7(5)79--92, 9(4)105--112,
10(7)91--103, 11(3)83--90, 13(5)43--47, 14(1)50--60, 14(2)58--67,
16(2)39--49, 23(1)11--11, 27(3)27--40, 28(1)24--30, 31(3)1--2,
34(3)17--18, 36(2)31--38, 42(1)41--42, 42(2)104--108
-
stream, 0(0)11--20, 5(1)55--60, 7(3)84--93, 7(7)55--76, 9(2)118--128,
16(1)46--53, 21(2)53--64, 27(2)82--87, 29(1)62--64, 29(3)21--22,
29(3)105--114
-
stream, multiple-data-, 7(7)55--76
-
stream, Multiple-instruction-, 7(7)55--76
-
streaming, 42(1)41--42
-
strength, 23(1)1--9, 27(3)100--100, 33(3)43--46
-
strengthened, 30(1)135--146
-
stress, 29(3)45--60, 38(2)58--63, 41(2)81--85
-
strict, 13(4)44--48, 13(4)49--62, 32(3)15--22, 42(1)81--85
-
strictly, 0(0)141--155
-
strides, 31(3)47--60
-
strike, 31(3)69--74, 31(3)81--90
-
string, 1(4)46--54, 6(1)63--71, 8(3)87--97, 9(4)103--104, 9(7)85--90,
10(7)70--84, 11(3)73--82, 13(5)43--47, 28(1)24--30, 29(1)29--32,
32(3)95--96, 37(2)30--31, 42(1)54--57
-
string, dynamic-, 13(5)32--42
-
stringent, 31(3)69--74
-
strip, comic-, 31(2)40--43
-
Strohmeier, A., 0(0)205--212, 9(2)62--71
-
Strohmeier, A., see Fofanov, V.,
see Genillard, C.
-
Strohmeier, Alfred, 10(6)47--60, 10(7)70--84, 16(2)39--49, 17(1)35--40,
21(3)41--56, 22(4)22--27
-
Strohmeier, Alfred, see Colket, Currie,
see García, Rodrigo García,
see Rybin, Sergey
-
Strohmeier:1990:IBC, 10(6)47--60
-
Strohmeier:1990:OCS, 10(7)70--84
-
Strohmeier:2001:SSC, 21(3)41--56
-
Strom, Rob, 5(2)241--254
-
Strom:1985:VAP, 5(2)241--254
-
strong, 6(1)82--89, 12(5)59--63, 13(4)37--43, 16(3)56--69, 27(1)24--39,
27(3)5--6, 27(3)100--100, 31(2)36--39, 31(2)40--43, 31(3)7--8,
34(3)1--2, 34(3)103--104, 36(1)51--62, 42(2)79--88
-
strongly, 12(5)59--63, 13(3)91--95, 29(3)5--6, 31(3)7--8
-
strongly-typed, 33(3)3--4
-
Strooper, Paul, 18(6)255--262
-
Strooper, Paul, see Hoffman, Daniel
-
structural, 9(2)45--51, 14(z)16--25, 23(1)40--43, 42(1)79, 42(2)69--74
-
structured, 0(0)76--90, 4(1)74--87, 5(1)17--31, 6(4)66--74, 9(5)84--88,
11(4)78--90, 11(5)30--46, 11(5)79--90, 11(9)56--66, 11(9)96--99,
12(5)64--76, 14(z)36--53, 15(2)23--30, 17(1)54--68, 29(3)45--60,
31(3)7--8, 34(3)19--28, 39(2)41--48, 41(1)83--86
-
structured, box-, 11(5)30--46
-
structured, tree-, 32(3)53--62
-
STRUCTURES, 6(3)31--42, 8(2)84--95
-
structuring, 9(6)67--79, 10(4)78--84, 29(1)19--22
-
struggled, 12(1)43--52
-
student, 16(1)58--69, 17(1)54--68, 17(3)17--29, 23(1)45--52, 26(3)29--34,
29(3)87--90, 29(3)91--102, 32(3)13--14
-
student-centered, 36(2)18--21
-
studio, 26(3)15--20, 29(3)91--102, 32(3)3--4, 33(3)7--8
-
study, 0(0)50--61, 0(0)51--66, 2(6)59--62, 3(4)78--91, 4(2)23--35,
6(1)22--28, 6(2)90--91, 6(2)103--103, 7(5)42--50, 7(7)33--54,
9(4)92--102, 9(5)101--108, 10(4)85--96, 10(6)16--17, 10(9)111--117,
10(9)118--125, 11(3)115--124, 12(2)97--101, 12(3)92--98,
13(3)86--87, 17(3)67--86, 17(5)40--44, 17(6)98--107, 18(6)68--74,
23(1)11--11, 26(2)23--37, 26(3)9--14, 26(3)61--70, 29(2)20--27,
29(3)19--20, 29(3)73--78, 33(3)43--46, 34(3)17--18, 36(2)9--17,
36(2)39--46, 40(1)74--78, 40(2)76--91
-
studying, 31(3)39--46, 33(3)21--22
-
style, 0(0)24--39, 1(3)44--61, 3(4)62--69, 3(6)66--78, 3(6)79--94,
6(1)41--48, 6(2)84--84, 6(2)103--103, 6(5)34--44, 7(1)94--96,
7(2)73--84, 8(3)123--127, 10(9)50--59, 11(2)53--55, 11(2)115--127,
12(2)76--90, 15(2)23--30, 17(5)45--50, 31(2)15--22, 32(2)9--16,
37(2)13--17
-
style, SMT-, 32(3)53--62
-
styles, 6(3)31--42, 26(3)51--60, 27(2)82--87
-
stylized, 32(3)27--34
-
sub-language, 29(3)9--10
-
sub-missions, 32(3)15--22
-
sub-problems, 33(3)3--4
-
subclasses, 17(6)47--64, 17(6)70--77
-
subgroup, 11(3)3--7, 11(3)3--z, 11(3)33--z
-
subject, 6(1)20--21, 16(1)18--20, 17(1)54--68, 30(1)86--90, 34(3)47--60,
42(1)86--89
-
subjective, 0(0)50--61
-
Sublanguages, 2(6)53--58
-
submission, 34(3)47--60
-
submitted, 32(3)9--10
-
subprogram, 0(0)40--49, 9(2)102--105, 9(4)103--104, 10(2)64--83,
11(1)57--70, 11(9)116--127, 16(4)57--72, 17(6)32--38, 17(6)39--46,
29(1)29--32, 33(2)14--32
-
subprogram, access-to-, 29(2)46--49
-
subroutine, 4(6)49--59, 5(1)79--88, 11(7)274--284, 13(1)63--75,
14(3)80--90, 16(4)57--72, 17(3)17--29, 31(3)27--34
-
subscribe, 16(1)18--20, 23(1)11--11
-
subscription, 16(1)18--20
-
subsection, 29(3)23--30
-
subsequently, 35(2)14--14
-
subset, 14(1)50--60, 14(2)58--67, 17(5)83--87, 23(1)40--43, 27(3)89--96,
29(3)17--18, 31(3)39--46, 31(3)47--60, 31(3)81--90, 33(3)1--2,
33(3)21--22, 33(3)37--40, 33(3)43--46, 34(3)5--12, 34(3)61--68
-
subsetting, 27(3)2--2
-
substantial, 0(0)16--23, 13(1)63--75, 23(1)11--11, 29(3)19--20,
33(2)59--65, 33(3)9--10, 33(3)65--84
-
substantially, 12(6)75--80, 36(2)54--57
-
substitutability, 29(3)45--60
-
substrate, 32(3)51--52
-
substructure, 17(3)57--66, 33(3)43--46
-
subsystem, 10(1)83--91, 10(5)88--100, 12(3)92--98, 12(5)47--58,
13(2)44--53, 23(1)11--11, 29(3)127--132, 33(2)33--39, 33(3)51--64,
36(2)54--57, 38(1)41--54, 38(1)74--76
-
subtle, 9(2)72--77, 26(2)23--37
-
subtype, 10(9)29--30, 17(6)78--90, 37(2)27--29, 37(2)30--31
-
subtyping, 31(3)7--8
-
Subunits, 12(3)99--109
-
subvert, 29(2)65--67
-
succeed, 12(1)43--52
-
success, 12(1)53--64, 27(3)59--62, 27(3)99--99, 28(1)92--95,
29(3)119--120, 33(1)15--23, 34(3)1--2
-
successful, 12(1)43--52, 20(4)50--63, 33(3)9--10, 34(3)3--4, 34(3)71--80,
36(2)18--21, 40(1)64--73
-
successfully, 23(1)11--11, 33(3)9--10, 41(1)44--63
-
successive, 0(0)62--76
-
succinct, 33(3)3--4
-
Suchan, W., 0(0)31--36
-
Suchan:1997:UAT, 0(0)31--36
-
sufficient, 0(0)102--118, 13(3)39--41, 26(2)23--37, 27(3)59--62,
27(3)89--96, 31(3)7--8, 31(3)69--74, 32(3)15--22, 32(3)73--80,
33(2)109--114, 36(2)54--57
-
suggest, 0(0)16--23, 0(0)24--39, 12(2)43--56, 12(6)81--87, 27(3)89--96,
30(1)104--115
-
suggested, 10(9)94--102, 12(2)57--61
-
suggestions, 13(5)32--42, 27(2)82--87, 35(2)15--21
-
suit, 0(0)77--89
-
suitability, 0(0)91--97, 17(5)65--70, 27(3)2--2
-
suitable, 13(6)66--158, 27(3)75--78, 29(3)9--10, 29(3)31--44,
32(3)53--62, 33(3)21--22
-
suite, 0(0)77--89, 9(1)147--160, 10(3)72--90, 10(3)91--97, 10(3)101--110,
10(3)111--125, 10(3)139--145, 10(3)146--210, 10(3)211--216,
10(3)217--229, 11(3)137--146, 11(3)z--z, 11(7)180--216,
11(7)217--243, 13(4)71--76, 21(4)117--126, 31(3)27--34, 31(3)75--80,
32(3)103--104, 33(3)15--18
-
suited, 26(3)21--28, 27(3)3--3, 29(3)61--72, 33(1)64--83, 33(3)23--36
-
Sum, Klaus, 10(2)64--83
-
Sum, Klaus, see Bär, Dieter
-
Sumate, Ken, 7(7)33--54, 8(2)55--76
-
Sumate:1987:ECS, 7(7)33--54
-
Sumate:1988:TAP, 8(2)55--76
-
summarises, 36(1)29--34
-
summarize, 17(3)3--16, 26(1)18--24, 27(3)2--2, 30(1)147--151,
33(3)65--84, 35(1)46--58
-
summarized, 12(6)75--80, 17(1)54--68, 27(2)96--97
-
summary, 1(3)34--43, 2(4)84--87, 6(2)77--78, 8(1)91--107, 8(4)103--118,
8(4)104--118, 11(3)9--17, 11(3)37--46, 12(4)12--z, 12(5)15--z,
12(6)16--z, 13(2)12--z, 13(2)20--z, 13(2)21--36, 13(3)15--z,
13(5)12--z, 13(6)28--z, 14(2)16--z, 14(3)14--z, 14(6)73--76,
14(z)85--92, 14(z)99--103, 14(z)104--108, 14(z)109--112,
15(5)34--45, 17(5)5--7, 17(5)8--10, 17(5)11--15, 17(5)16--17,
19(2)10--11, 19(2)12--14, 19(2)15--18, 19(2)19--20, 21(1)5--8,
21(1)14--16, 21(1)18--19, 22(4)113--119, 22(4)120--122,
22(4)128--130, 22(4)131--131, 23(4)11--12, 23(4)13--15, 23(4)96--96,
26(1)25--30, 27(2)96--97, 29(3)3--4, 30(1)147--151, 30(1)152--161,
32(3)63--70, 33(1)9--14, 33(1)134--137, 33(1)138--145,
33(1)146--149, 33(1)150--156, 33(2)115--122, 33(2)123--125,
33(2)126--130, 33(2)131--132, 34(3)17--18, 34(3)105--106,
35(1)95--96, 35(1)97--101, 35(1)102--104, 36(1)83--90, 36(1)91--93,
36(1)94--97, 36(1)98--100, 36(1)101--102, 36(1)103--106,
38(1)58--60, 38(1)61--61, 38(1)62--65, 38(1)66--69, 38(1)70--73,
38(1)74--76, 38(1)77--78, 42(1)61--64
-
summer, 0(0)viii--171, 12(2)33--z, 15(3)35--z, 29(1)69--69
-
summer., 29(1)70--70
-
summit, 27(3)101--107
-
Sun, 17(5)93--99, 21(1)18--19, 27(3)79--82
-
Sun3, 11(2)107--114
-
Sun4, 11(2)107--114
-
Sunday, 19(1)42--47
-
Suonio, Reino, Kurki-, 7(6)110--112
-
Su(per)btypes, 37(2)27--29, 37(2)30--31, 37(2)32--33
-
supercomputer, 40(2)73--75
-
superior, 17(3)3--16, 32(3)43--50
-
superlinear, 40(2)65--69
-
supertyping, 12(2)76--90
-
supervisor, 0(0)1--9, 5(2)329--342, 7(2)102--117, 7(3)94--106,
23(1)11--11, 33(1)128--133
-
supervisory, 12(2)62--75, 12(6)81--87, 13(5)32--42, 14(1)61--67,
17(5)45--50, 23(1)11--11, 32(3)51--52
-
supplement, 18(0)xii--293, 29(3)103--104, 31(3)5--6
-
supplied, user-, 10(9)141--146
-
suppliers, 0(0)xvi--431, 8(3)69--80, 8(6)35--48, 17(5)27--32,
33(3)43--46
-
supportable, 35(1)26--31
-
supported, 23(1)11--11, 26(2)48--59, 26(2)60--68, 27(1)24--39,
27(3)75--78, 30(1)16--25, 30(1)62--67, 32(3)23--24, 33(1)32--44,
33(2)49--58, 33(2)59--65, 35(1)32--37, 35(1)74--79, 38(1)41--54,
38(1)74--76, 39(2)35--40, 40(2)70--72, 40(2)96--102
-
supported, formal-methods-, 31(3)47--60
-
supported, non-, 29(3)23--30
-
supported, tool-, 11(9)100--115
-
supporting, 0(0)50--61, 6(2)84--84, 8(7)113--117, 9(1)147--160,
10(9)50--59, 18(6)89--103, 23(1)27--29, 29(3)45--60, 29(3)127--132,
30(1)16--25, 31(3)3--4, 32(3)11--12, 32(3)43--50, 33(1)84--92,
33(2)109--114, 33(3)11--12, 33(3)21--22, 33(3)41--42, 34(3)61--68,
34(3)97--102, 42(2)45--54, 42(2)99--103
-
Suppose, 27(3)11--26
-
supposed, 13(3)86--87, 32(3)9--10
-
suppress, 29(2)65--67, 32(3)97--102
-
suppressed, 29(2)65--67, 32(3)97--102
-
surprising, 34(3)47--60
-
surprisingly, 37(2)37--39
-
surrounding, 12(2)57--61
-
Surveillance, 19(3)181--182, 27(3)69--70
-
survey, 2(3)32--33, 2(4)61--63, 4(4)32--37, 7(5)34--39, 9(2)78--89,
11(1)82--91, 12(5)14--z, 19(3)229--242, 33(3)65--84
-
Survivable, 3(3)79--87
-
survival, 0(0)24--39
-
surviving, 32(3)95--96
-
suspending, 10(1)97--99
-
suspends, 26(3)9--14
-
suspension, 33(2)97--108
-
sustain, 0(0)24--39
-
sustaining, 27(3)69--70
-
SW, 36(2)9--17
-
swallowing, 0(0)16--23
-
Sward, Ricky, 30(3)9--10, 33(3)11--12
-
Sward, Ricky, see Boleng, Jeff,
see Cicalese, Cindy
-
Sward, Ricky E., 22(3)42--47, 23(1)22--26, 24(1)10--16, 24(1)68--70,
24(4)29--34, 25(4)17--22, 26(3)45--50, 27(3)4--4, 27(3)63--68,
29(3)11--12, 29(3)15--16, 29(3)121--126, 30(3)71--74, 31(3)3--4,
32(3)11--12
-
Sward, Ricky E., see Carlisle, Martin C.,
see Cicalese, Cynthia
-
Sward:2004:AAP, 24(1)10--16
-
Sward:2004:CAU, 24(1)68--70
-
Sward:2004:REG, 24(4)29--34
-
Sward:2005:OSP, 25(4)17--22
-
Sward:2006:DSC, 26(3)45--50
-
Sward:2007:SEA, 27(3)4--4
-
Sward:2007:UAS, 27(3)63--68
-
Sward:2009:GIU, 29(3)121--126
-
Sward:2009:SOA, 29(3)15--16
-
Sward:2010:RFP, 30(3)71--74
-
Sward:2011:SOA, 31(3)3--4
-
Sward:2012:SOA, 32(3)11--12
-
swarm, 40(1)60--63, 40(1)64--73
-
Sweden, 18(4)111--113
-
SweetAda, 42(1)50--53
-
SWIM, 30(3)33--34, 40(2)70--72
-
switch, 17(3)30--35, 26(3)9--14, 26(3)35--42, 32(3)97--102, 35(1)9--16,
37(2)40--42
-
switched, 31(3)37--38
-
Syiek, David, 15(6)67--69
-
Syiek:1995:CVA, 15(6)67--69
-
symbiosis, 23(1)44--44
-
symbiotic, 22(3)24--41
-
symbol, 9(1)47--70, 13(5)22--31, 13(5)43--47, 16(3)56--69, 18(6)217--218
-
symbolic, 14(2)68--79, 31(3)47--60, 32(3)3--4, 33(3)3--4, 33(3)15--18,
36(2)60--68
-
SymExe, 31(3)47--60
-
Symm, G. T., 4(3)44--52
-
Symm, G. T., see Kok, J.
-
symmetric, 27(3)59--62
-
symmetry, 36(2)47--48
-
symposium, 0(0)viii--171, 0(0)336, 5(3)16--18, 11(3)z--z, 13(1)35--59,
13(1)35--z, 14(0)ix--118, 15(0)vii--242
-
Symposiumash, 0(0)viii--171
-
sync, 26(3)71--74
-
synchronisation, 9(6)67--79, 9(6)80--89, 9(6)104--107, 12(5)84--95,
12(6)59--74, 13(4)37--43, 14(5)71--79, 15(1)50--63, 17(2)29--54,
17(5)88--92, 17(6)19--31, 36(1)35--38
-
synchronization, 8(5)61--70, 8(7)20--31, 9(2)72--77, 9(2)90--101,
9(2)106--117, 9(4)87--91, 9(4)105--112, 9(6)80--89, 9(6)104--107,
11(6)49--53, 12(4)24--35, 12(6)59--74, 12(6)75--80, 13(2)91--96,
14(5)71--79, 15(1)50--63, 17(2)29--54, 17(5)35--39, 17(5)88--92,
17(6)19--31, 19(1)66--96, 19(3)211--220, 23(1)53--56, 26(2)23--37,
26(3)35--42, 27(1)24--39, 27(3)41--50, 29(3)61--72, 31(2)33--35,
31(3)15--16, 32(3)73--80, 33(1)169--179, 33(2)66--74, 37(1)9--25,
38(1)19--28, 41(1)87--91
-
synchronization/communication, 17(5)33--34
-
synchronize, 38(1)19--28
-
synchronized, 12(2)97--101, 25(4)41--48, 41(2)66--70
-
synchronizing, 38(1)19--28
-
synchronous, 10(4)57--65, 27(2)90--95, 36(1)35--38, 38(1)19--28
-
synopsis, 30(2)27--52
-
syntactic, 10(4)57--65, 17(3)3--16, 17(6)65--69, 29(3)127--132
-
syntax, 0(0)187--200, 2(4)64--67, 5(1)71--78, 11(1)57--70, 13(5)43--47,
14(1)50--60, 29(1)25--26, 29(1)27--28, 29(1)50--50, 29(3)1--2,
29(3)91--102, 31(3)9--10, 33(2)14--32, 33(3)21--22, 34(3)87--96,
36(1)83--90, 41(1)83--86
-
Syntax-Analyser-G, 11(1)57--70
-
SYNTAX_ANALYSER_G, 11(1)57--70
-
syntaxis, 8(7)65--79
-
synthesis, 14(z)3--15, 33(3)3--4, 36(2)47--48
-
synthetic, 4(2)23--35, 10(3)126--136
-
SysML, 33(3)43--46, 34(3)61--68
-
/System, 11(1)70--81
-
system, alert-, 17(2)63--66
-
system, inter-, 10(3)101--110, 10(3)111--125
-
system, intra-, 10(3)111--125
-
System-3, 0(0)119--123
-
system-critical, 16(6)55--72
-
system-level, 29(2)15--19, 34(3)29--38, 36(2)27--30, 42(2)32--39
-
System-Oriented, 0(0)56--59
-
System-to-, 40(1)74--78
-
system., 27(3)5--6
-
SystemAda, 29(1)19--22, 29(2)15--19, 31(2)15--22, 32(1)13--18,
32(2)9--16, 33(1)157--168
-
systematic, 11(2)107--114
-
systematically, 28(1)52--58, 38(2)9--42
-
SystemC, 29(1)19--22, 29(2)15--19, 31(2)15--22, 32(1)13--18, 32(2)9--16,
33(1)157--168, 36(2)9--17
-
systems., 27(2)82--87, 27(3)8--8, 29(3)9--10
-
systemsC6140D, 17(5)77--82
-
Szabó, Tamás, 34(3)13--16
-
Szabo:2014:MEL, 34(3)13--16
-
Szarek, V., 7(2)58--72
-
Szarek, V., see Carr, P.