Index file section B for sigada.bib

Last update: Fri Aug 30 02:14:35 MDT 2024

Return to index directory

B

B, 27(3)101--107
b, 31(3)47--60
B-tests, 10(3)72--90
B-tree, 6(2)29--40
B.3.2, 6(3)31--42
B6120B, 17(1)41--53
Babuji, Yadu, 40(2)73--75
Babuji, Yadu, see Chard, Kyle
Bach, Ivan, 2(3)38--50, 4(3)37--43
Bach:1982:TCA, 2(3)38--50
Bach:1984:UIR, 4(3)37--43
back, 12(1)53--64, 26(3)71--74, 27(3)100--100, 29(1)70--70, 29(3)87--90, 31(3)37--38, 32(3)11--12, 32(3)25--26, 33(3)11--12, 34(3)1--2, 35(1)9--16, 38(1)19--28, 39(2)25--28
Back, Ralph, 7(6)110--112
back-end, 33(1)64--83
Back:1987:NPD, 7(6)110--112
backed, 29(3)31--44
backend, 23(1)11--11
Backes, John, 34(3)19--28
Backes, John, see Gacek, Andrew
background, 12(2)62--75, 17(3)17--29, 27(3)2--2, 27(3)5--6, 27(3)8--8, 31(3)35--36, 32(3)9--10, 39(1)71--71
backward, 10(9)29--30
Bagatelles, 1(4)24--26
Bagert, Donald J., 18(1)54--64
Bagert:1998:UAT, 18(1)54--64
Bagge, Anya Helene, 34(3)71--80
Bagge:2014:SGA, 34(3)71--80
Bagnato, A., 40(1)60--63
Bagnato, A., see Schranz, M.
Bagnato, Alessandra, 42(2)99--103, 42(2)104--108
Bagnato:2022:AAM, 42(2)99--103
Bagnato:2022:MOD, 42(2)104--108
Bail, William, 21(3)8--10, 30(3)1--2
Bail:2001:EP, 21(3)8--10
Bail:2010:ERE, 30(3)1--2
Bailey, D., 14(z)3--15
Bailey, D., see Buhr, R. J. A.
Bailey, John, 2(1)58--61, 4(1)32--39, 17(3)67--86
Bailey, John, see Basili, Victor R., see Basili, Victor, \see{Waligora, Sharon
Baird III, Leemon C., 27(3)71--74
Baird III, Leemon C., see Carlisle, Martin C.
Baird, III, Leemon C., 25(4)17--22
Baird, III, Leemon C., see Sward, Ricky E.
Baird, Stephen, 30(2)27--52, 42(1)79
Baird, Stephen, see Burns, Alan, see Taft, S. Tucker
Baize, Eric, 39(1)17--19
Baize:2020:SO, 39(1)17--19
Bakar, 31(3)47--60, 32(3)3--4
Baker, 27(2)18--22, 30(1)116--124, 33(1)32--44
Baker, Henry G., 11(5)79--90, 11(9)116--127, 13(3)91--95, 13(5)43--47
Baker, Jr., Henry G., 13(5)32--42
Baker, P., 12(6)46--z
Baker, Paul L., 6(4)66--74, 10(1)83--91
Baker, T., 10(9)60--64
Baker, T. P., 0(0)79--90, 5(2)329--342, 14(z)54--73, 17(3)36--44
Baker, T. P., see Giering, III, E. W., see Oh, D.-I., \see{Riccardi, G. A.
Baker, Ted, 7(6)85--87, 8(7)50--56, 10(4)119--135, 10(4)136--143, 10(9)17--28, 11(6)54--60, 17(5)5--7
Baker, Ted, see Burns, Alan
Baker, Ted P., 0(0)141--146, 8(2)110--112, 9(5)84--88
Baker, Ted P., see Harmon, Marion G., see Wu, Y. C.
Baker, Theodore P., 19(2)96--103
Baker, Theodore P., see Shen, Hongfeng
Baker:1986:TSD, 6(4)66--74
Baker:1987:ARS, 7(6)85--87
Baker:1987:LTP, 0(0)141--146
Baker:1988:IIA, 8(7)50--56
Baker:1990:APL, 10(1)83--91
Baker:1990:FST, 10(4)136--143
Baker:1990:OAT, 10(9)60--64
Baker:1990:PRT, 10(9)17--28
Baker:1990:TIW, 10(4)119--135
Baker:1991:OOP, 11(9)116--127
Baker:1991:SPL, 11(5)79--90
Baker:1991:TRI, 11(6)54--60
Baker:1992:RLT, 12(6)46--z
Baker:1993:HSL, 13(3)91--95
Baker:1993:SLE, 13(5)43--47
Baker:1993:SLR, 13(5)32--42
Baker:1997:LLA, 17(3)36--44
Baker78, 13(5)32--42
Baker91SP, 13(5)32--42
Baker92Tread, 13(5)32--42
Bal, Henri E., 15(1)50--63
Bal:1995:CDS, 15(1)50--63
Balador, Ali, 42(2)92--95, 42(2)96--98
Balador, Ali, see John, Wolfgang
Balador:2022:DPD, 42(2)96--98
Balance, 10(3)38--58
balances, 34(3)103--104
balancing, 31(3)27--34
Balfour, B., 0(0)247--262
Balfour, Brad, 14(5)65--70, 15(3)71--75, 15(4)29--35, 19(3)223--223
Balfour:1994:ATT, 14(5)65--70
Balfour:1995:EDI, 15(3)71--75
Balfour:1995:ICL, 15(4)29--35
Balfour:1997:AJB, 0(0)247--262
Balfour:1999:CSC, 19(3)223--223
Ball, Thomas, 34(3)69--70
Ball:2014:CCL, 34(3)69--70
Ballbastre, P., 19(3)145--155
Ballbastre:1999:EUA, 19(3)145--155
Ballesteros-Camara, F. J., 0(0)105--112
Ballesteros-Camara, F. J., see Gonzalez-Barahona, J. M.
ballistic, 32(3)63--70
Ballistics, 2(5)60--61, 4(3)25--36
Bamberger, Judy, 9(7)91--101, 10(6)68--83
Bamberger, Judy, see Van Scoy, Roger
bandwidth, 14(1)38--49
Banking, 14(4)72--75
Bär, Dieter, 10(2)64--83
Bar:1990:SAA, 10(2)64--83
Barahona, J. M., Gonzalez-, 0(0)105--112
Barahona, J., Gonzalez-, 0(0)21--30
Barahona, Jesús M., González-, 19(2)73--77
Barbacci, M. R., 5(2)343--354
Barbacci:1985:AFE, 5(2)343--354
Barbaria, Khaled, 26(3)51--60
Barbaria:2006:SMS, 26(3)51--60
Barbosa, R., 23(4)74--81
Barbosa, R., see Maia, R.
Bardaro, Gianluca, 43(1)37--41, 43(1)59--63
Bardaro, Gianluca, see Singhoff, Frank
Bardaro:2023:MRA, 43(1)59--63
Bardin, B., 9(1)47--70
Bardin, Bryce, 8(1)58--79
Bardin, Bryce M., 5(2)217--228, 5(3)45--56, 5(3)61--62, 8(2)39--54
Bardin:1985:DPA, 5(3)45--56
Bardin:1985:RSU, 5(3)61--62
Bardin:1985:SRA, 5(2)217--228
Bardin:1988:CAS, 8(1)58--79
Bardin:1988:URE, 8(2)39--54
Bardin:1989:IUI, 9(1)47--70
bare, 27(2)61--66, 33(1)45--52
bare-board, 30(1)33--44
bare-metal, 37(2)43--50
Barkataki, Shan, 18(6)148--151, 29(3)115--118
Barkataki, Shan, see Dinh, Tong
Barkataki:1998:RLS, 18(6)148--151
Barkstrom, Bruce R., 21(4)27--30, 29(3)61--72
Barkstrom:2001:ABN, 21(4)27--30
Barkstrom:2009:UAS, 29(3)61--72
Barnes, 5(2)1--13, 5(2)14--24, 5(2)25--40, 5(2)41--57, 5(2)58--71, 5(2)72--84, 5(2)85--96, 5(2)97--108, 5(2)109--123, 5(2)124--135, 5(2)136--150, 5(2)151--163, 5(2)164--172, 5(2)173--184, 5(2)185--196, 5(2)197--209, 5(2)210--216, 5(2)217--228, 5(2)229--240, 5(2)241--254, 5(2)255--274, 5(2)275--284, 5(2)285--296, 5(2)297--308, 5(2)309--320, 5(2)321--328, 5(2)329--342, 5(2)343--354, 5(2)355--366, 17(2)63--66, 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, 34(3)3--4
Barnes, Gary, 17(1)35--40
Barnes, Gary, see Colket, Currie
Barnes, John, 8(7)z--99999999, 13(6)61--132, 15(1)39--49, 18(2)36--41, 20(4)69--79, 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, 30(2)27--52, 34(3)1--2, 34(3)3--4
Barnes, John, see Burns, Alan
Barnes, John G. P., 27(3)1--1, 27(3)3--3
Barnes:1987:PIW, 0(0)vi--130
Barnes:1988:SIW, 8(7)z--99999999
Barnes:1993:IA, 13(6)61--132
Barnes:1995:ARO, 15(1)39--49
Barnes:1998:UAP, 18(2)36--41
Barnes:2000:SWC, 20(4)69--79
Barnes:2007:SIBa, 27(3)1--1
Barnes:2007:SIBb, 27(3)3--3
Barnes:2009:GSSa, 29(1)45--47
Barnes:2009:GSSb, 29(1)50--50
Barnes:2009:GSSc, 29(1)53--53
Barnes:2009:GSSd, 29(1)57--57
Barnes:2009:GSSe, 29(1)61--61
Barnes:2009:GSSf, 29(1)65--65
Barnes:2009:GSSg, 29(1)69--69
Barnes:2009:GSSh, 29(1)70--70
Barnes:2009:GSSi, 29(1)74--74
Barnes:2009:GSSj, 29(1)77--77
Barnes:2009:GSSk, 29(1)80--80
Barnes:2009:GSSl, 29(2)36--36
Barnes:2014:AAL, 34(3)3--4
Barnes:2014:ASA, 34(3)1--2
Barnum, Sean, 28(1)88--91
Barnum, Sean, see Martin, Robert A.
Barowski, L. A., 0(0)135--140
Barowski, L. A., see Dean Hendrix, T.
Barowski, Larry A., 18(1)70--77, 18(5)51--56, 18(6)142--147
Barowski, Larry A., see Hendrix, T. Dean
Barrett, Stephen C., 34(3)29--38
Barrett, Stephen C., see Ahmad, Ehsan
barrier, 12(6)75--80, 15(4)46--49, 30(1)62--67, 32(3)3--4, 36(1)35--38, 38(1)19--28
Barros, António, 33(1)84--92, 40(1)85--90, 42(2)114--118, see Nogueira, Luis, \see{Sousa, Rita
Barros:2013:RTA, 33(1)84--92
Barry, Brian M., 14(z)26--35
Barry:1994:DSS, 14(z)26--35
Bartholomew, Redge, 28(1)83--87
Bartholomew:2008:ESS, 28(1)83--87
Basagiannis, Stylianos, 43(1)94--99
Basagiannis, Stylianos, see Malaquias, Felipe Lisboa
Basdell, Brayan, 8(6)57--71
Basdell, Brayan, see Parsian, Mahmoud
BASE, 35(2)14--14
base, 0(0)viii--171, 0(0)1--9, 0(0)102--118, 0(0)141--155, 14(3)74--79, 19(1)64--65, 21(4)81--90, 27(3)11--26, 27(3)99--99, 29(3)3--4, 29(3)87--90, 31(3)47--60
based, actor-, 34(3)97--102
Based, Ada-, 8(4)103--118, 8(4)104--118
based, Ada-, 0(0)40--49, 11(5)30--46, 13(5)22--31, 16(5)35--47
Based, Ada-, 11(5)30--46, 42(1)50--53
based, Ada-, 16(5)35--47
BASED, APPLICATION-, 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
based, architecture-, 21(4)127--128
based, ASIS-, 17(6)65--69
based, Asis-, 37(1)9--25
Based, ASIS-, 18(6)12--17
based, ASIS-, 17(6)65--69
based, attribute-, 23(4)36--41
based, BMC-, 33(3)9--10
based, C-, 13(5)22--31
based, code-, 28(1)88--91
Based, Component-, 29(3)45--60
based, component-, 27(3)51--58, 29(3)7--8, 29(3)31--44, 29(3)45--60, 33(3)43--46
based, computer-, 17(6)32--38, 17(6)39--46
Based, Contract-, 36(2)27--30
based, CORBA-, 26(3)51--60
based, Event-, 22(1)11--16
based, Evidence-, 40(1)53--59
based, evidence-, 32(3)3--4, 40(1)53--59
based, ground-, 29(3)103--104
Based, Hardware-, 37(2)43--50
based, inheritance-, 14(1)50--60, 14(2)58--67
Based, Interface-, 8(4)70--82
based, interface-, 8(4)70--82
based, Key-, 28(1)38--40
based, key-, 28(1)38--40
Based, Knowledge-, 12(2)28--z
based, language-, 11(3)49--60, 38(2)64--68
based, line-, 21(4)39--46
based, Lock-, 33(2)59--65
based, lock-, 33(1)84--92
based, metamodel-, 27(2)53--58
Based, Model-, 31(3)5--6, 36(2)54--57, 42(2)99--103
based, Model-, 42(2)32--39, 42(2)45--54
based, model-, 29(3)7--8, 31(3)61--68, 33(1)64--83, 33(3)41--42, 33(3)43--46, 34(3)17--18, 34(3)29--38, 43(1)54--57
based, MPU-, 37(2)43--50
based, network-, 14(z)26--35
Based, Object-, 10(7)91--103, 11(5)62--78
based, object-, 10(7)91--103, 11(5)62--78, 14(3)61--73
based, PC-, 0(0)viii--171, 0(0)1--9
based, PC-, 0(0)1--9
based, pre/post-, 34(3)71--80
based, priority-, 36(1)68--76, 38(1)41--54, 38(1)74--76
based, Python-, 29(3)91--102
based, region-, 36(1)51--62
based, Scenario-, 40(1)79--84
based, scope-, 32(3)15--22
based, script-, 23(1)12--21
Based, Socket-, 21(2)53--64
Based, Software-, 43(1)73--77
based, standards-, 33(3)43--46
based, tool-, 28(1)88--91
based, transaction-, 12(2)97--101
based, transition-, 14(z)16--25
based, turn-, 42(1)41--42
based, type-, 31(2)36--39, 31(2)40--43
based, UDP-, 34(3)81--86
based, VM-, 40(2)65--69
based, Web-, 18(2)81--88, 18(6)68--74
Based, Web-, 18(6)68--74
Baseline, 10(6)84--96, 10(8)130--144
basic, 4(3)44--52, 7(3)73--83, 11(7)9--46, 11(7)91--130, 11(7)131--139, 11(7)166--179, 13(6)133--161, 14(3)39--60, 14(3)105--112, 14(5)80--87, 17(2)55--62, 23(1)45--52, 27(3)5--6, 27(3)7--7, 27(3)8--8, 27(3)11--26, 29(3)1--2, 29(3)13--14, 31(2)52--55, 31(3)9--10, 32(1)13--18, 32(3)9--10, 32(3)25--26, 33(1)157--168, 33(2)66--74, 33(3)65--84, 36(2)22--26, 42(2)79--88
Basili, Victor, 2(1)58--61
Basili, Victor R., 4(1)32--39
Basili:1982:MAS, 2(1)58--61
Basili:1984:MAS, 4(1)32--39
basis, 0(0)60--64, 0(0)90--101, 0(0)263--272, 3(4)78--91, 13(6)133--161, 27(3)8--8, 32(3)23--24, 33(3)49--50
Baskette, Jerry, 6(2)86--90
Baskette:1986:LCA, 6(2)86--90
Bassman, Mitchell J., 5(2)151--163
Bassman:1985:AEP, 5(2)151--163
Basson, H., 0(0)156--171
Basson:1991:QTE, 0(0)156--171
BATCES, 13(6)133--161, 14(3)39--60
Battaglia, D., 0(0)113--116
Battaglia, David, 18(1)78--85
Battaglia:1997:RAT, 0(0)113--116
Battaglia:1998:ARS, 18(1)78--85
battle, 32(3)63--70
Bayan, R., 10(9)50--59
Bayan, R., see Atkinson, C.
Bayan, Rami, 7(6)93--96
Bayan, Rami, see Landwehr, Rudolf
BBP, 36(2)22--26
beam, 23(1)11--11
beam, 192-, 23(1)11--11
beamlines, 23(1)11--11
bear, 32(3)27--34
beasts, 37(2)40--42
beat, 37(2)34--36
beauty, 28(1)45--47, 31(3)17--18
because, 0(0)90--101, 26(3)71--74, 27(3)99--99, 29(3)17--18, 29(3)61--72, 30(1)125--134, 31(3)7--8, 31(3)13--14, 31(3)19--26, 32(1)13--18, 32(3)9--10, 32(3)63--70, 32(3)97--102, 33(1)32--44, 33(1)45--52, 33(1)157--168, 33(3)3--4, 33(3)87--88, 34(3)1--2, 34(3)19--28, 36(2)31--38, 40(1)91--96, 40(2)76--91, 43(1)50--53
Becker, Lee A., 3(2)93--97
Becker:1983:AES, 3(2)93--97
become, 13(3)86--87, 23(1)44--44, 26(2)12--22, 26(3)71--74, 27(3)69--70, 29(2)20--27, 29(3)103--104, 31(3)69--74, 32(3)27--34, 32(3)71--72, 33(2)9--13, 33(2)14--32, 34(3)87--96, 36(1)25--28, 36(2)39--46, 39(2)41--48, 40(1)91--96, 40(2)65--69, 42(1)79, 42(2)69--74, 42(2)79--88, 43(1)73--77
becoming, 27(2)41--47, 27(2)75--81, 27(3)2--2, 27(3)41--50, 29(3)119--120, 29(3)121--126, 30(1)16--25, 31(3)69--74, 33(1)9--14, 39(2)41--48
Before-Elaboration, Access-, 0(0)112--119
began, 0(0)367--375, 17(3)67--86, 32(3)63--70
begin, 27(3)99--99, 29(3)11--12, 36(2)58--59, 41(1)44--63
beginner, 27(3)75--78, 29(3)1--2, 31(3)9--10
beginning, 8(4)83--96, 26(3)29--34, 29(3)91--102, 36(2)58--59, 37(2)34--36
begun, 17(3)67--86, 35(2)15--21
behave, 32(3)3--4
behavior, 9(6)104--107, 9(6)119--126, 10(3)38--58, 11(3)91--101, 11(3)z--z, 11(5)62--78, 12(2)97--101, 14(z)3--15, 27(3)2--2, 27(3)8--8, 29(1)19--22, 29(2)15--19, 31(2)15--22, 31(3)7--8, 32(2)9--16, 32(3)9--10, 33(2)66--74, 33(3)41--42, 33(3)43--46, 33(3)49--50, 33(3)51--64, 34(3)17--18, 34(3)19--28, 34(3)29--38, 34(3)47--60, 35(1)46--58, 36(2)9--17, 37(2)40--42, 42(1)105--105
behavioral, 27(3)27--40, 32(3)3--4, 33(3)43--46, 33(3)51--64, 33(3)65--84, 34(3)29--38, 34(3)105--106
behaviour, 11(3)91--101, 11(5)62--78, 14(1)38--49, 15(5)46--51, 17(5)27--32, 23(1)1--9, 26(2)23--37, 27(2)61--66, 31(3)1--2, 31(3)27--34, 33(2)75--86, 33(3)23--36, 34(3)87--96, 35(1)59--73, 36(2)49--53, 36(2)58--59
behavioural, 36(2)49--53
behind, 1(3)62--63, 29(3)103--104, 34(3)61--68, 40(2)48--50
Beidleman, Denise S., 28(1)24--30
Beidleman, Denise S., see O'Leary, Jeff
Beidler, J., 0(0)113--116
Beidler, J., see Battaglia, D.
Beidler, Jack, 17(3)57--66
Beidler, John, 12(2)57--61, 18(1)78--85, 18(2)81--88
Beidler, John, see Battaglia, David, see Petren, John
Beidler:1992:RCA, 12(2)57--61
Beidler:1997:AC, 17(3)57--66
Bein, Edward, 3(4)62--69
Bein:1984:ADJ, 3(4)62--69
being, 0(0)119--123, 0(0)141--155, 12(1)53--64, 12(2)43--56, 13(2)65--77, 13(3)88--90, 14(4)12--15, 17(3)57--66, 23(1)11--11, 26(2)12--22, 27(2)48--52, 28(1)36--37, 29(1)25--26, 29(2)53--55, 29(3)103--104, 30(1)91--103, 31(2)15--22, 31(2)36--39, 31(2)40--43, 31(3)5--6, 32(2)9--16, 32(3)3--4, 32(3)9--10, 32(3)63--70, 33(1)53--63, 33(1)84--92, 33(3)3--4, 33(3)23--36, 34(3)1--2, 36(1)9--24, 36(2)22--26, 40(1)91--96, 42(2)32--39, 42(2)89--91, 43(1)94--99
Belcredi, D., 3(6)57--65
Belcredi, D., see Dapra, A.
Belgium, 42(1)39--40
believe, 12(6)81--87, 13(2)37--43, 30(1)125--134, 32(3)97--102, 33(3)41--42, 33(3)65--84
Belmont, P. A., 0(0)112--119
Belmont, Peter A., 0(0)57--61
Belmont:1980:TRA, 0(0)57--61
Belmont:1982:APA, 0(0)112--119
belonging, 11(7)244--273
below, 32(3)9--10, 32(3)63--70
Belt, Jason, 31(3)47--60, 32(3)3--4, 33(3)21--22, 42(2)45--54
Belt, Jason, see Courtieu, Pierre, see Hatcliff, John
Belt:2011:ESC, 31(3)47--60
Belt:2012:LEA, 32(3)3--4
Belz, F. C., 0(0)202--212
Belz:1980:MIF, 0(0)202--212
Ben-Ari, M., 10(1)100--103, 10(4)159--165
Ben-Ari, Mordechai, 2(3)34--37, 18(4)101--106, 18(6)204--211
Ben-Ari, Mordechai, see Tzruya, Yoav
Ben-Ari:1982:CFA, 2(3)34--37
Ben-Ari:1990:ARS, 10(4)159--165
Ben-Ari:1990:SWI, 10(1)100--103
Ben-Ari:1998:DFR, 18(4)101--106
bench, Work-, 18(6)165--174
benchmark, 4(2)23--35, 8(3)98--106, 8(5)71--74, 9(4)84--86, 9(5)60--82, 10(3)8--13, 10(3)14--19, 10(3)20--28, 10(3)60--71, 10(3)72--90, 10(3)91--97, 10(3)98--100, 10(3)126--136, 10(3)146--210, 10(3)211--216, 10(3)217--229, 10(8)145--155, 10(9)145--155, 11(4)91--98, 17(5)88--92, 26(3)9--14, 36(2)47--48
benchmarking, 7(3)84--93, 7(5)51--62, 8(7)7--11, 10(3)20--28, 10(3)98--100, 10(8)145--155, 17(5)88--92, 27(3)71--74, 38(1)40--40
beneficial, 8(3)123--127, 23(1)44--44, 31(3)47--60, 39(2)25--28, 42(1)100--104
benefit, 12(1)53--64, 12(2)43--56, 13(2)65--77, 13(2)78--90, 13(6)66--158, 14(2)58--67, 17(1)54--68, 20(4)3--28, 23(1)11--11, 26(3)77--80, 31(2)23--24, 31(2)25--27, 31(2)28--29, 31(3)1--2, 31(3)3--4, 32(3)11--12, 32(3)15--22, 33(3)9--10, 33(3)11--12, 34(3)5--12, 34(3)17--18, 34(3)61--68, 34(3)81--86, 35(1)93--94, 37(2)51--58, 38(1)55--57, 40(1)91--96, 42(1)100--104
Bengel, G. G., 3(5)75--81
Bengel:1984:PA, 3(5)75--81
Bennett, David A., 1(4)9--20
Bennett, P. A., 14(6)73--76
Bennett:1982:HCA, 1(4)9--20
Bennett:1994:SDC, 14(6)73--76
Berard, Edward V., 3(3)33--44, 4(1)45--49, 6(1)29--40
Berard:1983:EA, 3(3)33--44
Berard:1984:AEM, 4(1)45--49
Berard:1986:TSP, 6(1)29--40
Berardinelli, Luca, 42(2)99--103
Berardinelli, Luca, see Bagnato, Alessandra
Berecz, Vic, 4(5)84--89
Berecz:1985:DE, 4(5)84--89
Beretz, Rene, 5(2)229--240
Beretz:1985:DAA, 5(2)229--240
Beringer, Lennart, 32(3)103--104
Beringer:2012:PCC, 32(3)103--104
Bernard, L., 6(3)56--60
Bernard:1986:DRM, 6(3)56--60
Bernardi, Patrick, 35(1)59--73
Bernardi:2015:ICT, 35(1)59--73
Berns, Andrew, 25(4)103--108, 38(2)109--114
Berns:2005:CCA, 25(4)103--108
Berns:2019:MSD, 38(2)109--114
Bernstein, Sheri J., 19(3)169--179
Bernstein:1999:OAF, 19(3)169--179
Berrett, Craig J., 18(6)132--136
Berrett, Craig J., see Albertini, Victor D.
Berry, Daniel M., 6(1)82--89
Berry, R. H., 0(0)119--123
Berry:1986:RUP, 6(1)82--89
Berry:1991:MC, 0(0)119--123
Berthold, J., 7(2)58--72
Berthold, J., see Carr, P.
Berzins, V., 18(5)111--125
Berzins, V., see Shing, M.
besides, 36(1)98--100
best, 17(1)54--68, 17(2)29--54, 23(1)44--44, 27(3)1--1, 27(3)3--3, 27(3)83--88, 31(3)47--60, 32(3)73--80, 33(2)59--65, 36(1)68--76, 39(1)63--70
beta, 17(3)17--29
better, 0(0)305--307, 7(6)85--87, 13(3)86--87, 23(4)16--21, 26(3)77--80, 27(3)89--96, 29(3)119--120, 30(1)147--151, 31(3)81--90, 33(2)40--48, 33(2)66--74, 33(3)41--42, 34(3)71--80, 36(2)22--26, 38(1)55--57
Bever, M., 0(0)z--z
Bever:1982:IED, 0(0)z--z
Beyene, Tewodros A., 39(2)29--34
Beyene:2020:VAP, 39(2)29--34
beyond, 0(0)75--80, 15(6)70--72, 21(4)81--90, 26(3)1--1, 26(3)15--20, 26(3)35--42, 27(2)72--74, 27(2)75--81, 27(3)2--2, 30(3)41--52, 31(3)47--60, 34(3)61--68, 42(2)40--44
Bharill, Nishil, 28(1)76--82
Bharill, Nishil, see Krishnan, R.
Bhayat, Yusuf, 8(6)57--71
Bhayat, Yusuf, see Parsian, Mahmoud
bibliography, 10(6)114--128, 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
Bieman, James M., 16(6)55--72
Bieman, James M., see Hagar, Jon
binary, 8(7)20--31, 11(1)96--101, 13(4)37--43, 17(3)57--66, 28(1)96--102, 32(3)9--10, 37(2)40--42
bind, 29(2)43--45
binder, 17(5)45--50
binding, 0(0)91--104, 8(1)38--51, 8(2)107--109, 8(4)97--103, 9(3)1--341, 9(5)115--122, 10(8)156--160, 10(9)156--160, 11(5)47--61, 12(2)102--110, 12(5)77--83, 13(4)44--48, 17(2)82--91, 17(3)97--108, 21(4)27--30, 25(4)23--30, 27(2)88--89, 27(2)90--95, 27(3)8--8, 29(2)46--49, 29(2)56--60, 29(2)61--62, 29(3)19--20, 43(1)64--68
Biography, 6(1)49--54
biological, 23(1)45--52
biology, 15(2)46--53, 33(3)85--86
biomedical, 23(1)44--44
Birds, 0(0)139--145
Birds-of-a-feather, 27(3)97--98
birth, 35(2)15--21
Bishop, J., 11(1)121--z
Bishop, Judy M., 0(0)235--242, 6(6)49--53, 8(7)97--100
Bishop:1980:EMD, 0(0)235--242
Bishop:1986:CNA, 6(6)49--53
Bishop:1988:TSD, 8(7)97--100
Bishop:1991:DAD, 11(1)121--z
bit, 9(7)85--90, 10(6)47--60, 13(3)88--90, 17(1)41--53, 37(2)18--22
bit, 16-, 17(1)41--53
bit, 32-, 17(1)41--53
bit, 4-, 13(3)88--90
bit, 64-, 17(1)41--53
bit, 8-, 9(7)85--90, 10(6)47--60
Bit, Eight-, 9(7)85--90
bit, eight-, 9(7)85--90
bit-level, 33(3)9--10
bit-numbering, 14(1)27--29
Bjorner, Dines, 0(0)213--222
Bjorner, Dines, see Lovengreen, Hans Henrik
Bjorner, Nikolaj, 33(3)5--6
Bjorner:2013:SMT, 33(3)5--6
Björnfot, Lars, 17(5)40--44, see Dissaux, Pierre
black, 11(5)30--46
Black, Paul E., 27(3)101--107, 30(3)31--32
Black, Paul E., see Fong, Elizabeth
Black:2007:SAS, 27(3)101--107
Blair, J. R. S., 0(0)41--50
Blair, Jean, 26(3)29--34
Blair, Jean, see Markow, Tanya
Blair:1997:UCS, 0(0)41--50
Blake, Stephen, 18(4)111--113
Blake, Steve, 17(1)35--40
Blake, Steve, see Colket, Currie
Blake:1998:ARW, 18(4)111--113
blamed, 32(3)7--8
BlazeNet, 18(6)215--216
Blázquez, V., 12(1)65--72, 14(5)80--87
Blazquez:1992:EDU, 12(1)65--72
Blazquez:1994:AAS, 14(5)80--87
blobs, 11(5)30--46
block, 3(6)48--56, 27(2)48--52, 29(1)54--56, 32(3)15--22, 33(3)43--46, 37(2)23--26, 40(2)51--54, 40(2)55--58
blockchain, 40(1)91--96
blocked, 27(1)24--39, 38(1)19--28
blocking, 8(5)61--70, 8(7)20--31, 38(1)19--28, 41(2)66--70
blocking, acceptance-, 8(5)61--70
blocking, non-, 10(9)31--34, 38(1)19--28
blocking, termination-, 8(5)61--70
blocking_Delay, Non-, 30(1)62--67
Blouin, Dominique, 43(1)37--41, 43(1)69--72
Blouin, Dominique, see Singhoff, Frank
Blouin:2023:IAU, 43(1)69--72
Blum, E. K., 0(0)202--212
Blum, E. K., see Belz, F. C.
BMC, 33(3)9--10, 36(2)47--48
BMC-based, 33(3)9--10
board, 8(4)35--46, 8(4)47--68, 18(6)114--120, 21(4)61--70, 27(2)61--66, 33(1)45--52, 37(2)51--58, 41(1)78--82, 43(1)64--68
Board, Ada, 8(4)47--68
board, bare-, 30(1)33--44
board, On-, 18(6)132--136
board, on-, 15(4)17--18, 36(1)63--67, 42(1)100--104
Board, Task Force on Military Software Defense Science, 8(4)35--46
Bocchino, Robert, 34(3)105--106
Bocchino, Robert L., 34(3)97--102
Bocchino:2014:PSF, 34(3)105--106
Bocchino:2014:SPL, 34(3)97--102
Bodeau, Deborah, 38(2)58--63
Bodeau:2019:CRO, 38(2)58--63
Bodeveix, Jean-Paul, 43(1)50--53
Bodeveix, Jean-Paul, see Yang, Zhibin
body, 9(2)72--77, 13(3)39--41, 13(3)74--85, 16(1)18--20, 33(1)15--23
Boehm, Barry, 19(3)225--226, 19(3)227--227
Boehm, Barry, see Hart, Hal
Boehm:1999:PFC, 19(3)227--227
Boeing, 10(3)101--110, 10(3)101--z, 10(3)111--125, 31(3)69--74
Boeing:1990:ACE, 10(3)101--z
BOF, 27(3)97--98
Boldyreff, Cornelia, 17(6)91--97, 17(6)98--107
Boldyreff, Cornelia, see Kim, Hyoseob
Boleng, Jeff, 31(3)3--4, 32(3)11--12, 33(3)11--12
Boleng, Jeff, see Sward, Ricky E.
Boleng:2013:SOA, 33(3)11--12
Bombardelli, A., 43(1)54--57
Bombardelli:2023:CIC, 43(1)54--57
Bond, Rodney M., 4(1)67--73
Bond:1984:APD, 4(1)67--73
Bondeli, Patrick, de, 7(6)119--120, 8(7)57--60
Bondeli, Patrick de, 17(5)33--34, 17(5)35--39, 19(1)66--96
Bonizzi, A., 43(1)54--57
Bonizzi, A., see Bombardelli, A.
Booch, 11(2)115--127, 17(4)66--73
Booch, Grady, 1(3)64--76, 31(3)17--18
Booch:1982:OOD, 1(3)64--76
Booch:2011:EKL, 31(3)17--18
Boogie, 32(3)25--26
Boogie2, 32(3)25--26
book, 6(2)13--14, 12(4)42--z, 17(6)108--108, 26(1)25--30, 29(2)71--71, 31(2)70--70, 32(3)7--8
booklet, 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
booklet., 29(1)69--69
Boolean, 13(3)88--90, 13(5)22--31
BOOLEAN'SIZE, 13(3)88--90
booleans, 13(3)88--90
boosting, 40(2)48--50
Booth, 0(0)62--76
Bordin, Matteo, 27(2)53--58
Bordin, Matteo, see Pulido, José A.
Bordis, Tabea, 42(2)75--78
Bordis:2022:CCO, 42(2)75--78
Borger, M. W., 10(9)65--69
Borger, Mark, 8(7)7--11
Borger:1988:TIR, 8(7)7--11
Borger:1990:AUP, 10(9)65--69
Borkan, Martha S., 0(0)62--71
Borkan, Martha S., see Sherman, Mark S.
Bosch, Geert, 32(3)73--80, 33(2)66--74
Bosch:2012:SCI, 32(3)73--80
Bosch:2013:LFP, 33(2)66--74
Bossi, A., 2(6)53--58
Bossi:1983:MDA, 2(6)53--58
Boston, 0(0)viii--240, 15(0)vii--242, 34(3)47--60
Botella, Pere, 4(1)50--60
Botella, Pere, see Llamosi, Albert
both, 0(0)102--118, 12(1)43--52, 12(1)65--72, 12(6)75--80, 17(1)41--53, 17(3)36--44, 17(3)67--86, 23(1)45--52, 27(3)89--96, 27(3)97--98, 29(3)17--18, 29(3)19--20, 29(3)45--60, 29(3)85--86, 29(3)119--120, 30(1)91--103, 30(1)135--146, 31(3)75--80, 32(3)5--6, 32(3)27--34, 32(3)73--80, 33(2)9--13, 33(2)33--39, 33(2)49--58, 33(3)23--36, 33(3)43--46, 33(3)51--64, 33(3)65--84, 34(3)39--46, 34(3)97--102, 34(3)105--106, 35(1)46--58, 35(1)80--92, 36(1)39--50, 36(1)68--76, 36(2)58--59, 38(1)19--28, 38(1)41--54, 38(1)74--76, 40(2)55--58, 42(1)100--104, 42(2)62--68, 43(1)37--41
Botting, Paul, 15(4)19--21
Botting:1995:AUD, 15(4)19--21
bottlenecks, 11(3)125--136, 12(2)97--101
bottom, 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
Botton, David, 19(1)108--z, 19(3)9--14, 20(3)50--52, 20(3)53--56
Botton:1999:DA, 19(1)108--z
Botton:1999:IAM, 19(3)9--14
Botton:2000:AN, 20(3)50--52
Botton:2000:DA, 20(3)53--56
Boukili, Zineb, 42(1)105--105
Boukili:2022:FGR, 42(1)105--105
bound, 11(7)166--179, 15(3)76--79, 31(3)11--12
boundaries, 29(3)119--120, 31(3)17--18, 33(3)9--10
bounded, 17(6)19--31, 29(1)54--56, 29(1)58--60, 33(3)9--10, 36(2)47--48, 40(2)76--91
Bounded_Buffer, 29(1)58--60
Bounded_Buffers, 29(1)58--60
boundless, 34(3)1--2
Bourdon, L. W. J., 43(1)64--68
Bourdon, L. W. J., see Senn, E.
Bowen, 12(1)43--52
Bowen, Gregory M., 12(1)43--52
Bowen:1992:ODP, 12(1)43--52
box, 11(5)30--46, 14(1)30--37
box-structured, 11(5)30--46
Boyd, Stowe, 6(2)79--82, 7(4)68--78, 9(5)115--122
Boyd:1986:ABW, 6(2)79--82
Boyd:1987:OOD, 7(4)68--78
Boyd:1989:RAC, 9(5)115--122
Bozzano, M., 43(1)54--57
Bozzano, M., see Bombardelli, A.
Bozzano, Marco, 43(1)37--41
Bozzano, Marco, see Singhoff, Frank
Brach, David, 22(4)10--21
Brach:2002:UEA, 22(4)10--21
Brad, 39(1)100--100
Bradley, Peter J., 30(3)37--40
Bradley:2010:RTS, 30(3)37--40
Braesicke, Carl, 4(5)90--96
Braesicke:1985:FAE, 4(5)90--96
Bramberger, Robert, 39(2)41--48
Bramberger:2020:CES, 39(2)41--48
branch, 29(3)79--84, 36(2)9--17
branching, 29(3)79--84
brand, 40(2)70--72
Brandon, C., 5(3)100--100
Brandon, Carl, 29(3)87--90, 36(2)18--21
Brandon, Carl, see Loseby, Chad
Brandon:1985:TGT, 5(3)100--100
Brandon:2016:USC, 36(2)18--21
Brashear, Phil, 14(2)68--79, 18(3)17--17, 19(1)48--51
Brashear:1994:ACE, 14(2)68--79
Brashear:1998:AIS, 18(3)17--17
Brashear:1999:AVA, 19(1)48--51
Braun, Christine L., 2(5)42--55
Braun:1983:ATC, 2(5)42--55
Bray, G., 9(7)102--113
Bray, G., see Asplund, L.
Bray, Gary, 2(1)33--49, 3(2)62--71
Bray:1982:ASM, 2(1)33--49
Bray:1983:IIA, 3(2)62--71
break, 21(4)97--98, 23(1)45--52, 29(1)69--69, 29(1)78--79
breaking, 16(3)52--55, 32(3)25--26
breakthrough, 42(1)90--94
Bremmon, Chad, 17(3)45--56
Bremmon:1997:WOA, 17(3)45--56
Briand, L., 12(5)84--95
Briand, Loïc, 12(5)84--95, 14(3)105--112
Briand:1992:TMA, 12(5)84--95
Briand:1992:TMR, 12(5)84--95
Briand:1994:ART, 14(3)105--112
bridge, 43(1)42--45, 43(1)58
bridged, 32(3)23--24
bridged, Perspective-, 29(3)45--60
bridged, perspective-, 29(3)45--60
Bridging, 37(1)46--49
brief, 14(4)36--42, 29(3)5--6, 33(3)65--84, 35(1)93--94
briefly, 0(0)119--123, 12(6)59--74, 17(2)67--81, 27(2)37--40, 27(3)63--68, 29(1)58--60, 29(3)1--2, 29(3)5--6, 31(3)9--10, 33(2)49--58, 36(2)58--59, 38(1)55--57
briey, 36(1)68--76
Briggs, J. S., 16(2)50--69
Briggs:1996:TTL, 16(2)50--69
bring, 27(3)4--4, 29(1)66--68, 31(3)15--16, 31(3)35--36, 34(3)87--96, 34(3)105--106, 38(1)34--39, 42(2)92--95
bringing, 17(3)30--35, 33(3)37--40, 38(1)41--54, 38(1)74--76, 39(2)35--40
Brintzenhoff, Alton L., 6(2)53--56
Brintzenhoff:1986:CL, 6(2)53--56
Briot, Emmanuel, 29(1)29--32, 29(2)37--39, 29(2)40--42, 29(2)68--70, 31(1)11--13, 31(1)14--15, 31(1)16--18, 31(2)23--24, 31(2)25--27, 31(2)28--29, 32(2)24--27, 32(2)31--32, 32(2)33--34, 32(2)45--46, 32(2)47--49
Briot:2009:GHM, 29(2)68--70
Briot:2009:GHS, 29(1)29--32
Briot:2009:GSCa, 29(2)37--39
Briot:2009:GSCb, 29(2)40--42
Briot:2011:GG, 31(1)11--13
Briot:2011:GGK, 31(1)14--15
Briot:2011:GMG, 31(1)16--18
Briot:2011:GWDa, 31(2)23--24
Briot:2011:GWDb, 31(2)25--27
Briot:2011:GWDc, 31(2)28--29
Briot:2012:GLAa, 32(2)45--46
Briot:2012:GLAb, 32(2)47--49
Briot:2012:GRCa, 32(2)24--27
Briot:2012:GRCb, 32(2)31--32
Briot:2012:GRCc, 32(2)33--34
British, 11(2)60--71
broad, 17(3)30--35, 33(3)21--22, 39(1)63--70
broadcast, 27(2)82--87
broadcasting, 9(6)80--89
broadened, 33(3)43--46
broader, 29(3)119--120, 33(3)43--46
broadly, 40(2)65--69
broken, 23(1)11--11
Broker, 16(3)39--51, 16(5)59--69, 17(3)97--108, 17(5)71--76
Brooke, Thomas C., 23(1)12--21
Brooke:2003:DDC, 23(1)12--21
Brookman, David, 11(9)96--99
Brookman:1991:SSV, 11(9)96--99
Brosgol, B. M., 0(0)213--230
Brosgol, Ben, 2(4)54--57, 19(1)1--z, 20(1)1--2, 20(2)1--2, 20(3)1--2, 20(4)1--2, 21(2)1--2, 21(4)11--26, 22(4)113--119, 22(4)128--130, 22(4)131--131, 27(2)88--89, 27(3)2--2, 29(3)3--4
Brosgol, Ben, see Burns, Alan, see Tokar, Joyce
Brosgol, Benjamin, 1(3)34--43, 7(6)z--z, 8(1)91--107, 31(3)5--6
Brosgol, Benjamin, see Gargaro, Anthony
Brosgol, Benjamin M., 0(0)101--112, 5(2)229--240, 16(1)36--43, 18(5)12--38, 18(6)175--192, 22(4)95--112
Brosgol, Benjamin M., see Beretz, Rene
Brosgol:1980:TMP, 0(0)101--112
Brosgol:1982:SAL, 1(3)34--43
Brosgol:1983:AIN, 2(4)54--57
Brosgol:1988:IWR, 8(1)91--107
Brosgol:1996:ACW, 16(1)36--43
Brosgol:1997:COF, 0(0)213--230
Brosgol:1998:CAJ, 18(5)12--38
Brosgol:1998:CCF, 18(6)175--192
Brosgol:1999:MC, 19(1)1--z
Brosgol:2000:MCa, 20(1)1--2
Brosgol:2000:MCb, 20(2)1--2
Brosgol:2000:MCc, 20(3)1--2
Brosgol:2000:MCd, 20(4)1--2
Brosgol:2001:MC, 21(2)1--2
Brosgol:2001:RTC, 21(4)11--26
Brosgol:2002:ATC, 22(4)95--112
Brosgol:2002:SSU, 22(4)128--130
Brosgol:2007:AOS, 27(2)88--89
Brosgol:2007:SLS, 27(3)2--2
Brosgol:2009:ICL, 29(3)3--4
Brosgol:2011:DNA, 31(3)5--6
Brosse, E., 40(1)60--63
Brosse, E., see Schranz, M.
Broster, Ian, 31(3)1--2
Broster:2011:HMO, 31(3)1--2
brought, 26(1)25--30, 26(3)21--28, 31(3)37--38, 34(3)5--12, 35(1)59--73, 42(1)90--94
Brown, Alan W., 14(z)85--92
Brown, C. Wayne, 24(4)47--50
Brown, Mike, 13(1)35--59
Brown:1993:ART, 13(1)35--59
Brown:1994:EIW, 14(z)85--92
Brown:2004:TGU, 24(4)47--50
browser, 17(3)30--35, 17(4)31--58
browsing, 15(4)36--45
Brueckner, Bernd, Krieg-, 5(2)185--196
Brueckner, Berndt, Krieg-, 3(2)46--54
Bruekner, Bernd, Krieg-, 0(0)128--138, 0(0)183--193
Brukardt, Randall, 19(1)52--57, 32(3)103--104
Brukardt, Randall, see Beringer, Lennart
Brukardt, Randy, 37(1)54--54
Brukardt:1999:ACA, 19(1)52--57
Brukardt:2017:CIM, 37(1)54--54
Brukhardt, R., 0(0)91--104
Brukhardt:1997:CHL, 0(0)91--104
Brundelle, D., 10(9)130--144
Brundelle, D., see Hughes, D.
Bruneliere, Hugo, 42(2)99--103
Bruneliere, Hugo, see Bagnato, Alessandra
Brunelle, Denise M., 10(6)84--96, 10(8)130--144
Brunelle, Denise M., see Chelini, James V.
Bruno, G., 0(0)172--180
Bruno, Jeanette M., 14(z)36--53
Bruno:1982:APD, 0(0)172--180
Bruno:1994:ICR, 14(z)36--53
Brussels, 42(1)39--40
Bryan, Doug, 10(5)41--47, 10(8)24--33
Bryan:1990:DAa, 10(5)41--47
Bryan:1990:DAb, 10(8)24--33
Bryant, Stephen, 0(0)194--201
Bryant, Stephen, see Dewar, Robert B. K.
Brykczynski, Bill, 8(1)38--51
Brykczynski:1988:MBA, 8(1)38--51
Bu, Lei, 30(3)53--62
Bu, Lei, see Li, You
Buchman, Brett, 0(0)75--80
Buchman:1987:DAA, 0(0)75--80
budget, 26(2)38--47, 27(2)67--71, 36(1)39--50, 36(2)27--30
budgeted, 13(4)29--36
buffer, 12(6)59--74, 23(1)1--9, 27(3)5--6, 28(1)92--95, 29(1)54--56, 29(1)58--60, 34(3)103--104
bug, 11(2)53--55, 33(3)9--10, 33(3)85--86, 34(3)13--16, 36(2)58--59
bug-finding, 31(3)47--60
Bühler, Gerhard, 19(3)83--88
Buhler:1999:AAJ, 19(3)83--88
Buhr, R. J. A., 4(5)49--58, 5(2)173--184, 5(2)210--216, 11(3)91--101, 11(3)125--136, 14(z)3--15
Buhr, R. J. A., see Woodside, C. M.
Buhr, Raymond J. A., 0(0)36--44
Buhr, Raymond J. A., see Karam, Gerald M.
Buhr:1985:IOC, 4(5)49--58
Buhr:1985:LPE, 5(2)210--216
Buhr:1985:OEA, 5(2)173--184
Buhr:1991:SST, 11(3)91--101
Buhr:1994:TCT, 14(z)3--15
build, 8(2)39--54, 12(5)59--63, 26(2)12--22, 26(3)45--50, 27(3)63--68, 29(3)21--22, 29(3)23--30, 30(1)45--55, 32(3)11--12, 32(3)103--104, 33(3)11--12, 33(3)43--46, 34(3)69--70, 35(1)38--45, 36(2)31--38, 38(2)58--63, 42(1)68--75
builders, 6(2)79--82, 10(4)114--118
builders, application-, 11(8)177--z
building, 5(2)14--24, 6(1)63--71, 11(3)19--27, 11(3)19--z, 17(2)67--81, 17(5)51--56, 18(6)45--51, 19(3)113--123, 20(4)29--31, 26(2)12--22, 26(3)9--14, 26(3)21--28, 27(2)29--36, 27(2)48--52, 27(3)5--6, 27(3)100--100, 29(1)54--56, 29(3)11--12, 29(3)19--20, 29(3)31--44, 31(2)70--70, 31(3)15--16, 31(3)17--18, 32(3)11--12, 32(3)25--26, 33(1)64--83, 33(3)11--12, 33(3)43--46, 33(3)49--50, 34(3)1--2, 34(3)103--104, 34(3)105--106, 36(2)18--21, 36(2)22--26, 36(2)54--57, 37(2)23--26, 42(1)68--75
building, model-, 23(1)45--52
built, 0(0)102--118, 13(2)65--77, 23(1)11--11, 27(3)63--68, 28(1)36--37, 29(3)21--22, 31(3)3--4, 32(3)11--12, 33(1)53--63, 33(2)33--39, 33(3)11--12
built, purpose-, 34(3)1--2
built-in, 17(5)71--76, 27(3)9--10, 31(3)7--8
bulk, 29(3)5--6
Bull, 0(0)336
Bums, A., 10(4)5--14, 10(4)49--56
Bums:1990:RTA, 10(4)5--14
Bums:1990:UAT, 10(4)49--56
Bundgaard, J., 5(2)321--328
Bundgaard:1985:DAF, 5(2)321--328
bundle, 40(2)70--72
buoy, 29(3)87--90
burden, 23(1)40--43, 29(3)85--86, 31(3)47--60, 32(3)3--4, 34(3)105--106
Burger, Thomas. M., 7(1)49--58
Burger, Tom, 12(3)99--109
Burger:1987:AOA, 7(1)49--58
Burger:1992:OIR, 12(3)99--109
Burke, A., 0(0)113--116
Burke, A., see Battaglia, D.
Burke, Austin, 18(1)78--85
Burke, Austin, see Battaglia, David
Burke, Michael, 0(0)194--201
Burke, Michael, see Dewar, Robert B. K.
Burkhard, B., 6(3)71--80
Burkhard:1986:DAS, 6(3)71--80
Burkhardt, Bonnie, 5(1)79--88
Burkhardt:1985:FUX, 5(1)79--88
Burns, 12(6)81--87, 17(6)108--108, 29(2)71--71
Burns, A., 4(1)74--87, 5(1)55--60, 7(1)97--104, 7(6)43--46, 9(6)67--79, 10(4)5--14, 10(4)49--56, 10(6)61--67, 10(9)70--74, 10(9)75--84, 12(1)53--64, 12(6)59--74, 13(2)54--64, 14(1)38--49, 15(5)46--51, 17(5)24--26, 17(5)27--32, 17(5)100--105, 19(2)78--83, 19(2)84--89, 21(1)48--55, 21(3)80--92, 22(4)72--76, 23(4)36--41, 27(2)18--22, 27(2)23--28, 27(2)41--47, 27(2)48--52, 27(2)75--81, 30(1)16--25, 30(1)26--32, 30(1)104--115, 30(1)116--124, 30(1)125--134, 30(1)147--151, 33(1)9--14, 33(1)15--23, 33(1)24--31, 33(1)32--44, 33(2)9--13, 33(2)59--65, 33(2)75--86, 35(1)9--16, 35(1)17--25, 35(1)26--31, 36(1)35--38, 36(1)51--62
Burns, A., see Allen, R. K., see Audsley, N. C., \see{Kirkham, J. A., see Lin, S., \see{Mitchell, S. E., see Walker, W. M., \see{Wellings, A. J., see Zerzelidis, A.
Burns, Alan, 11(6)66--68, 13(2)21--36, 14(5)88--91, 17(5)5--7, 18(6)1--6, 19(2)12--14, 19(4)49--52, 21(1)40--45, 21(1)46--47, 21(3)16--18, 22(4)66--71, 22(4)113--119, 23(4)32--35, 23(4)93--95, 24(2)1--74, 27(2)59--60, 30(2)27--52, 33(1)146--149, 33(2)49--58, 33(2)123--125, 35(1)95--96, 36(1)29--34, 36(1)91--93, 38(1)61--61
Burns, Alan, see Aldea, Mario, see Audsley, Neil, \see{Chapman, Roderick, see Dobbing, Brian, see Puente, Juan Ade la, \see{Real, Jorge
Burns, Greg, 7(6)21--23, 8(7)39--42, 11(3)61--72
Burns, Greg, see Locke, Douglass, see Matthews, Ed
Burns:1985:EIR, 5(1)55--60
Burns:1987:CDR, 7(6)21--23
Burns:1987:RTA, 7(6)43--46
Burns:1987:ULF, 7(1)97--104
Burns:1989:PAA, 9(6)67--79
Burns:1990:ATC, 10(9)75--84
Burns:1990:EUA, 10(6)61--67
Burns:1990:PSA, 10(9)70--74
Burns:1990:RTA, 10(4)5--14
Burns:1990:UAT, 10(4)49--56
Burns:1991:AA, 11(6)66--68
Burns:1992:APT, 12(6)59--74
Burns:1992:SAR, 12(1)53--64
Burns:1993:MME, 13(2)54--64
Burns:1993:SIW, 13(2)21--36
Burns:1994:IAH, 14(1)38--49
Burns:1997:FID, 17(5)24--26
Burns:1997:RTM, 17(5)27--32
Burns:1997:TPS, 17(5)5--7
Burns:1999:HVC, 19(2)78--83
Burns:1999:RP, 19(4)49--52
Burns:1999:RPI, 19(2)12--14
Burns:2001:DVD, 21(1)48--55
Burns:2001:HEE, 21(3)16--18
Burns:2001:NPD, 21(1)46--47
Burns:2002:ADQ, 22(4)72--76
Burns:2002:SSF, 22(4)113--119
Burns:2003:RSF, 23(4)32--35
Burns:2003:RSG, 23(4)93--95
Burns:2003:TAB, 23(4)36--41
Burns:2004:GUA, 24(2)1--74
Burns:2007:IEA, 27(2)59--60
Burns:2007:PET, 27(2)48--52
Burns:2010:ASV, 30(2)27--52
Burns:2010:LVL, 30(1)26--32
Burns:2010:MSS, 30(1)147--151
Burns:2010:SEM, 30(1)16--25
Burns:2013:ERT, 33(1)24--31
Burns:2013:LPM, 33(2)59--65
Burns:2013:PAR, 33(2)9--13
Burns:2013:SMP, 33(1)9--14
Burns:2013:SSLa, 33(1)146--149
Burns:2013:SSLb, 33(2)123--125
Burns:2013:TRP, 33(1)15--23
Burns:2015:SSC, 35(1)95--96
Burns:2015:TCR, 35(1)17--25
Burns:2016:DFP, 36(1)29--34
Burns:2016:SSD, 36(1)91--93
Burns:2016:STC, 36(1)35--38
bus, 27(3)4--4, 27(3)63--68, 29(3)15--16, 31(3)3--4, 32(3)11--12, 33(3)11--12
bus, PCI-, 23(1)11--11
bus, tool-, 28(1)96--102
bus, VME-, 23(1)11--11
business, 12(1)43--52, 28(1)76--82, 29(3)45--60
busy, 10(1)97--99
Butler, Charles M., 7(1)82--88
Butler, Charles M., see Arnett, Kirk P.
Buxton, J. N., 4(5)40--44
Buxton, John N., 1(1)16--21, 4(5)40--44
Buxton:1981:RHA, 1(1)16--21
Buxton:1985:FAE, 4(5)40--44
Buxton:1985:KAF, 4(5)40--44
Buying, 36(2)22--26
Buzdalov, Denis, 36(2)49--53
Buzdalov:2016:SAM, 36(2)49--53
BW, 12(6)75--80
by-character, character-, 8(3)87--97
by-construction', `correctness-, 27(3)51--58
by-Construction, Confidentiality-, 38(2)64--68
by-Construction, Correctness-, 42(2)75--78
by-contract, design-, 27(3)100--100
by-design, private-, 42(2)96--98
by-reference, 13(3)91--95
by-side, side-, 21(3)41--56
bypass, 29(1)71--73
Byrne, Dan J., 10(3)139--145
Byrne:1990:AVF, 10(3)139--145
Byron, 2(4)76--83, 11(2)60--71
Byron, Lovelace-, 11(2)60--71
byte, 0(0)247--262, 9(4)84--86, 16(1)46--53, 25(3)19--27, 27(3)89--96, 37(2)18--22
byte-alignment, 9(4)84--86
byte-code, 17(3)3--16
byte-codes, 17(3)3--16
bytecode, 29(2)43--45