Index file section S for sigada.bib

Last update: Thu Jun 13 02:08:33 MDT 2024

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, 43(1)37--41
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, 43(1)73--77
safety, stack-, 31(3)27--34
Safety-Critical, 27(3)2--2, 36(1)51--62, 43(1)50--53, 43(1)83--87
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, 43(1)46--49, 43(1)50--53
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
Scheuchenstuhl, D., 43(1)58
Scheuchenstuhl, D., see Denzler, P.
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, 43(1)94--99
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, 43(1)73--77
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
Senn, E., 43(1)64--68
Senn, Eric, 43(1)37--41
Senn, Eric, see Singhoff, Frank
Senn:2023:MRB, 43(1)64--68
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, 43(1)73--77
sensitive, latency-, 40(2)65--69
sensitivity, 12(2)97--101
sensor, 15(4)19--21, 31(3)15--16, 42(1)86--89, 43(1)83--87
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, 43(1)64--68
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, 43(1)46--49
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, 43(1)111--117
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, 43(1)78--82
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
Simulinkash, 43(1)46--49
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, 43(1)37--41
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
Singhoff:2023:AWS, 43(1)37--41
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
slowly, 43(1)58
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-Based, 43(1)73--77
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, 43(1)73--77
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, 43(1)83--87
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
Souto, André, 43(1)73--77, see Ferreira, José
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, 43(1)54--57
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, 43(1)88--93
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, 43(1)83--87
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
stakeholders, 43(1)37--41
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, 43(1)46--49
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, 43(1)58
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, 43(1)37--41
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, 43(1)100--105
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
struggling, 43(1)50--53
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, 43(1)69--72
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
Sub-Systems, 43(1)42--45
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, 43(1)100--105
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, 43(1)59--63
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, 43(1)83--87
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, 43(1)37--41
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, 43(1)88--93
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, 43(1)42--45
/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, Sub-, 43(1)42--45
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.