Last update: Thu May 27 02:00:25 MDT 2021
Return to index directory
B
-
B, 21(2)79--89
-
Babin, G., 17(8)814--829
-
Babin:1991:SDT, 17(8)814--829
-
Badrinath, B. R., 24(5)391--400
-
Badrinath, B. R., see Welling, G.
-
Bae, Young Hyun, 21(7)593--604
-
Bae, Young Hyun, see Lim, Sung-Soo
-
Bagrodia, R. L., 17(10)1042--1058, 20(4)225--238, 20(12)914--932
-
Bagrodia, R. L., see Liu, Ying
-
Bagrodia:1991:MID, 17(10)1042--1058
-
Bagrodia:1994:MLD, 20(4)225--238
-
Bal, H. E., 18(3)190--205
-
Bal:1992:OLP, 18(3)190--205
-
Balabanovic, M., 21(4)288--301
-
Balabanovic, M., see Hayes-Roth, B.
-
balancing, 17(7)725--730, 17(9)922--933, 17(10)987--1004
-
balancing, load-, 18(2)148--158
-
Balasubramanian, V., 16(2)183--196
-
Balasubramanian:1990:TDE, 16(2)183--196
-
Balbo, G., 19(2)89--107
-
Balbo, G., see Chiola, G.
-
Ball, T., 25(3)334--346
-
Ball, T., see Atkins, D. L.
-
Ball, W. E., 19(3)277--296
-
Ball, W. E., see Roma, G. C.
-
Banawan, S. A., 19(9)902--911, 25(5)690--700
-
Banawan, S. A., see Chen, I. R.,
see Chen, Ing-Ray
-
Bandinelli, S., 21(5)440--454, 22(12)841--865
-
Bandinelli, S. C., 19(12)1128--1144
-
Bandinelli:1993:SPM, 19(12)1128--1144
-
Bandinelli:1995:MII, 21(5)440--454
-
Bandinelli:1996:SCS, 22(12)841--865
-
Banerjee, P., 16(2)183--196
-
Banerjee, P., see Balasubramanian, V.
-
bang, 19(7)661--671
-
Bang, Ki-Seok, 27(6)573--576
-
Bang:2001:CMC, 23(5)279--295, 27(6)573--576
-
banishing, 16(3)335--349
-
banker, 25(3)428--432
-
Banker, R. D., 19(4)379--389, 20(3)169--187
-
Banker:1993:RES, 19(4)379--389
-
Banker:1994:AOS, 20(3)169--187
-
Banlassad, E. L. A., 25(4)438--455
-
Banlassad, E. L. A., see Murphy, G. C.
-
Barbosa, V. C., 16(11)1311--1316
-
Barbosa:1990:SPC, 16(11)1311--1316
-
Barcucci, E., 16(1)32--38
-
Barcucci:1990:OSS, 16(1)32--38
-
Barnes, M., 19(5)529--532
-
Barnes, M., see Jeffery, D. R.
-
Barrett, B. E., 20(4)275--287
-
Barrett, B. E., see Matson, J. E.
-
Barrett, G., 21(2)69--78
-
Barrett:1995:MCP, 21(2)69--78
-
Barua, G., 22(2)120--131
-
Barua, G., see Gupta, D.
-
base, 19(6)571--583, 21(11)894--901
-
based, 14(11)1731--1738, 16(5)523--536, 17(4)345--356, 17(6)591--603,
20(1)72--87, 20(2)149--162, 20(9)665--676, 20(9)677--683,
20(12)885--899, 22(4)271--274, 23(4)203--213, 23(4)235--245,
23(4)246--259, 23(7)437--444, 23(7)445--460, 24(1)63--78,
24(5)376--390
-
based, algorithm-, 16(2)183--196
-
based, Commitment-, 18(10)870--885
-
based, ``Constraint-, 19(6)640--99999999
-
based, Constraint-, 17(9)900--910
-
based, entropy-, 18(11)1025--1029
-
based, event-, 21(9)717--734
-
based, failure-, 18(8)717--727
-
based, fault-, 16(8)844--857, 22(8)552--562
-
based, form-, 25(3)334--346
-
based, Invariant-, 17(8)789--799
-
based, knowledge-, 17(5)467--482, 17(9)872--883, 22(5)339--360
-
based, language-, 19(9)935--940
-
based, location-, 21(1)1--18
-
based, logic-, 17(10)1109--1125, 18(12)1053--1064,
19(2)198--199, 19(6)640--z
-
based, message-, 22(6)390--406
-
based, net-, 22(9)640--653
-
based, object-, 25(5)722--743
-
based, policy-, 25(6)852--869
-
based, port-, 23(12)759--776
-
based, Prolog-, 17(8)762--788
-
based, ``Property-, 23(3)190--197, 23(3)196--197, 23(8)533--z
-
based, Property-, 22(1)68--86
-
based, repository-, 20(3)169--187
-
based, resource-, 21(7)579--592
-
based, Rule-, 17(3)274--282
-
based, rule-, 19(3)277--296, 19(9)863--885, 21(3)181--199,
21(7)605--614
-
based, scenario-, 24(12)1072--1088, 24(12)1156--1170
-
based, Semantics-, 22(10)730--750
-
based, specification-, 19(5)436--452, 22(11)777--793,
24(6)471--490
-
based, State-, 19(1)24--40
-
based, state-, 22(6)363--377
-
based, Test-execution-, 21(5)405--414
-
based, Trace-, 25(1)122--135
-
based, transaction-, 19(8)804--812, 20(3)207--217
-
based, tree-, 21(12)945--958
-
based, Unix-, 23(3)171--184
-
based, Web-, 24(4)268--277
-
Basili, V. R., 17(2)141--152, 18(10)886--898, 18(11)931--942,
21(6)563--575, 22(1)68--86, 22(5)339--360, 22(10)751--761,
23(3)187--189, 23(3)190--197, 23(3)196--197, 24(7)559--572,
25(4)456--473, 25(5)722--743
-
Basili, V. R., see Abd-El-Hafiz, S. K.,
see Briand, L. C., \see{Morasca, S.,
see Oivo, M., \see{Poels, G.,
see Porter, A. A., \see{Seaman, C. B.,
see Selby, R. W.
-
Basili:1996:VOO, 22(10)751--761
-
Basili:1999:BKT, 25(4)456--473
-
basis, 18(12)1076--1100, 20(3)199--206
-
Bastani, F. B., 20(8)658--663
-
Bastani, F. B., see Chen, Ing-Ray
-
batched, 16(12)1433--1435
-
Batini, C., 19(4)344--365
-
Batini:1993:SPD, 19(4)344--365
-
Batory, D., 23(2)67--82
-
Batory, D. S., 16(11)1258--1272
-
Batory, D. S., see Mannino, M. V.
-
Batory:1997:CVS, 23(2)67--82
-
Battista, G., Di, 19(4)344--365, 21(8)662--673
-
Battiston, E., 22(10)689--705
-
Battiston:1996:MAN, 22(10)689--705
-
Bayesian, 16(11)1307--1310, 20(9)677--683, 25(4)573--583
-
BDL, 25(3)347--362
-
Beame, P., 24(7)498--520
-
Beame, P., see Chan, W.
-
Bear, S., 18(1)8--18
-
Bear, S., see Coleman, D.
-
Becker, G., 16(11)1307--1310
-
Becker:1990:BEM, 16(11)1307--1310
-
Beetem, A. F., 17(7)641--651
-
Beetem, A. F., see Beetem, J. F.
-
Beetem, J. F., 17(7)641--651
-
Beetem:1991:ISP, 17(7)641--651
-
behavior, 16(2)197--211, 16(2)216--223, 17(6)527--543, 19(11)1105--1118,
20(10)750--759, 23(4)235--245, 24(1)79--92
-
behavioral, 19(9)863--885, 24(4)233--251
-
Belli, F., 17(3)310--312, 17(6)513--526
-
Belli:1991:ARO, 17(3)310--312
-
Belli:1991:SFT, 17(6)513--526
-
Benander, A. C., 16(2)223--231
-
Benander, A. C., see Gorla, N.
-
Benander, B. A., 16(2)223--231
-
Benander, B. A., see Gorla, N.
-
benchmarking, 23(6)366--378
-
benefits, 24(4)302--312, 25(4)510--525
-
benefits, cost-, 23(6)329--346
-
Benitez, N., Lopez-, 20(5)345--352
-
Beounes, C., 17(4)370--382
-
Beounes, C., see Laprie, J. C.
-
Berger, J. L., 16(6)608--618
-
Berger:1990:CMW, 16(6)608--618
-
Berman, O., 19(11)1119--1123
-
Berman:1993:OMR, 19(11)1119--1123
-
Bernoulli, 21(8)682--688
-
Berry, D. M., 17(8)800--813, 17(12)1229--1240
-
Berry, D. M., see Lor, K. W. E.,
see Maarek, Y. S.
-
Berthomieu, B., 17(3)259--273
-
Berthomieu:1991:MVT, 17(3)259--273
-
Bertolazzi, P., 21(8)662--673
-
Bertolazzi:1995:PGD, 21(8)662--673
-
Bertolino, A., 20(12)885--899, 22(2)97--108
-
Bertolino:1994:AGP, 20(12)885--899
-
Bertolino:1996:UTM, 22(2)97--108
-
Bertrand, F., 25(3)347--362
-
Bertrand:1999:BSL, 25(3)347--362
-
Berzins, V., 19(5)436--452, 19(5)453--477
-
Berzins, V., see Kramer, B.
-
Berzins:1993:UTS, 19(5)436--452
-
Bezuidenhoudt, S. J., 22(5)294--301
-
Bezuidenhoudt, S. J., see Anderson, R. J.
-
Bhandari, I., 19(12)1157--1170
-
Bhandari, I. S., 18(11)943--956, 19(11)1055--1070
-
Bhandari, I. S., see Chaar, J. K.,
see Chillarege, R.
-
Bhandari:1993:CSS, 19(12)1157--1170
-
Bhansali, S., 24(10)848--862
-
Bhansali:1998:ASS, 24(10)848--862
-
Bharadwaj, R., 24(11)927--948
-
Bharadwaj, R., see Heitmeyer, C.
-
Bhattacharya, B. B., 18(11)979--987
-
Bhattacharya, B. B., see Khoshgoftaar, T. M.
-
Bi, Y. D., 16(8)897--916
-
Bi, Y. D., see Tsai, J. J. P.
-
Bicarregui, J., 21(2)79--89
-
Bicarregui:1995:IFP, 21(2)79--89
-
Bidding, 16(1)100--104
-
Bieman, J. M., 20(8)644--657, 24(2)111--124
-
Bieman:1994:MFC, 20(8)644--657
-
Bieman:1998:MDL, 24(2)111--124
-
bifunctional, 16(6)639--646
-
Bimbo, A., Del, 17(4)357--369, 19(10)997--1011
-
binary, 22(3)218--223
-
Binkley, D., 23(8)498--516
-
Binkley:1997:SGR, 23(8)498--516
-
Bishop, J. M., 16(4)389--402
-
Bishop:1990:EDA, 16(4)389--402
-
Biswas, J., 19(7)672--686
-
Biswas:1993:DSP, 19(7)672--686
-
bit, 16(11)1273--1281
-
Black, J. P., 21(6)515--527
-
Black, J. P., see Kunz, T.
-
blackboard, 21(3)244--262
-
Blackburn, J. D., 22(12)875--885
-
Blackburn:1996:ISP, 22(12)875--885
-
Blake, B. A., 17(1)34--44
-
Blake:1991:EER, 17(1)34--44
-
block, 18(2)159--167, 19(7)641--660, 19(11)1071--1086
-
blocking, 19(10)982--996
-
Bloom, B., 23(4)224--234
-
Bloom:1997:UPL, 23(4)224--234
-
Bochmann, G. v., 17(6)591--603, 20(1)29--42, 20(1)72--87
-
Bochmann, G. v., see Fujiwara, S.,
see Higashino, T., \see{Luo, G.
-
Bochmann, G. von, 20(2)149--162
-
Bochmann, G. von, see Luo, Gang
-
Boehm, B., 25(4)573--583
-
Boehm, B., see Chulani, S.
-
Boies, S. J., 19(3)297--306
-
Boies, S. J., see Ukelson, J. P.
-
Bolliger, J., 24(5)376--390
-
Bolliger:1998:FBA, 24(5)376--390
-
Bond, G. W., 15(11)1471--1480
-
Bond, G. W., see Karam, G. M.
-
Bonin, D. W., 17(11)1147--1165
-
Bonin, D. W., see Karger, P. A.
-
Boolean, 20(5)353--363
-
Borchering, J. W., 17(8)839--849
-
Borchering, J. W., see Taff, L. M.
-
Borgida, A., 21(10)785--798
-
Borgida:1995:FPP, 21(10)785--798
-
Boswell, A., 21(2)63--68
-
Boswell:1995:SVS, 21(2)63--68
-
Botting, 22(12)911--911
-
Botting, R. J., 22(12)911--z
-
Botting:1996:CFS, 21(10)799--821, 22(12)911--911, 22(12)911--z
-
bottlenecking, 21(9)776--782
-
Boucherie, R. J., 20(7)536--544
-
Boucherie:1994:CIC, 20(7)536--544
-
bound, 16(12)1390--1401, 17(2)117--125, 17(10)1005--1012, 20(7)516--525,
20(9)708--719, 21(7)605--614, 22(10)762--773
-
bounded, 20(5)325--336
-
Bounding, 23(10)603--615
-
Bourdeau, R. H., 21(10)799--821, 22(12)911--911, 22(12)911--z
-
Bourdeau, R. H., see Botting, R. J.
-
Bourdeau:1995:FSO, 21(10)799--821, 22(12)911--z
-
Bourdeau:1996:CRB, 22(12)911--911, 22(12)911--z
-
Boussinot, F., 22(4)256--266
-
Boussinot:1996:SSL, 22(4)256--266
-
Bouziane, M., 17(6)604--625
-
Bouziane, M., see Hsu, C.
-
Bowdidge, R. W., 24(7)534--558
-
Bowdidge, R. W., see Griswold, W. G.
-
box, 23(2)83--92
-
Boyd, S. C., 17(9)976--978
-
Boyd:1991:CGO, 17(9)976--978
-
Boyer--Moore, 16(9)1005--1023
-
Braccini, A., 17(4)357--369
-
Braccini:1991:ICD, 17(4)357--369
-
Bradac, M. G., 20(10)774--784
-
Bradac:1994:PPM, 20(10)774--784
-
branch, 16(4)471--z, 16(4)472--z, 19(8)774--787, 19(10)962--975,
z(10)1018--1024
-
Brasili, V. R., 19(11)1028--1044
-
Brasili, V. R., see Briand, L. C.
-
Breitbart, Y., 17(9)954--960
-
Breitbart:1991:RTS, 17(9)954--960
-
Breu, M., 20(8)594--605
-
Breu, M., see Aue, A.
-
Briand, L. C., 18(11)931--942, 19(11)1028--1044, 22(1)68--86,
22(10)751--761, 23(3)187--189, 23(3)190--197, 23(3)196--197,
25(1)91--121, 25(5)722--743
-
Briand, L. C., see Basili, V. R.,
see Morasca, S., \see{Poels, G.
-
Briand:1992:PRA, 18(11)931--942
-
Briand:1993:DIM, 19(11)1028--1044
-
Briand:1996:PBS, 22(1)68--86, 23(3)190--197, 23(3)196--197, 23(8)533--z
-
Briand:1997:RCP, 22(1)68--86, 23(3)190--197, 23(3)196--197
-
Briand:1999:DVM, 25(5)722--743
-
Briand:1999:UFC, 25(1)91--121
-
bridging, 17(5)454--466
-
bridging, projects-, 20(11)825--832
-
Brilliant, S. S., 16(2)238--247, 20(2)142--148
-
Brilliant, S. S., see Ammann, P. E.
-
Brilliant:1990:AFE, 16(2)238--247
-
Brocklehurst, S., 16(4)458--470
-
Brocklehurst:1990:RSR, 16(4)458--470
-
Brown, D., 19(12)1157--1170
-
Brown, D., see Bhandari, I.
-
Browne, J. C., 16(2)111--120, 19(7)672--686, 19(9)863--885
-
Browne, J. C., see Biswas, J.,
see Cheng, A. M. K.
-
Browne:1990:EER, 16(2)111--120
-
Bruegge, B., 24(8)615--628
-
Bruegge, B., see Dutoit, A. H.
-
Bruns, G., 25(3)334--346
-
Bruns, G., see Atkins, D. L.
-
Bryan, D., 21(4)336--354
-
Bryan, D., see Luckham, D. C.
-
Bucci, G., 21(12)969--992
-
Bucci:1995:CVT, 21(12)969--992
-
Buchholz, P., 25(2)166--181
-
Buchholz:1999:HSS, 25(2)166--181
-
buffer, 19(7)641--660, 20(1)1--12, 22(11)827--838
-
Buhr, R. J. A., 16(8)829--843, 17(10)1109--1125, 24(12)1131--1155
-
Buhr, R. J. A., see Karam, G. M.
-
Buhr:1998:UCM, 24(12)1131--1155
-
Building, 25(4)456--473
-
built-in, 21(11)894--901
-
Burh, 19(2)198--199
-
Burke, M. G., 16(7)723--728
-
Burke:1990:CAI, 16(7)723--728
-
Burns, A., 21(5)475--480, 23(2)107--123
-
Burns, A., see Wellings, A.
-
Burns, L., 18(3)216--224
-
Burns, L., see Whang, K. Y.
-
Burns, S., 24(7)498--520
-
Burns, S., see Chan, W.
-
Burns:1995:EAE, 21(5)475--480
-
Burton, F. W., 22(10)762--773, 25(6)870--882
-
Burton, F. W., see Simpson, D. J.
-
Burton:1996:GGM, 22(10)762--773
-
Bustard, D. W., 20(8)562--568
-
Bustard:1994:MCF, 20(8)562--568
-
Butler, G., 21(5)415--428
-
Butler, G., see Ng, F.
-
Butler, R. W., 19(1)3--12
-
Butler:1993:IQR, 19(1)3--12
-
Buttazzo, G. C., 25(1)22--32
-
Buttazzo:1999:MAR, 25(1)22--32
-
Buy, U. A., 17(11)1204--1222
-
Buy, U. A., see Avrunin, G. S.