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