Index file section B for complngs.bib

Last update: Thu Jun 20 02:00:37 MDT 2019

Return to index directory

B

B-based, Event-, 54(z)297--315
Babbage, 17(1)1--17
Babel, 17(1)1--17
Bachmann, Wolfgang, 3(3)193--201
Bachmann:1978:SCL, 3(3)193--201
back, 5(2)115--129, 14(3)193--204
back-end, 14(3)193--204
back-translation, 35(2)173--195
backscattering, 7(2)69--87
backtrack, 20(2)89--100
backtracking, 8(2)61--68, 9(3)183--192, 10(2)75--89, 12(2)95--108, 14(3)153--163, 19(3)185--203, 20(2)89--100, 22(2)115--142
Backus-Naur, 12(1)9--20
backward, 18(3)153--168, 21(3)147--163, 36(2)123--141
Badrinath, B. R., 9(3)193--202
Badrinath, B. R., see Patnaik, L. M.
Bae, Sung-Hwan, 34(4)170--183
Bae, Sung-Hwan, see Jung, Dong-Heon
Baer, J. L., 1(2)121--138
Baer, J. L., see Kampen, G.
Bail, William G., 13(3)109--123
Bail:1988:PCU, 13(3)109--123
Bailes, Paul A., 11(3)123--142, 12(2)69--94, 15(1)1--26, 18(1)31--55, 18(4)251--271
Bailes:1986:SCV, 11(3)123--142
Bailes:1987:GFL, 12(2)69--94
Bailes:1990:HDG, 15(1)1--26
Bailes:1993:FGT, 18(4)251--271
Bailes:1993:PGS, 18(1)31--55
Bak, Lars, 31(3)127--141
Bak, Lars, see Andersen, Jakob R.
bakery, 8(2)51--60
BAL, 1(2)139--150
Bal, Henri E., 11(2)105--121, 16(2)129--146
Bal, René, 27(1)39--59, see Luttighuis, Paul Oude
Bal:1986:LMG, 11(2)105--121
Bal:1991:DPS, 16(2)129--146
Balachandran, A., 15(3)127--140
Balachandran:1990:ERC, 15(3)127--140
Baldassari, Marco, 16(1)39--63
Baldassari:1991:POO, 16(1)39--63
BaLinda, 22(4)205--214, 24(4)229--244
ball, 30(1)5--19
Bañados, Felipe, 38(1)16--28, see Bergel, Alexandre
bankers, 1(1)73--82
banking, 1(1)73--82
banks, 3(3)193--201
Bansal, Ankita, 47(z)211--231
Bansal:2017:EAS, 47(z)211--231
Barais, Olivier, 49(z)176--195, 54(z)139--155
Barais, Olivier, see Combemale, Benoit, see Degueule, Thomas
Barbacci, Mario, 19(2)63--64
Barbacci, Mario, see Cordy, James R.
Barbosa, Jorge, 38(3)199--213
Barbosa, Luís S., 44(z)218--237, 45(z)218--237, see Sanchez, Alejandro
Barbosa:2012:TPM, 38(3)199--213
Barisi{\'c}, Ankica, 51(z)118--157
Barisic:2018:UDD, 51(z)118--157
Barman, Mervyn, 7(3)125--146
Barman:1982:LLS, 7(3)125--146
Barnard, D. T., 17(1)61--66
Barnard, David T., 6(1)19--34, 13(2)65--74, 14(2)93--98, 19(4)247--259
Barnard, David T., see Clarke, Gwen, see Lepage, Mary T.
Barnard:1988:SPL, 13(2)65--74
Barnard:1989:AGS, 14(2)93--98
Barnard:1992:CPP, 17(1)61--66
Barrett, Edd, 44(z)199--217, 45(z)199--217
Barrett:2015:AIC, 44(z)199--217
Barrett:2016:AIC, 45(z)199--217
Barroso, P. B., 3(2)65--74
Barroso:1978:IDD, 3(2)65--74
Barthe, Gilles, 33(2)35--59
Barthe:2007:STP, 33(2)35--59
base, 1(1)3--16, 2(3)61--73, 4(3)139--154, 15(2)65--82, 17(3)157--167, 19(2)79--89
based, 5(3)141--153, 7(1)25--40, 8(3)95--111, 11(1)1--13, 13(1)1--11, 14(3)193--204, 15(2)65--82, 16(2)179--195, 16(3)259--280, 17(3)157--167, 17(4)251--267, 19(2)65--78, 20(3)135--150, 21(3)165--189, 22(2)95--113, 32(2)157--183, 44(z)48--71, 45(z)161--162, 47(z)104--129, 47(z)153--169, 47(z)211--231, 51(z)71--89, 54(z)358--385
based, annotation-, 54(z)199--235
based, automata-, 47(z)2--18
based, automaton-, 27(1)61--92
Based, CHR-, 53(z)121--142
based, Component-, 36(1)16--33
based, component-, 21(1)39--48, 38(1)29--43
based, computer-, 13(3)125--141
based, constructor-, 23(2)61--85
based, continuation-, 17(1)19--37
based, environment-, 17(4)241--250
based, event-, 36(2)142--157
based, Event-B-, 54(z)297--315
based, framework-, 31(1)17--33
based, Grammar-, 43(z)116--138
based, heap-, 15(2)109--125
based, history-, 35(1)31--47
based, language-, 22(4)225--235, 34(1)25--42
based, library-, 48(z)68--88
based, mixin-, 30(1)49--61
based, Model-, 48(z)20--38, 49(z)36--61
based, Predicate-, 17(3)157--167
based, primitive-, 19(1)41--50
based, Rule-, 22(2)95--113
based, rule-, 21(3)165--189
based, Scheme-, 15(4)225--249
based, search-, 47(z)151--152
based, Skeleton-, 33(3)179--192
based, sketch-, 25(1)1--37
based, stack-, 19(2)65--78
based, table-, 10(2)127--146
based, template-, 52(z)43--62
based, text-, 49(z)196--215
based, Time-, 19(4)261--276
based, time-, 19(4)261--276
based, trace-, 20(4)253--265, 51(z)22--47
based, trait-, 35(1)2--20
based, UML-, 54(z)71--94
based, web-, 48(z)3--19
based, XML-, 49(z)133--151
Bases, Data-, 9(1)25--37
bases, data-, 9(1)25--37
BASIC, 13(3)143--147
basic, 2(1)21--25, 21(2)113--127, 25(2)115--116
Basili, V. R., 1(3)255--273
Basili:1975:SAL, 1(3)255--273
basis, 14(1)35--51, 19(2)135--155
Bassiouni, M. A., 17(3)185--197, 19(4)261--276, 25(1)39--54
Bassiouni:1992:RQL, 17(3)185--197
Bassiouni:1993:TOR, 19(4)261--276
Bassiouni:1999:ETQ, 25(1)39--54
Basu, Amitabh, 33(2)35--59
Basu, Amitabh, see Barthe, Gilles
batch, 3(1)31--35
batch-probing, 3(1)31--35
Baudry, Benoit, 41(z)42--65
Baudry, Benoit, see Cadavid, Juan José
Baudry, Benoît, 46(z)206--235, see Méndez-Acuña, David
Baumgartner, Gerald, 37(2)63--75
Baumgartner, Gerald, see Lam, Chi-Chung
Bays, J. C., 2(1)1--8
Bays:1976:ADL, 2(1)1--8
BBC, 13(1)31--47
BBS, 5(2)52--z
Bedouet, Judicaël, 54(z)358--385, see Oubelli, Lynda Ait
bee, 51(z)1--21
beginner, 10(1)23--36, 22(4)215--223, 44(0)181--197
behavior, 4(1)29--47, 17(4)269--282, 18(2)77--103, 19(3)205--211, 19(4)235--245, 20(2)127--134, 20(3)193--212, 22(1)39--47, 22(2)51--77, 23(2)61--85
behavioral, 16(1)19--37, 32(1)56--82, 34(2)46--65, 44(z)72--88
behaviour, 4(1)29--47
Behavioural, 28(1)61--99
Bellatreche, Ladjel, 54(z)236--251
Bellatreche, Ladjel, see Ouared, Abdelkader
Belle, Alvine Boaye, 54(z)544--585
Belle, Alvine Boaye, see Adesina, Opeyemi O.
Ben Asher, Yosef, 9(3)161--182
Ben Asher, Yosef, see Nirenburg, Sergei
benchmark, 19(1)41--50, 19(2)135--155, 44(z)24--47
benchmarking, 12(3)145--162
Benson, Gregory D., 28(4)327--351
Benson, Gregory D., see Olsson, Ronald A.
Berg, Harmen van den, 27(1)39--59
Berg, Harmen van den, see Luttighuis, Paul Oude
Bergel, A., 46(z)1--19
Bergel, A., see Vidal, S.
Bergel, Alexandre, 31(3)107--126, 34(2)83--108, 34(2)109--129, 37(3)132--150, 38(1)16--28
Bergel:2005:CCV, 31(3)107--126
Bergel:2008:CSD, 34(2)109--129
Bergel:2008:STT, 34(2)83--108
Bergel:2011:RMO, 37(3)132--150
Bergel:2012:SFC, 38(1)16--28
Bergenti, F., 37(4)178--192
Bergenti, Federico, 50(z)142--158
Bergenti:2011:PPS, 37(4)178--192
Bergenti:2017:AOM, 50(z)142--158
Bergeon, 25(2)113--113
Beringer, Lennart, 39(2)49--65
Beringer:2013:VPS, 39(2)49--65
Bermudez, Manuel E., 16(2)167--178
Bermudez:1991:UML, 16(2)167--178
Berry, D. M., 2(4)135--148, 2(4)149--170, 5(2)77--101, 7(1)11--20
Berry, Daniel M., 4(1)1--15, 10(2)147--164
Berry, Daniel M., see Mazaher, Shahrzade, see Schwartz, Richard L.
Berry:1977:PDAa, 2(4)135--148
Berry:1977:PDAb, 2(4)149--170
Berry:1980:TMV, 5(2)77--101
Berry:1982:LCR, 7(1)11--20
Berzins, Valdis, 16(2)113--127
Berzins:1991:BSS, 16(2)113--127
Besova, Galina, 43(z)116--138
Besova:2015:GBM, 43(z)116--138
best-fit, 31(1)35--48
BETA, 25(3)165--187
Bettentrupp, Ralf, 37(2)76--111
Bettentrupp, Ralf, see Groppe, Sven
better, 1(4)277--286, 22(1)27--38
Beydoun, Ghassan, 50(z)127--139
Beydoun, Ghassan, see Ashamalla, Amir
beyond, 17(1)1--17
Bhatia, Rajesh, 50(z)1--19
Bhatia, Rajesh, see Arora, Vinay
Bhatkar, V. P., 20(3)135--150
Bhatkar, V. P., see Shenoy, U. Nagaraj
Bhattacharya, Prabal, 9(2)97--106
Bhattacharya, Prabal, see Patnaik, L. M.
bidirectional, 8(2)69--76, 15(2)83--94, 29(1)15--44
Bieman, James M., 14(3)165--180
Bieman, James M., see Leszczylowski, Jacek
Bigonha, Roberto da Silva, 35(3)322--339
Bigonha, Roberto da Silva, see Simão, Adenilso
Bigonha, Roberto S., 42(z)46--59
Bigonha, Roberto S., see Reis, Leonardo V. S.
binary, 3(1)31--35, 20(4)267--277, 31(3)165--181, 39(4)163--181, 43(z)96--115
binding, 4(3)187--198, 7(2)61--67, 16(3)209--233
binding-time, 19(4)213--233
bio-inspired, 50(z)1--19
Biological, 13(3)125--141
biomedical, 13(3)125--141
Biskup, Joachim, 15(2)65--82
Biskup:1990:ESQ, 15(2)65--82
Bispo, João, 53(z)1--26, see Pinto, Pedro
Biswas, S., 15(3)127--140
Biswas, S., see Balachandran, A.
bitmap, 5(2)52--z
Black, 16(2)113--127, 21(3)165--189
Black, Andrew P., 30(1)79--95
Black, Andrew P., see Schärli, Nathanael
black-box, 16(2)113--127
Blanchard, Allan, 53(z)121--142
Blanchard:2018:MCB, 53(z)121--142
blend, 35(3)241--251
Blieberger, Johann, 20(3)193--212
Blieberger:1994:DLW, 20(3)193--212
block, 1(1)61--71, 1(4)287--301, 4(3)171--185, 6(3)115--130, 9(2)107--131, 20(3)151--175, 21(2)113--127, 54(z)528--543
block-structured, 7(2)61--67
Bloom, 22(1)15--26
Bloom, Bard, 35(3)306--321
Bloom:2009:FPL, 35(3)306--321
Blouin, Arnaud, 49(z)176--195, 54(z)337--357
Blouin, Arnaud, see Degueule, Thomas, see Le Moulec, Gwendal
BNF, 3(3)145--155, 5(1)37--55, 10(3)225--236, 12(1)9--20, 12(3)173--195, 13(2)65--74, 14(2)93--98, 17(3)199--211
Board, 28(2)z--z, 28(3)z--z, 28(4)z--z, 29(1)z--z, 29(3)z--z, 29(4)z--z, 30(1)z--z, 30(3)z--z, 31(1)z--z, 31(2)z--z, 31(3)z--z, 35(4)z--z, 36(4)z--z, 52(z)ii--ii, 53(z)ii--ii, 54(z)ii--ii
Boas, Peter, van Emde, 14(2)63--82
Boix, Elisa Gonzalez, 40(3)112--136, 45(z)161--162
Boix, Elisa Gonzalez, see Haller, Philipp, see Van Cutsem, Tom
Bokhoven, L. J. van, 27(1)19--38
Bokhoven, L. J. van, see Geilen, M. C. W.
Bolot, Jean-Chrysostome, 15(4)251--265
Bolot:1990:FSP, 15(4)251--265
Bolz, Carl Friedrich, 44(z)199--217, 45(z)199--217
Bolz, Carl Friedrich, see Barrett, Edd
bookkeeping, 1(1)73--82
boolean, 9(3)133--148, 17(3)185--197, 19(4)261--276
Bosman, Remi, 44(z)24--47
Bosman, Remi, see Erdweg, Sebastian
Bossi, Annalisa, 9(1)25--37, 26(1)1--25, 30(3)231--258
Bossi:1984:UFQ, 9(1)25--37
Bossi:2000:SWM, 26(1)1--25
Bossi:2004:VPS, 30(3)231--258
Böttcher, Stefan, 37(2)76--111, see Groppe, Sven
bottom-up, 13(1)1--11, 15(3)127--140
Bouabana-Tebibel, Thouraya, 54(z)183--198
Bouabana-Tebibel, Thouraya, see Chebba, Asmaa
Boudriga, N., 17(2)101--131
Boudriga:1992:RMS, 17(2)101--131
bound, 15(2)83--94, 40(3)155--170
bound, Data-, 38(4)279--299
boundaries, 5(2)52--z, 28(1)101--127, 54(z)528--543
bounded, 8(3)95--111, 12(2)109--121, 19(4)247--259, 40(3)137--154, 44(z)114--140
boundedness, 15(1)55--64
Bouraqadi, Noury, 30(1)49--61, 31(3)103--105, 31(3)199--218, 38(1)1--15, 38(1)29--43
Bouraqadi, Noury, see Fabresse, Luc, see Peck, Mariano Martinez, see Razavi, Reza
Bouraqadi:2004:SMC, 30(1)49--61
Bouraqadi:2005:I, 31(3)103--105
Bourbakis, Nikolaos G., 14(4)239--254, 34(1)25--42
Bourbakis:1989:PIS, 14(4)239--254
Bourbakis:2008:GFL, 34(1)25--42
Bousse, Erwan, 54(z)139--155
Bousse, Erwan, see Combemale, Benoit
Bowman, R. Sean, 32(1)42--55
Bowman, R. Sean, see Lusth, John C.
box, 8(3)139--159, 16(2)113--127, 21(3)165--189
box, Black-, 16(2)113--127
box, black-, 16(2)113--127
BPEL, WS-, 38(4)279--299
BPL, 14(2)83--92
Braga, Ronyerison, 54(z)95--118
Braga, Ronyerison, see Oliveira, Pedro
Braghin, Chiara, 28(1)101--127, 30(3)207--230
Braghin:2002:SBM, 28(1)101--127
Braghin:2004:NAM, 30(3)207--230
branching, 8(3)113--124
Branching-time, 24(3)155--178
Brand, Mark van den, 51(z)48--70
Brand, Mark van den, see Sutîi, Ana Maria
Brandeburg, Jesse, 22(1)39--47
Brandeburg, Jesse, see Sarwar, S. Mansoor
Brandner, Florian, 39(1)25--47, 40(3)155--170
Brandner:2013:EPC, 39(1)25--47
Brandner:2014:RWC, 40(3)155--170
Braz, Larissa, 54(z)427--450
Braz:2018:CAP, 54(z)427--450
Breakpoints, 21(1)17--37
Breitner, Joachim, 52(z)65--91
Breitner:2018:CA, 52(z)65--91
Brennan, Terence J., 5(3)163--189
Brennan, Terence J., see Salter, Richard M.
Brest, Janez, 35(3)241--251, 37(4)151--167
Brest, Janez, see Fister, Jr., Iztok, see Greiner, Saso
Brichau, Johan, 30(1)35--47, 34(2)66--82
Brichau, Johan, see Tourwé, Tom
Brichau:2008:ASM, 34(2)66--82
bridge, 38(1)29--43
Bridging, 3(2)135--142
brief, 17(1)1--17
Bringing, 40(1)2--18
Briot, J.-P., 36(2)142--157
Briot, J.-P., see Silvestre, B.
Britto, Ricardo, 54(z)95--118
Britto, Ricardo, see Oliveira, Pedro
broadcast, 20(1)1--23
broadcasting, 13(1)31--47, 20(1)43--51
Broca, F. R., 1(1)17--28
Broca, F. R., see Merwin, R. E.
Brogi, Antonio, 25(4)211--242, 35(4)395--405
Brogi, Antonio, see Roldan, Ana M.
Brogi:1999:DCP, 25(4)211--242
browser, 30(1)79--95
Broy, Manfred, 13(1)31--47
Broy:1988:BBC, 13(1)31--47
Bruno, Giorgio, 16(1)39--63
Bruno, Giorgio, see Baldassari, Marco
Brusò, Mayla, 36(4)352--377
Bruso:2010:NRA, 36(4)352--377
Bryant, Barrett R., 9(3)149--159, 11(3)173--191, 36(1)16--33, 39(4)121--122, 40(1)1--1, 42(z)1, 45(z)163
Bryant, Barrett R., see Mernik, Marjan, see Wu, Xiaoqing
Bryant, Kelvin S., 21(2)101--112
Bryant:1984:ILD, 9(3)149--159
Bryant:1986:TGI, 11(3)173--191
Bryant:1995:GGF, 21(2)101--112
Bryant:2015:SIP, 42(z)1
Bryant:2016:SIP, 45(z)163
BSD, 16(1)5--18
Buckley, Jim, 38(4)300--319
Buckley, Jim, see English, Michael
Budd, T. A., 7(2)69--87
Budd, Timothy A., 10(1)63--73
Budd:1982:IGC, 7(2)69--87
Budd:1985:PTS, 10(1)63--73
Buffenbarger, Jim, 50(z)20--30
Buffenbarger:2017:ACB, 50(z)20--30
buffer, 8(3)95--111
buffered, 20(1)1--23
buffering, 13(1)31--47
Buga, Andreea, 54(z)297--315
Buga:2018:EBB, 54(z)297--315
Bugliesi, Michele, 28(1)61--99
Bugliesi:2002:BTS, 28(1)61--99
build, 49(z)133--151, 50(z)20--30
building, 11(2)65--83, 22(4)225--235, 25(2)114--115, 25(2)115--116
bulk-synchronous, 33(3)111--133
Bureau, 5(2)52--z
Burns, A., 15(3)153--162
Burns:1990:NPR, 15(3)153--162
Burton, Eden, 51(z)90--101
Burton, F. W., 10(3)211--224
Burton, F. W., see Joy, M. S.
Burton:2018:OMD, 51(z)90--101
bus, 20(4)267--277
business, 8(3)113--124, 27(1)39--59, 43(z)69--95, 53(z)43--58
By-Example, Query-, 9(1)25--37
by-need, call-, 11(1)1--13
by-phase, phase-, 14(2)83--92
By-Rule, Query-, 10(3)165--178
by-rule, query-, 10(3)165--178
Byalik, Antuan, 48(z)3--19
Byalik, Antuan, see Chadha, Sanchit
bytecode, 32(2)125--139
bytecode-to-C, 34(4)170--183