Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
D
-
D, 10(1)88--89, 10(1)90--92, 11(2)185--191, 11(2)195--196, 12(2)170--172,
13(1)117--119, 13(1)122--125, 14(1)103--105, 16(1)92--93
-
D'Ambros, Marco, 75(4)276--287, 98(z)394--407
-
D'Ambros, Marco, see Olivero, Fernando
-
d'Amorim, Marcelo, 80(z)91--105
-
d'Amorim, Marcelo, see Rimsa, Andrei
-
D'Argenio, Pedro R., 174(z)90--108
-
D'Argenio, Pedro R., see Budde, Carlos E.
-
D'Hondt, Theo, 71(3)165--180, 75(4)232--246, 76(12)1113--1129,
78(10)1951--1970, 98(z)140--158, 98(z)376--393
-
D'Hondt, Theo, see Brichau, Johan,
see Castro, Sergio, \see{De Koster, Joeri,
see De Roover, Coen, \see{Fabry, Johan,
see Gómez, Verónica Uquillas
-
da Silva Feitosa, Samuel, 173(z)37--55
-
daCosta:2012:JSL, 77(4)533--550
-
daCosta:2012:VGG, 77(4)480--504
-
Dagnat, Fabien, 210(z)z--99999999
-
Dagnat, Fabien, see Guérin, Sylvain
-
Dagnino, Francesco, 197(z)z--99999999, 225(z)z--99999999
-
Dagnino, Francesco, see Ancona, Davide,
see Bianchini, Riccardo
-
DAGs, 137(z)63--97
-
Dai, Feng, 154(z)42--60
-
Dai, Feng, see Zhang, Min
-
Dai, Lirong, 57(1)89--108, 61(1)58--71, 66(1)87--102, 75(8)689--725
-
Dai, Lirong, see Bennett, Jeannette,
see Cooper, Kendra
-
Dai:2006:MPA, 61(1)58--71
-
Dai:2007:UFB, 66(1)87--102
-
Daikon, 69(1)35--45
-
Dal Lago, Ugo, 84(z)77--100, 185(z)z--99999999
-
Dal Lago, Ugo, see Avanzini, Martin
-
Dal Zilio, Silvano, 132(z)209--225, 206(z)z--99999999
-
Dal Zilio, Silvano, see Bourdil, Pierre-Alain,
see Ge, Ning
-
Dall'Osso, Aldo, 59(3)250--273
-
DallOsso:2006:CAS, 59(3)250--273
-
Dalton, Andrew R., 74(7)446--469
-
Dalton:2009:VRB, 74(7)446--469
-
Dalvandi, Mohammadsadegh, 148(z)49--65
-
Dalvandi:2017:DAC, 148(z)49--65
-
Dalvik, 92(z)25--55
-
Dam, Hoa Khanh, 78(6)684--694, 78(9)1728--1750
-
Dam, Mads, 50(1)73--99
-
Dam, Mads, see Giambiagi, Pablo
-
Dam:2013:SCI, 78(9)1728--1750
-
Dam:2013:TNG, 78(6)684--694
-
Damas-Milner, 22(3)231--256
-
daMata:2013:APC, 78(8)1193--1206
-
DAmbros:2010:DCS, 75(4)276--287
-
Damiani, Ferruccio, 78(2)218--247, 78(5)521--541, 78(7)907--932,
97(z)282--308, 117(z)17--44, 166(z)3--34, 166(z)146--166,
169(z)1--17, 172(z)203--231, 203(z)z--99999999, 224(z)z--99999999,
235(z)z--99999999
-
Damiani, Ferruccio, see Audrito, Giorgio,
see Beek, Maurice H. ter,
see Bettini, Lorenzo,
see Lienhardt, Michael
-
Damiani:2016:TSC, 117(z)17--44
-
Damiani:2019:FMM, 172(z)203--231
-
Damiani:2024:PSI, 235(z)z--99999999
-
Damljanovi{\'c}, Danica, 95(z)93--111, see Wang, Hai H.
-
Damm, W., 4(2)141--157
-
Damm, Werner, 55(1)81--115, 55(1)117--159, 77(10)1122--1150,
148(z)123--160
-
Damm, Werner, see Althaus, Ernst
-
Damm:2005:DTU, 55(1)81--115
-
Damm:2005:LLL, 55(1)117--159
-
Damm:2012:EFS, 77(10)1122--1150
-
Dan, Haitao, 78(4)345--363
-
Dan, Haitao, see Clark, John A.
-
Dan, Li, 85(z)41--99
-
Dan, Li, see Jakumeit, Edgar
-
Danaher, John S., 63(2)147--171
-
Danaher:2006:PEJ, 63(2)147--171
-
Dandamudi, Sravanthi, 74(7)446--469
-
Dandamudi, Sravanthi, see Dalton, Andrew R.
-
Daneva, Maya, 101(z)136--152, 227(z)z--99999999
-
Daneva, Maya, see Wang, Chong,
see Wieringa, Roel
-
Dang, H.-H., 85(z)204--223
-
Dang:2014:CLR, 85(z)204--223
-
Danicic, Sebastian, 62(3)228--252
-
Danicic, Sebastian, see Binkley, Dave
-
Daniel, 5(3)318--320, 11(1)88--90
-
Daniel, Gwendal, 149(z)9--14, 232(z)z--99999999
-
Daniel:2017:NMD, 149(z)9--14
-
Daniel:2024:AMD, 232(z)z--99999999
-
Daniele, 18(2)209--213
-
Dantas, Allberson Bruno de Oliveira, 173(z)95--127, 191(z)z--99999999
-
Dantas, Allberson Bruno de Oliveira,
see Silva, Jefferson de Carvalho
-
Dantas, Cristine, 65(3)249--274
-
Dantas, Cristine, see Murta, Leonardo
-
Dantas, Valéria L. L., 78(12)2381--2398,
see Marinho, Fabiana G.
-
Dantas:2020:CBF, 191(z)z--99999999
-
Danvy, Olivier, 16(2)151--195, 22(3)183--195, 60(3)274--297,
74(8)534--549
-
Danvy, Olivier, see Biernacki, Dariusz,
see Bondorf, Anders
-
Danvy:1994:BDS, 22(3)183--195
-
Danvy:2009:RW, 74(8)534--549
-
Dardenne, Anne, 20(1)3--50
-
Dardenne:1993:GDR, 20(1)3--50
-
Dardha, Ornela, 155(z)52--75
-
Dardha, Ornela, see Kouzapas, Dimitrios
-
Darquennes, Denis, 115(z)149--176
-
Darquennes, Denis, see Jacquet, Jean-Marie
-
Darrasse, Alexis, 66(3)246--265
-
Darrasse, Alexis, see Peschanski, Frédéric
-
Darrel, 12(2)174--175
-
Dart, 133(z)51--73
-
Darvas, Dániel, 157(z)17--40,
see Vörös, András
-
Dashboard, 202(z)z--99999999
-
daSilva:2005:CSA, 56(1)171--189
-
daSilvaFeitosa:2019:MSQ, 173(z)37--55
-
Dastani, M., 78(9)1278--1293
-
Dastani, M., see Astefanoaei, L.
-
Dastani, Mehdi, 160(z)1--2, 182(z)86--87
-
Dastani:2018:FSE, 160(z)1--2
-
Dastani:2019:FSE, 182(z)86--87
-
Daszkiewicz, Janina, Mincer-, 28(2)139--170
-
data, infinite-, 188(z)z--99999999
-
data, meta-, 97(z)349--365
-
data, Test-, 184(z)z--99999999
-
data-aware, 115(z)47--78
-
data-flow, 30(1)119--155, 201(z)z--99999999
-
data-intensive, 97(z)266--279
-
Data-race, 195(z)z--99999999
-
data-space, 63(1)3--15
-
database, 4(1)95--96, 22(1)67--105, 24(3)249--286, 27(2)175--184,
45(2)99--136, 45(2)137--153, 51(1)47--85, 97(z)113--121,
105(z)44--72, 234(z)z--99999999
-
database, multi-, 149(z)9--14
-
databases-with, 97(z)127--134
-
dataflow, 58(1)206--263, 207(z)z--99999999
-
dataflow-based, 78(10)1930--1950
-
dataset, 198(z)z--99999999, 227(z)z--99999999, 231(z)z--99999999
-
dataspaces, 46(1)71--98
-
datatypes, 22(1)67--105, 26(1)149--165, 76(3)204--224
-
Dausend, Marcel, 131(z)22--41
-
Dausend:2016:TCE, 131(z)22--41
-
Davenport, J. H., 14(1)103--105
-
Davenport:1990:BRB, 14(1)103--105
-
David, 4(1)95--96, 11(1)87--88, 11(1)94--95, 16(2)200--201
-
David, Alexandre, 113(z)236--260, 127(z)103--130
-
David, Alexandre, see Boudjadar, Abdeldjalil
-
David, Bertrand, 129(z)3--19
-
David, Bertrand, see Zhang, Bingxue
-
David, Cristina, 77(9)1006--1036
-
David, Cristina, see Chin, Wei-Ngan
-
Davies, Jim, 89(z)88--104, 89(z)126--143, 192(z)z--99999999
-
Davies:2014:CEM, 89(z)126--143
-
Davies:2014:MDE, 89(z)88--104
-
Davies:2020:FSA, 192(z)z--99999999
-
Davis, Brian, 57(3)319--338
-
Davis, Brian, see Gregg, David
-
Daw, Zamira, 111(z)277--299
-
Daw:2015:CMC, 111(z)277--299
-
Daylight, Edgar G., 72(3)71--135
-
Daylight:2008:FUE, 72(3)71--135
-
De Angelis, E., 95(z)149--175, 147(z)78--108
-
De Bosschere, K., 61(2)152--187
-
De Bosschere, K., see Linden, I.
-
De Francesco, Nicoletta, 21(3)225--261, 30(3)309--338, 32(1)145--176
-
De Francesco, Nicoletta, see Barbuti, Roberto
-
De Guglielmo, R., 133(z)116--153
-
De Guglielmo, R., see Benerecetti, M.
-
De Koster, Joeri, 98(z)140--158
-
De Maria, Elisabetta, 206(z)z--99999999
-
De Maria, Elisabetta, see L'Yvonnet, Thibaud
-
De Meuter, Wolfgang, 78(10)1951--1970, 80(z)52--64, 98(z)159--183,
98(z)360--375
-
De Meuter, Wolfgang, see De Roover, Coen,
see Marr, Stefan,
see Scholliers, Christophe
-
de Moraes, Rodrigo, Saar, 208(z)z--99999999
-
De Nicola, Rocco, 63(1)57--87, 64(2)187--204, 75(6)376--397,
168(z)71--93, 187(z)z--99999999, 192(z)z--99999999,
202(z)z--99999999, 223(z)z--99999999
-
De Nicola, Rocco, see Alrahman, Yehia Abd
-
De Palma, Noel, 117(z)1--16, 146(z)87--103
-
De Palma, Noel, see Abid, Rim
-
de Roever, W. P., 6(3)213--272
-
de Roever, W. P., see van Diepen, N. W. P.
-
De Roever, Willem P., 4(2)159--204
-
De Roever, Willem P., see Gerth, Rob
-
De Roover, Coen, 76(12)1113--1129, 78(10)1951--1970, 96(z)107--120,
207(z)z--99999999, 227(z)z--99999999
-
De Roover, Coen, see Castro, Sergio,
see Stevens, Reinout,
see Velázquez-Rodríguez, Camilo,
see Zerouali, Ahmed
-
De Smet, Benoît, 79(z)260--278
-
De Snepscheut, Jan L. A., Van, 15(2)119--133
-
de Snepscheut, Jan L. A., van, 7(1)55--60, 12(2)151--155
-
De Stefano, Manuel, 214(z)z--99999999
-
De Turck, Filip, 66(1)4--24
-
De Turck, Filip, see Verstichel, Stijn
-
de Vink, E. P., 13(2)237--264
-
De Vorst, J. G. G., Van, 15(2)159--169
-
de Vries, Laurens, 24(2)149--158
-
de Vries, Laurens, see Kaldewaij, Anne
-
de'Liguoro, Ugo, 167(z)25--50
-
de'Liguoro, Ugo, see Barbanera, Franco
-
de-Ipiña, Diego, López-, 78(10)1892--1894
-
de-Jesus, Lurdes, Pedro-, 45(2)137--153
-
de-Prado, Alfonso, Garcia-, 198(z)z--99999999
-
deactivation, 156(z)104--120
-
dead, 47(2)221--242
-
deadlock, 4(3)249--256, 23(1)55--89, 30(3)309--338, 76(2)82--99,
78(12)2488--2510, 98(z)184--204, 181(z)64--81, 197(z)z--99999999,
233(z)z--99999999
-
deadlock-free, 4(3)249--256
-
dealing, 3(1)65--100, 97(z)426--457
-
deals, 56(3)275--313
-
DeAngelis:2014:PVI, 95(z)149--175
-
DeAngelis:2017:SBG, 147(z)78--108
-
debate, 15(1)97--97
-
Debbabi, Mourad, 59(1)38--63
-
Debbabi:2006:SDC, 59(1)38--63
-
deBerardinis:2018:ABM, 168(z)142--164
-
deBoer:2005:P, 55(1)1--2
-
deBoer:2015:IPP, 112(z)102--118
-
Debray, 18(2)213--215
-
deBrugiere:2022:DTA, 214(z)z--99999999
-
debt, 163(z)42--61, 213(z)z--99999999
-
debugger, 110(z)104--118
-
debugging, 4(3)221--248, 22(3)283--306, 22(3)307--326, 24(3)249--286,
27(1)37--83, 40(2)151--169, 58(1)115--140, 75(7)496--515,
79(z)101--115, 96(z)156--174, 134(z)4--18, 161(z)122--148,
169(z)18--32, 194(z)z--99999999, 200(z)z--99999999,
206(z)z--99999999
-
Debugopt, 169(z)18--32
-
Decan, Alexandre, 208(z)z--99999999
-
Decan:2021:LZS, 208(z)z--99999999
-
decay, 62(2)184--203
-
December, 4(2)219--219, 200(z)z--z, 212(z)z--z, 224(z)z--z
-
decentralised, 97(z)202--234
-
decentralized, 98(z)117--119
-
decidability, 99(z)3--23
-
decidable, 80(z)264--287
-
Deciding, 138(z)1--25
-
decision, 18(1)67--106, 22(1)45--65, 22(1)107--135, 29(1)79--98,
31(1)3--45, 31(1)91--112, 58(1)179--205, 77(4)518--532,
77(5)551--576, 78(12)2537--2579, 202(z)z--99999999
-
decision-making, 75(5)311--332, 167(z)51--69
-
declarations, 87(z)44--61
-
declarative, 32(1)145--176, 84(z)1--2, 111(z)1--2, 115(z)79--99,
139(z)36--55, 147(z)1--2, 155(z)1--2, 181(z)27--46, 181(z)47--63
-
declarative, zoom-, 110(z)104--118
-
Decoding, 21(2)93--113, 214(z)z--99999999
-
Decomposability, 26(1)149--165
-
decomposed, 94(z)144--163
-
decomposing, 18(3)223--245
-
decomposition, 2(3)155--173, 9(1)85--89, 20(1)73--111, 20(3)253--289,
211(z)z--99999999
-
decomposition-based, 180(z)18--35
-
Decoupling, 70(1)62--86
-
Decryption, 21(2)93--113
-
dedicated, 78(2)168--194
-
deductive, 1(1)5--48, 91(z)216--233, 226(z)z--99999999
-
deduplication, 232(z)z--99999999
-
deep, 56(1)157--170, 219(z)z--99999999
-
Défago, Xavier, 97(z)426--457, see Pham, Thanh-Trung
-
defect, 226(z)z--99999999
-
Defending, 217(z)z--99999999
-
defined, 72(3)220--239, 195(z)z--99999999
-
defined, software-, 187(z)z--99999999
-
defined, user-, 77(9)1006--1036, 148(z)189--212
-
defining, 75(11)980--1000, 78(12)2414--2432, 166(z)214--230
-
definition, 7(1)61--86, 11(2)107--131, 14(1)81--96, 14(1)106--109,
24(3)249--286, 66(1)25--43, 129(z)20--34, 138(z)26--48
-
definitional, 10(3)221--245
-
deforestation, 32(1)73--107, 132(z)77--95
-
DeFrancesco:1993:ACN, 21(3)225--261
-
DeFrancesco:1998:SSR, 30(3)309--338
-
deFreitas:2008:NPG, 73(2)129--135
-
Degano, Pierpaolo, 50(1)1--1, 187(z)z--99999999, 208(z)z--99999999
-
Degano, Pierpaolo, see Basile, Davide,
see Busi, Matteo
-
Degano:2004:P, 50(1)1--1
-
Degenaar, Patrick, 200(z)z--99999999
-
Degenaar, Patrick, see Freitas, Leo
-
Degiovanni, Renzo, 181(z)47--63
-
Degiovanni, Renzo, see Molina, Facundo
-
deGraaf:2016:HOA, 121(z)75--99
-
degradation, 154(z)89--133
-
degree, 64(1)54--75, 97(z)366--380, 150(z)56--74, 214(z)z--99999999
-
Deharbe, David, 199(z)z--99999999
-
Deharbe, David, see Lecomte, Thierry
-
Déharbe, David, 77(4)518--532, 78(3)310--326, 94(z)130--143,
see Oliveira, Diego Caminha B. de
-
Deharbe:2013:ISS, 78(3)310--326
-
Deharbe:2014:ISS, 94(z)130--143
-
Dejanovi{\'c}, Igor, 214(z)z--99999999
-
Dejanovic:2022:PLG, 214(z)z--99999999
-
Dejter, Italo José, 25(1)63--77
-
DeKoster:2015:DSS, 98(z)140--158
-
Del Gobbo, D., 56(3)343--361
-
Del Gobbo, D., see Cortellessa, V.
-
Delahaye, Mickaël, 207(z)z--99999999,
see Bardin, Sébastien
-
Delamaro, M. E., 56(1)211--230
-
Delamaro, M. E., see Vincenzi, A. M. R.
-
Delamaro, Marcio, 95(z)298--319
-
Delamaro, Marcio, see Papadakis, Mike
-
Delamaro, Marcio E., 152(z)99--115
-
Delamaro, Marcio E., see Durelli, Vinicius H. S.
-
Delatour, Jérome, 232(z)z--99999999,
see Jouault, Frédéric
-
delaVara:2024:PSP, 233(z)z--99999999
-
delayed, 76(4)227--242
-
delaying, 123(z)2--41
-
delays, 105(z)124--144
-
deLeeuw:2007:P, 67(1)1--2
-
Delegates, 160(z)3--29
-
delegation, 21(2)93--113, 76(11)992--1014
-
Delen, G. P. A. J., 130(z)37--68
-
Delen:2016:LDI, 130(z)37--68
-
Delgado, 11(1)95--97
-
delimited, 60(3)274--297
-
DeLisi, Michael, 76(2)65--81
-
DeLisi, Michael, see Li, Guodong
-
delivers, 4(1)45--86
-
delivery, 24(2)105--128
-
Delmas, Rémi, 103(z)71--87, see Champion, Adrien
-
delta-oriented, 166(z)3--34
-
demand-driven, 98(z)645--679, 190(z)z--99999999
-
deMedeiros:2020:ASE, 187(z)z--99999999
-
Demeester, Piet, 66(1)4--24
-
Demeester, Piet, see Verstichel, Stijn
-
Demetrescu, Camil, 53(1)37--49
-
Demetrescu, Camil, see Bonifaci, Vincenzo
-
Demoen, Bart, 84(z)101--120
-
Demoen, Bart, see Schrijvers, Tom
-
demonic, 20(3)223--251, 65(2)140--158, 65(2)159--172, 111(z)339--362
-
demonstration, 149(z)1--2
-
Demonstrations, 234(z)z--99999999
-
deMoor:1999:BAG, 35(1)3--27
-
Demuth, Birgit, 44(1)51--69, 79(z)189--203
-
Demuth, Birgit, see Hussmann, Heinrich,
see Zschaler, Steffen
-
den Berghe, Steven, Van, 66(1)4--24
-
den Broek, P. M., van, 24(1)63--81
-
den Eijnde, J. P. H. W., van, 15(1)79--94, 22(1)3--19
-
Deng, Gan, 73(1)39--58
-
Deng, Gan, see Gokhale, Aniruddha
-
Deng, Xi, 201(z)z--99999999
-
Deng, Xi, see Yan, Jiwei
-
Deng, Yi, 57(1)89--108
-
Deng, Yi, see Cooper, Kendra
-
Deng, Yuxin, 78(12)2537--2579, 162(z)1--2
-
Deng, Yuxin, see Bonsangue, Marcello
-
Deng:2013:CRW, 78(12)2537--2579
-
denHartog:2008:TMC, 74(1)52--63
-
denial, 75(7)516--542, 229(z)z--99999999
-
DeNicola:2006:CDP, 63(1)57--87
-
DeNicola:2007:GCD, 64(2)187--204
-
DeNicola:2010:FLS, 75(6)376--397
-
DeNicola:2020:MAS, 187(z)z--99999999
-
DeNicola:2021:PCI, 202(z)z--99999999
-
DeNicola:2022:ART, 223(z)z--99999999
-
Denier, Simon, 76(12)1177--1193, 79(z)6--22
-
Denier, Simon, see Fabry, Johan,
see Laval, Jannik
-
Denis, Richard, St-, 94(z)217--237
-
Denker, M., 140(z)2--16
-
Denker, M., see Papoulias, N.
-
Denker, Marcus, 96(z)52--69, 98(z)318--338, 98(z)339--359
-
Denker, Marcus, see Allende, Esteban,
see Arnaud, Jean-Baptiste,
see Peck, Mariano Martinez
-
Denmark, 432(0)ix--435
-
Dennis, Louise A., 148(z)88--106
-
Dennis, Louise A., see Kamali, Maryam
-
Denny, Joel E., 75(11)943--979
-
Denny:2010:IAG, 75(11)943--979
-
denotational, 1(3)203--222, 11(2)107--131, 11(2)185--191, 12(3)207--253,
12(3)260--264, 13(2)237--264, 21(3)263--291, 28(1)43--90,
33(2)133--162, 34(3)163--190, 232(z)z--99999999
-
density, 115(z)149--176
-
Denti, Enrico, 41(3)277--294, 57(2)217--250, 66(3)226--245
-
Denti, Enrico, see Omicini, Andrea,
see Viroli, Mirko
-
Denti:2005:MPJ, 57(2)217--250
-
Deo, Narsingh, 12(2)151--155
-
deOliveira:2012:CDP, 77(4)518--532
-
deoptimization, 74(5)279--295
-
Dependability, 91(z)188--215
-
dependable, 200(z)z--99999999, 206(z)z--99999999
-
dependence, 67(1)105--124, 77(6)707--726, 78(9)1240--1263, 105(z)3--25
-
dependency, 5(1)83--96, 13(1)23--50, 31(1)3--45, 54(2)257--290,
66(3)205--225, 75(11)1113--1141, 78(8)1055--1072, 89(z)298--319,
184(z)z--99999999, 195(z)z--99999999
-
dependent, 26(1)167--177, 84(z)77--100
-
dependent, Context-, 78(12)2331--2346
-
dependent, context-, 77(6)685--706
-
dependent, Effect-, 155(z)27--51
-
dependent, history-, 65(1)30--40
-
dependent, Property-, 96(z)354--376
-
dependent, timing-, 134(z)4--18
-
dependent, trust-, 74(1)34--42
-
dependently, 208(z)z--99999999
-
dephasing, 185(z)z--99999999
-
Depke, Ralph, 44(2)229--252
-
Depke:2002:FAO, 44(2)229--252
-
deployed, 54(2)143--211
-
deployment, 45(2)245--270, 79(z)52--69, 113(z)261--284,
199(z)z--99999999, 232(z)z--99999999
-
dePutter:2020:CMC, 196(z)z--99999999
-
der Nat, M., van, 7(1)23--33
-
der Sommen, F. W., van, 29(3)327--334
-
Der Straeten, R., Van, 78(2)168--194
-
Der Straeten, Ragnhild, Van, 87(z)62--94
-
der Woude, Jaap, van, 12(3)177--190
-
dereference, null-, 98(z)645--679
-
derivation, 1(3)235--254, 3(1)1--35, 6(1)1--9, 6(3)213--272, 7(1)55--60,
8(1)1--42, 10(1)19--32, 10(2)107--137, 11(3)197--261, 12(2)93--104,
14(2)229--242, 15(2)201--215, 18(2)205--207, 19(1)1--23, 22(1)3--19,
22(1)67--105, 22(1)107--135, 24(1)1--39, 28(1)1--41, 28(2)247--271,
33(3)221--260, 105(z)145--170, 148(z)49--65, 175(z)63--84
-
derive, 90(z)161--179
-
derived, 19(2)171--196, 118(z)24--39
-
Deriving, 9(1)1--15, 10(1)19--32, 20(3)205--221, 26(1)117--132,
38(1)1--25, 78(11)2047--2063, 85(z)137--165, 95(z)254--271,
98(z)484--515
-
deRoever:2010:RAP, 75(4)211--213
-
Derrick, J., 33(3)261--298
-
Derrick, J., see Bowman, H.
-
Derrick, John, 35(1)29--75, 75(3)192--210, 75(12)1262--1269,
76(9)737--738, 85(z)137--165, 111(z)214--247, 184(z)z--99999999
-
Derrick, John, see Boiten, Eerke,
see Dongol, Brijesh, \see{Winter, Kirsten
-
Derrick:2010:MTA, 75(3)192--210
-
DescribeML, 231(z)z--99999999
-
Describing, 65(2)173--194
-
description, 3(3)223--278, 5(3)233--264, 14(1)106--109, 15(1)15--54,
15(1)98--98, 15(1)98--100, 16(3)251--275, 21(2)115--139,
21(3)225--261, 24(1)41--61, 24(3)221--248, 26(1)15--31, 26(1)33--57,
26(1)59--78, 26(1)79--97, 26(1)99--115, 26(1)117--132,
26(1)133--148, 26(1)179--196, 26(1)237--254, 26(1)255--272,
28(0)91--299, 28(2)193--223, 33(2)101--131, 33(3)261--298,
34(1)1--54, 34(2)79--140, 44(1)23--49, 61(1)4--15, 75(11)1001--1021,
78(10)1751--1751, 86(z)1--2, 86(z)3--29, 86(z)30--42, 87(z)1--1,
231(z)z--99999999
-
Desharnais, J., 26(1)237--254, 56(3)343--361
-
Desharnais, J., see Cortellessa, V.,
see Frappier, M.
-
Desharnais, Jules, 20(3)253--289, 38(1)73--123, 65(2)173--194,
76(3)181--203, 78(9)1212--1239, 78(11)2027--2028, 131(z)76--93,
138(z)26--48
-
Desharnais, Jules, see Ayed, Rahma Ben,
see Fernandes, Therrezinha,
see Huynh, Nghi, \see{Mraihi, Olfa
-
Desharnais:1993:MSD, 20(3)253--289
-
Desharnais:2011:IAD, 76(3)181--203
-
Desharnais:2013:MPC, 78(11)2027--2028
-
Desharnais:2017:PPS, 138(z)26--48
-
design, 4(3)221--248, 5(1)37--58, 5(2)171--199, 8(3)213--229,
11(1)94--95, 13(1)23--50, 14(1)105--106, 14(2)305--321, 15(1)95--97,
15(2)171--183, 15(2)185--200, 18(1)107--137, 18(2)218--221,
18(2)221--222, 19(1)25--59, 19(2)87--152, 20(1)73--111,
20(1)141--171, 21(1)1--56, 22(0)181--356, 22(1)107--135,
24(2)185--186, 24(3)189--220, 24(3)221--248, 25(1)41--61,
25(1)63--77, 26(1)5--9, 26(1)15--31, 26(1)99--115, 27(2)185--204,
28(0)91--299, 28(2)111--138, 28(2)139--170, 29(1)53--78,
29(1)99--122, 38(1)125--142, 40(1)3--29, 40(1)119--145, 42(1)29--38,
53(1)25--36, 54(1)3--23, 54(1)25--47, 55(1)185--208, 56(1)23--39,
59(1)147--169, 65(1)41--56, 71(1)73--87, 73(2)76--94, 74(4)168--196,
75(7)638--667, 76(4)225--226, 76(12)1113--1129, 76(12)1247--1260,
77(2)113--128, 77(7)799--822, 77(12)1212--1234, 78(6)682--683,
78(11)2064--2085, 80(z)211--222, 80(z)311--342, 86(z)89--102,
88(z)22--40, 88(z)41--53, 90(z)1--1, 90(z)161--179, 93(z)19--38,
95(z)406--425, 96(z)460--487, 97(z)23--30, 97(z)349--365,
98(z)52--79, 98(z)408--421, 101(z)21--41, 106(z)3--29, 117(z)1--16,
129(z)48--71, 132(z)50--76, 158(z)122--147, 165(z)3--23,
192(z)z--99999999, 202(z)z--99999999, 206(z)z--99999999,
228(z)z--99999999, 233(z)z--99999999
-
design-by-contract, 100(z)2--27
-
Design-code, 40(2)213--234
-
Design-time, 53(3)285--304
-
Designed, 88(z)92--109
-
designing, 8(3)213--229, 22(1)107--135, 44(2)205--227, 53(3)353--380,
66(1)71--86, 75(8)669--671, 76(11)970--991, 78(10)1987--2008,
103(z)13--50, 113(z)191--220
-
DESOLA, 76(4)227--242
-
Desouter, Benoit, 84(z)101--120
-
Desouter, Benoit, see Schrijvers, Tom
-
Despland, Annie, 15(1)15--54
-
Despland:1990:URT, 15(1)15--54
-
destructive, 12(1)83--84
-
Destructively, 10(2)177--210
-
desynchronisation, 91(z)45--69
-
desynchronization, 228(z)z--99999999
-
detailed, 232(z)z--99999999
-
detect, 105(z)26--43
-
detecting, 11(2)107--131, 29(1)259--278, 67(2)125--161, 95(z)406--425,
150(z)56--74, 162(z)93--109, 163(z)160--173, 180(z)18--35
-
detection, 1(1)115--144, 8(2)203--211, 9(3)271--286, 10(2)107--137,
22(1)157--180, 23(1)55--89, 40(2)235--263, 60(1)1--26, 61(1)16--26,
69(1)35--45, 74(7)470--495, 75(1)71--84, 76(7)609--626,
76(12)1261--1274, 95(z)44--72, 113(z)3--28, 163(z)62--84,
182(z)42--63, 195(z)z--99999999, 212(z)z--99999999,
217(z)z--99999999, 227(z)z--99999999, 231(z)z--99999999,
234(z)z--99999999
-
detector, 95(z)390--405
-
determination, 6(3)313--318, 41(2)173--194
-
determinism, 76(9)774--791, 77(7)889--907
-
determinism, non-, 152(z)70--98
-
deterministic, 38(1)143--146, 80(z)343--355
-
deterministic, non-, 5(3)277--307, 78(9)1324--1345,
204(z)z--99999999
-
Deun, Joris, Van, 90(z)2--20
-
Deursen, Arie van, 34(2)159--161, 36(2)303--324, 40(2)189--211,
60(2)205--220, 97(z)173--180
-
Deutschbein, Calvin, 172(z)102--116
-
Deutschbein:2019:MCC, 172(z)102--116
-
Devanbu, Premkumar, 72(1)40--51
-
Devanbu, Premkumar, see Jackson, Stoney
-
develop, 77(3)189--213, 79(z)39--51
-
developer, 91(z)249--265, 95(z)344--358, 178(z)1--19, 201(z)z--99999999
-
developing, 2(3)207--214, 10(2)213--215, 11(2)161--165, 20(1)51--71,
73(1)39--58, 74(5)379--396, 74(11)879--899, 77(1)46--65,
78(6)695--704, 78(7)884--905, 78(10)1951--1970, 97(z)41--46,
113(z)191--220
-
development, 1(1)149--155, 2(1)53--68, 2(3)207--214, 3(1)1--35,
4(1)17--44, 7(2)99--241, 8(2)113--137, 10(1)92--93, 11(1)17--28,
11(3)263--297, 12(1)87--88, 12(2)174--175, 14(2)133--158,
14(2)281--304, 15(2)217--233, 18(1)107--137, 19(2)171--196,
20(1)51--71, 20(3)173--204, 28(2)247--271, 33(1)1--27, 36(1)5--25,
46(3)219--254, 66(1)25--43, 67(1)3--31, 73(1)13--25, 74(9)754--776,
75(4)214--215, 77(3)129--130, 78(3)310--326, 78(8)1073--1098,
78(11)2243--2244, 78(11)2268--2281, 78(11)2282--2291, 79(z)70--85,
79(z)189--203, 80(z)25--49, 86(z)58--73, 88(z)1--2, 89(z)199--221,
89(z)320--349, 90(z)42--54, 95(z)1--2, 97(z)17--22, 97(z)31--36,
98(z)80--99, 101(z)124--135, 102(z)1--19, 113(z)1--2,
121(z)100--127, 131(z)59--75, 131(z)126--150, 156(z)z--99999999,
157(z)56--70, 158(z)148--167, 161(z)2--17, 168(z)18--37,
168(z)38--70, 199(z)z--99999999, 200(z)z--99999999,
202(z)z--99999999, 204(z)z--99999999, 208(z)z--99999999,
215(z)z--99999999, 226(z)z--99999999, 227(z)z--99999999,
230(z)z--99999999, 231(z)z--99999999, 233(z)z--99999999,
235(z)z--99999999
-
device, 1(3)157--202, 5(2)111--142, 8(1)105--112, 8(2)203--211,
29(1)53--78, 173(z)21--36
-
device, cross-, 225(z)z--99999999
-
device, multi-, 206(z)z--99999999
-
Deville, Y., 30(1)227--250
-
Deville, Y., see Nguyen, T.
-
Devillers, Raymond, 157(z)41--55
-
Devillers, Raymond, see Best, Eike
-
deVink:1990:CSP, 13(2)237--264
-
Devitt, Simon, 151(z)1--1
-
Devitt, Simon, see Lanese, Ivan
-
DFAs, 48(2)81--97
-
Dhoedt, Bart, 66(1)4--24
-
Dhoedt, Bart, see Verstichel, Stijn
-
Dhumbumroong, Smith, 198(z)z--99999999
-
Dhumbumroong:2020:BTE, 198(z)z--99999999
-
Di Benedetto, Paolo, 78(8)987--1009
-
Di Benedetto, Paolo, see Autili, Marco
-
Di Cosmo, Roberto, 76(12)1144--1160, 90(z)93--115
-
Di Cosmo, Roberto, see Abate, Pietro
-
Di Giamberardino, Paolo, 109(z)61--95
-
Di Giamberardino, Paolo, see Bartoletti, Massimo
-
Di Giandomenico, Felicita, 187(z)z--99999999
-
Di Giandomenico, Felicita, see Basile, Davide
-
Di Giusto, Cinzia, 97(z)235--265
-
Di Iorio, Angelo, 94(z)1--2
-
Di Iorio, Vladimir O., 96(z)191--210
-
Di Iorio, Vladimir O., see Reis, Leonardo V. S.
-
Di Martino, Beniamino, 40(2)235--263
-
Di Marzo Serugendo, Giovanna, 110(z)1--2
-
Di Marzo Serugendo, Giovanna,
see Fernandez-Marquez, Jose Luis
-
Di Nucci, D., 232(z)z--99999999
-
Di Nucci, D., see Driessen, S. W.
-
Di Nucci, Dario, 205(z)z--99999999, 218(z)z--99999999,
227(z)z--99999999
-
Di Nucci, Dario, see Constantinou, Eleni,
see Pecorelli, Fabiano,
see Velázquez-Rodríguez, Camilo
-
Di Penta, Massimiliano, 105(z)26--43
-
Di Penta, Massimiliano, see Cerulo, Luigi
-
Di Rocco, Juri, 232(z)z--99999999
-
Di Rocco, Juri, see Basciani, Francesco
-
Di Ruscio, Davide, 70(1)62--86, 76(12)1144--1160, 89(z)69--70,
98(z)1--2, 234(z)z--99999999
-
Di Ruscio, Davide, see Brand, Mark van den,
see Cicchetti, Antonio,
see Di Cosmo, Roberto
-
Di Salle, Amleto, 197(z)z--99999999
-
Di Salle, Amleto, see Autili, Marco
-
Di Sandro, Alessio, 231(z)z--99999999
-
Di Sorbo, Andrea, 205(z)z--99999999
-
Di Sorbo, Andrea, see Kallis, Rafael
-
Di Stefano, Luca, 187(z)z--99999999, 223(z)z--99999999
-
Di Stefano, Luca, see De Nicola, Rocco
-
diagnose, 53(2)125--141
-
Diagnosing, 76(12)1113--1129
-
diagnosis, 95(z)200--218, 235(z)z--99999999
-
diagram, 1(3)203--222, 8(3)231--274, 29(1)79--98, 31(1)3--45,
31(1)91--112, 44(1)101--129, 44(2)157--180, 65(1)14--29,
68(3)155--178, 74(1)34--42, 78(12)2414--2432, 111(z)277--299,
197(z)z--99999999, 216(z)z--99999999, 228(z)z--99999999,
234(z)z--99999999
-
diagram, block-, 48(1)21--42
-
diagram-based, 230(z)z--99999999
-
dialect, 17(1)217--245, 32(1)49--72
-
dialling, 29(1)259--278
-
Diallo, Nafi, 138(z)26--48
-
Diallo, Nafi, see Desharnais, Jules
-
dialogue, 54(1)99--124
-
dialysis, 175(z)17--34
-
diamonds, 91(z)45--69
-
Dias, Diego, 92(z)105--128
-
Dias:2014:CCF, 92(z)105--128
-
DiaSuite, 79(z)39--51
-
Diaz, 15(1)98--98, 15(1)98--100
-
Díaz, Á., Fernández-, 98(z)205--232
-
Díaz, Eduardo, 204(z)z--99999999
-
Díaz, Gregorio, 77(3)290--313,
see Valero, Valentín
-
Díaz, Vicente, García-, 207(z)z--99999999
-
Díaz-Agudo, Belén, 69(1)68--75, 79(z)126--145,
see Recio-García, Juan A.
-
Diaz-Agudo:2007:BCS, 69(1)68--75
-
Diaz-Pace, Jorge Andrés, 172(z)264--293,
see Sánchez, Luis Emiliano
-
Diaz:2021:RES, 204(z)z--99999999
-
Dick, Jeremy, 29(1)53--78
-
Dick, Jeremy, see Bicarregui, Juan
-
DiCoMEF, 113(z)3--28
-
DiCosmo:2011:SSE, 76(12)1144--1160
-
didactic, 176(z)1--13
-
Didier, André, 174(z)1--37, see Cavalcanti, Ana
-
Diehl, Stephan, 38(1)125--142, 53(1)25--36, 230(z)z--99999999
-
Diehl, Stephan, see Bieg, Claudia,
see Moseler, Oliver
-
Diehl:2000:GMD, 38(1)125--142
-
Dielissen, Victor J., 26(1)149--165
-
Dielissen, Victor J., see Kaldewaij, Anne
-
Diepen, N. W. P., van, 6(3)213--272
-
Dierkes, Michael, 103(z)71--87
-
Dierkes, Michael, see Champion, Adrien
-
Dierks, Henning, 77(10)1122--1150
-
Dierks, Henning, see Damm, Werner
-
Diertens, Bob, 45(2)175--191
-
Diertens, Bob, see Brunekreef, Jacob
-
Dieumegard, Arnaud, 199(z)z--99999999
-
Dieumegard, Arnaud, see Bodeveix, Jean-Paul
-
Díez, Guillermo, Román-, 92(z)2--24
-
difference, 24(3)189--220, 27(1)1--35, 78(9)1208--1211,
231(z)z--99999999
-
different, 27(1)1--35, 96(z)417--443, 150(z)1--25, 214(z)z--99999999
-
differential, 22(3)307--326, 27(3)217--262, 30(1)3--49,
188(z)z--99999999
-
differentiation, 26(1)99--115, 231(z)z--99999999
-
difficulty, 4(3)221--248
-
Diggers, 2(1)89--89
-
digital, 4(1)1--15, 6(2)191--205, 7(1)1--22, 7(3)249--278, 8(1)43--67,
8(1)87--103, 8(1)105--112, 8(3)213--229, 8(3)231--274, 10(1)1--18,
11(1)95--97, 13(1)111--116, 13(2)133--180, 14(2)229--242,
15(2)159--169, 15(2)201--215, 15(2)217--233, 18(1)1--38,
22(1)107--135, 23(2)287--311, 27(1)37--83, 27(2)185--204,
33(2)133--162, 53(1)87--105, 203(z)z--99999999, 432(0)ix--435
-
digraph, 7(2)243--248
-
DiIorio:2014:WTS, 94(z)1--2
-
Dijkstra, 12(2)165--167, 22(1)137--155, 23(1)91--101, 28(2)171--192,
150(z)75--86
-
Dijkstra, Atze, 137(z)98--124
-
Dijkstra, Atze, see Bransen, Jeroen
-
Dijkstra, Edsger W., 1(1)3--4, 1(3)223--233, 2(1)85--85, 2(1)312--318,
9(3)213--220
-
Dijkstra, Rutger M., 37(1)3--36
-
Dijkstra-Feijen, 22(1)67--105
-
Dijkstra:1960:RPb, 2(1)312--318, 150(z)75--86
-
Dijkstra:1981:WW, 1(1)3--4
-
Dijkstra:1982:ESA, 1(3)223--233, 2(1)85--85
-
Dijkstra:1982:SAS, 1(3)223--233, 2(1)85--85
-
Dijkstra:1987:HEB, 9(3)213--220
-
Dijkstra:2000:CCB, 37(1)3--36
-
Dijstra, 22(1)3--19
-
Dillencourt, Michael B., 31(2)291--311
-
Dillencourt, Michael B., see Fukuda, Munehiro
-
Diller, 12(2)164--165
-
Dilworth, 9(1)85--89
-
DiMartino:2001:PPA, 40(2)235--263
-
dimensional, 29(1)199--233
-
dimensional, high-, 150(z)26--30
-
Dimovski, Aleksandar S., 105(z)145--170, 159(z)1--27,
213(z)z--99999999
-
Dimovski, Aleksandar S., see Midtgaard, Jan
-
Dimovski:2018:VAL, 159(z)1--27
-
Dimovski:2022:SLA, 213(z)z--99999999
-
Din, Crystal Chang, 181(z)1--26
-
Din, Crystal Chang, see Gkolfi, Anastasia
-
Dinamica, 173(z)3--20
-
Ding, Yi, 206(z)z--99999999
-
Ding, Yi, see Hu, Kai
-
Dingel, Juergen, 62(3)209--227, 82(z)22--43
-
Dingel, Juergen, see Auer, Anthony,
see Zhang, Hongyu
-
Dinges, Peter, 115(z)100--126
-
Dinges, Peter, see Charalambides, Minas
-
Dinh, Viet Dung, 133(z)20--50
-
Dinh, Viet Dung, see Bodei, Chiara
-
Dinkelaker, Tom, 78(6)615--632
-
Dinkelaker:2013:ICS, 78(6)615--632
-
direct, 22(3)183--195, 111(z)300--317
-
directed, 4(3)323--333, 5(1)97--106, 6(1)1--9, 6(2)207--211,
7(2)243--248, 12(1)75--81, 21(3)263--291, 61(1)38--47,
184(z)z--99999999, 221(z)z--99999999
-
directed, Goal-, 20(1)3--50
-
directed, property-, 103(z)71--87
-
directed, Semantics-, 21(3)263--291
-
directed, syntax-, 9(2)179--205
-
directed, Type-, 75(11)1048--1076
-
directed, type-, 196(z)z--99999999
-
direction, 208(z)z--99999999
-
directory, 39(2)249--272
-
Dirichlet, 15(2)185--200
-
Dirk, 16(1)97--100
-
DiRuscio:2014:GES, 89(z)69--70
-
DiRuscio:2024:PSI, 234(z)z--99999999
-
disambiguation, 152(z)161--184
-
DiSandro:2024:MFM, 231(z)z--99999999
-
disassembler, 70(2)127--148
-
disassembly, 228(z)z--99999999
-
disc, 15(2)235--248
-
Disch, Stefan, 77(10)1122--1150, 148(z)123--160
-
Disch, Stefan, see Althaus, Ernst,
see Damm, Werner
-
discipline, 15(1)55--77, 51(3)215--263
-
disciplined, 97(z)235--265
-
DisCoTec, 235(z)z--99999999
-
Discourses, 16(1)95--97
-
discovery, 71(2)144--164, 74(11)879--899, 75(11)1001--1021,
77(3)355--374, 121(z)55--74, 187(z)z--99999999
-
discrete, 13(1)122--125, 29(1)235--258, 31(2)205--229, 77(10)1122--1150,
111(z)214--247, 148(z)123--160, 167(z)1--24
-
discrete-event, 8(3)231--274, 77(12)1235--1271, 82(z)22--43,
183(z)z--99999999
-
discrete-time, 29(1)235--258, 55(1)81--115, 91(z)90--114
-
disease, 232(z)z--99999999
-
Disentangling, 80(z)52--64
-
disjunction, 84(z)101--120
-
disjunctive, 24(1)99--100, 31(1)3--45, 32(1)177--210
-
disk, 15(2)235--248, 64(3)312--331
-
DiSL, 98(z)100--115
-
Disney, Tim, 112(z)227--260
-
Disney, Tim, see Yi, Jaeheon
-
Disnix, 79(z)52--69
-
dispatch, 75(9)787--795
-
dispatcher, 80(z)130--149
-
dispatching, 76(4)243--257
-
dispersion, 95(z)445--468
-
display, 1(3)157--202, 5(2)111--142, 29(1)53--78
-
Display-Oriented, 1(3)157--202
-
display-oriented, 1(3)157--202
-
Disputable, 24(3)249--286
-
Dissolving, 150(z)75--86
-
distance, 130(z)24--36, 157(z)41--55
-
distributed, 2(3)155--173, 2(3)175--206, 3(1)101--114, 4(1)1--15,
5(3)265--276, 5(3)277--307, 5(3)318--320, 6(1)1--9, 6(2)191--205,
7(1)1--22, 7(1)55--60, 8(1)43--67, 10(1)1--18, 10(2)107--137,
10(2)212--213, 12(2)170--172, 13(2)133--180, 15(2)119--133,
16(1)93--95, 21(2)93--113, 21(3)225--261, 22(1)45--65,
24(2)159--181, 26(1)79--97, 27(2)139--173, 28(2)273--299,
29(1)171--197, 30(1)201--226, 30(1)227--250, 31(2)179--203,
31(2)205--229, 31(2)231--261, 31(2)291--311, 31(2)359--381,
39(2)249--272, 48(1)43--65, 50(1)225--251, 52(1)165--212,
57(1)27--44, 59(3)209--249, 60(1)1--26, 73(1)39--58, 74(9)702--722,
75(4)276--287, 75(8)672--688, 75(12)1235--1261, 77(10)1075--1094,
78(5)544--555, 78(5)583--593, 78(6)682--683, 78(6)762--774,
78(9)1264--1277, 78(10)2009--2025, 78(12)2453--2467, 79(z)23--38,
79(z)52--69, 83(z)3--34, 91(z)3--44, 94(z)333--361, 97(z)41--46,
98(z)233--267, 98(z)293--316, 99(z)24--74, 102(z)20--43,
103(z)13--50, 106(z)3--29, 122(z)1--28, 128(z)22--50, 160(z)3--29,
192(z)z--99999999, 235(z)z--99999999
-
distributed, partially-, 115(z)199--224, 160(z)48--77
-
distributed-memory, 80(z)65--90
-
distributing, 22(1)45--65, 150(z)26--30
-
distribution, 98(z)205--232, 135(z)45--74, 208(z)z--99999999
-
distributive, 7(1)23--33
-
divergence, 196(z)z--99999999
-
divergence-sensitive, 96(z)354--376
-
diverse, 215(z)z--99999999
-
diversity, 89(z)350--373
-
divide, 5(1)37--58, 26(1)149--165, 26(1)217--236
-
Divide-And-Conquer, 8(3)213--229
-
divide-and-conquer, 8(3)213--229, 26(1)59--78, 215(z)z--99999999,
231(z)z--99999999
-
Diving, 147(z)54--77
-
division, 10(3)247--280
-
Dix, Trevor I., 3(2)189--204
-
Dix:1983:EIC, 3(2)189--204
-
Djoko, Simplice Djoko, 77(3)393--422
-
Djoko:2012:APP, 77(3)393--422
-
DL, OWL-, 75(8)726--760
-
DM, 10(2)215--216, 11(1)95--97, 11(1)97--98, 11(2)175--176,
11(2)191--195, 12(3)260--264, 15(1)113--114, 16(1)95--97,
16(2)204--205, 18(2)215--218
-
do-od-programs, 3(1)65--100
-
Doallo, Ramón, 78(5)425--444,
see Taboada, Guillermo L.
-
Dobbie, Gillian, 214(z)z--99999999
-
Dobbie, Gillian, see Cai, Cheng-Hao
-
Dobrikov, Ivaylo, 158(z)81--99
-
Dobrikov:2018:EAE, 158(z)81--99
-
Docker, 166(z)194--213, 207(z)z--99999999
-
document, 18(2)218--221, 25(1)41--61, 56(1)79--98, 77(1)66--80
-
documental, 67(1)3--31
-
documentation, 25(1)41--61, 28(2)139--170, 96(z)121--140, 121(z)75--99
-
Documenting, 60(2)205--220
-
Dogan, Emre, 208(z)z--99999999
-
Dogan, Emre, see Çetin, H. Alperen
-
Dogru, Ali, 78(12)2295--2312
-
Dogru, Ali, see Karatas, Ahmet Serkan
-
Dogru, Ali H., 77(5)636--643
-
Dogru, Ali H., see Codur, K. Burak
-
Doh, Kyung-Goo, 47(1)3--36
-
Doh:2003:CPL, 47(1)3--36
-
Dolev, Shlomi, 78(5)544--555
-
Dolev:2013:SDS, 78(5)544--555
-
Dolstra, Eelco, 75(7)473--495, 79(z)52--69
-
Dolstra, Eelco, see Bravenboer, Martin,
see Burg, Sander van der
-
domain, 7(2)99--241, 17(1)77--117, 20(1)3--50, 32(1)177--210,
35(2)113--136, 38(1)27--71, 42(1)87--99, 64(1)115--139,
75(9)796--807, 76(3)181--203, 77(5)636--643, 78(12)2381--2398,
88(z)1--2, 93(z)154--182, 98(z)140--158, 98(z)680--706,
121(z)100--127, 147(z)54--77, 148(z)189--212, 204(z)z--99999999,
205(z)z--99999999, 213(z)z--99999999, 228(z)z--99999999,
232(z)z--99999999, 233(z)z--99999999
-
domain-independent, 95(z)26--43, 163(z)85--92
-
domain-specific, 46(3)219--254, 62(1)47--65, 78(6)657--681, 87(z)2--22,
93(z)19--38, 96(z)488--510, 197(z)z--99999999, 207(z)z--99999999
-
domain-theoretic, 5(2)143--169
-
domestic, 230(z)z--99999999
-
Domínguez, Antonio, García-, 232(z)z--99999999
-
Domínguez, Carlos, Rodríguez-, 77(1)29--45
-
Donadio, Sébastien, 62(1)25--46, see Cohen, Albert
-
Donaldson, Alastair F., 75(11)1165--1191, 148(z)107--122
-
Donaldson, Alastair F., see Ketema, Jeroen
-
Donaldson:2010:TIS, 75(11)1165--1191
-
Dong, Changyu, 75(6)426--439
-
Dong, Changyu, see Russello, Giovanni
-
Dong, Haozhen, 235(z)z--99999999
-
Dong, Jin Song, 74(4)167--167
-
Dong, Wei, 65(1)14--29
-
Dong, Wei, see Yeung, W. L.
-
Dong, Yukun, 235(z)z--99999999
-
Dong:2009:SSI, 74(4)167--167
-
Dong:2024:MIO, 235(z)z--99999999
-
Dong:2024:NCL, 235(z)z--99999999
-
Dongol, Brijesh, 74(3)143--165, 78(11)2047--2063, 85(z)137--165,
111(z)214--247, 234(z)z--99999999
-
Dongol, Brijesh, see Ahmadi, Sharar,
see Colvin, Robert
-
Dongol:2013:DRT, 78(11)2047--2063
-
Dongol:2014:DRT, 85(z)137--165
-
Dongol:2015:IBD, 111(z)214--247
-
Donzé, Alexandre, 98(z)531--550, see Le Goc, Yannick
-
Dooren, Marko van, 87(z)44--61
-
Doornbos, Henk, 26(1)217--236
-
Doornbos:1996:R, 26(1)217--236
-
Dóra, S., 56(1)191--210, see Völgyesi, P.
-
Dörr, Heiko, 40(1)31--57, see Grieskamp, Wolfgang
-
Dorset, 12(2)170--172
-
Dosch, W., 1(1)73--114
-
Dosch, W., see Bauer, F. L.
-
dosSantos:2015:RLS, 107(0)64--92
-
Dotti, Fernando Luís, 77(3)214--246,
see Ribeiro, Leila
-
Double, 26(1)179--196
-
Douence, Rémi, 75(12)1235--1261, 77(3)393--422, 78(9)1538--1558,
136(z)1--16, see Djoko, Simplice Djoko,
see Leger, Paul,
see Martínez, Salvador,
see Tanter, Éric
-
Douthwaite, James, 218(z)z--99999999
-
Douthwaite, James, see Gleirscher, Mario
-
Dovier, Agostino, 147(z)54--77
-
Dovier, Agostino, see Barták, Roman
-
Dovland, Johan, 76(10)915--941
-
Dovland:2011:IRL, 76(10)915--941
-
Dowek, Gilles, 77(10)1039--1057
-
Dowek, Gilles, see Narkawicz, Anthony
-
down, 27(3)263--288
-
Down, Top-, 5(2)171--199
-
down, top-, 4(3)221--248, 5(2)171--199, 15(2)217--233,
27(3)263--288, 76(12)1098--1112
-
down, Up-, 27(2)185--204
-
down, up-, 27(2)185--204
-
downwards, 37(1)37--65
-
Dowsing, 10(1)88--89
-
dps, 30(1)201--226
-
draft, 24(3)287--287
-
Draheim, Dirk, 76(5)392--422
-
Draheim, Dirk, see Lutteroth, Christof
-
DREMS, 106(z)3--29
-
Driessen, S. W., 232(z)z--99999999
-
Driessen:2024:SAT, 232(z)z--99999999
-
Drinnan, Michael, 175(z)17--34
-
Drinnan, Michael, see Harrison, Michael D.
-
Drira, Khalil, 212(z)z--99999999
-
Drira:2021:SIS, 212(z)z--99999999
-
driven, 73(1)1--2, 73(1)39--58, 89(z)69--70, 91(z)234--248, 113(z)1--2,
126(z)3--30, 167(z)70--90, 172(z)63--101, 233(z)z--99999999
-
driven, annotation-, 97(z)266--279
-
Driven, Architecture-, 106(z)1--2
-
driven, client-, 58(1)83--114
-
driven, demand-, 98(z)645--679, 190(z)z--99999999
-
driven, feedback-, 227(z)z--99999999
-
driven, Invariant-, 74(10)812--835
-
driven, learning-, 233(z)z--99999999
-
Driven, Model-, 78(6)695--704, 89(z)71--87, 234(z)z--99999999
-
driven, Model-, 73(1)26--38, 89(z)88--104, 89(z)144--161,
89(z)162--175, 89(z)320--349, 96(z)156--174, 129(z)48--71,
208(z)z--99999999
-
driven, model-, 66(2)105--124, 73(1)13--25, 74(4)168--196,
75(8)689--725, 77(3)247--269, 78(10)1912--1929, 78(11)2245--2258,
89(z)126--143, 89(z)176--198, 97(z)31--36, 107(0)41--63,
136(z)17--42, 161(z)18--33, 168(z)18--37, 200(z)z--99999999,
232(z)z--99999999
-
driven, Objectives''-, 78(11)2268--2281
-
driven, Ontology-, 66(1)4--24, 75(8)726--760
-
driven, ontology-, 77(1)66--80, 96(z)417--443
-
driven, table-, 9(3)271--286
-
Driven, Template-, 15(1)15--54
-
driven, Test-, 161(z)2--17
-
driven, type-, 114(z)57--73
-
driven, User-, 215(z)z--99999999
-
driving, self-, 226(z)z--99999999
-
Dromy, 3(1)115--116
-
Drossopoulou, Sophia, 197(z)z--99999999
-
Drossopoulou, Sophia, see Tasos, Alexandros
-
drug, 232(z)z--99999999
-
DSL, 51(3)265--290, 114(z)85--91
-
DSLs, 76(11)970--991
-
Du Bois, Andre, Rauber, 173(z)37--55
-
Du Bois, Andre, 196(z)z--99999999
-
Du Bois, Andre, see Feitosa, Samuel
-
Du Bois, André Rauber, 132(z)1
-
Du Bois, André, Rauber, 173(z)56--70
-
Du, Dehui, 166(z)71--88
-
Du, Yide, 234(z)z--99999999
-
Du, Yide, see Hong, Weijiang
-
Du:2018:PSE, 166(z)71--88
-
dual, 9(1)85--89, 31(1)3--45, 78(4)390--411, 92(z)179--210
-
Duan, Runyao, 78(9)1679--1700
-
Duan, Runyao, see Ying, Mingsheng
-
Duan, Zhenhua, 70(1)31--61
-
Duan:2008:FTL, 70(1)31--61
-
Duarte, Rodrigo, Medeiros, 173(z)56--70
-
Duarte, Lucio Mauro, 198(z)z--99999999
-
Duarte, Lucio Mauro, see Ribeiro, Leila
-
Dubey, Abhishek, 106(z)3--29
-
Dubey, Abhishek, see Balasubramanian, Daniel
-
Dubois, Emmanuel, 89(z)199--221
-
Dubois:2014:MBF, 89(z)199--221
-
duBousquet:2013:SSM, 78(4)343--344
-
Dubrovin, Jori, 77(10)1095--1121, 82(z)44--55
-
Dubrovin, Jori, see Gan, Xiang
-
Dubrovin:2012:ESS, 77(10)1095--1121
-
Ducasse, S., 96(z)141--155, 140(z)2--16
-
Ducasse, S., see Papoulias, N.,
see Polito, G.
-
Ducasse, Stéphane, 76(12)1177--1193, 78(8)1055--1072, 79(z)6--22,
89(z)298--319, 96(z)34--51, 96(z)84--106, 98(z)318--338,
98(z)376--393, 161(z)89--104, 195(z)z--99999999, 203(z)z--99999999,
see Abdeen, Hani,
see Arnaud, Jean-Baptiste,
see Fabry, Johan,
see Gómez, Verónica Uquillas,
see Kaplar, Sebastijan,
see Laval, Jannik, \see{Pollet, Damien,
see Tesone, Pablo,
see Van Ryseghem, Benjamin
-
Duchien, Laurence, 76(12)1247--1260, 94(z)307--332
-
Duchien, Laurence, see Parra, Carlos,
see Tamura, Gabriel
-
Ducournau, Roland, 76(7)555--586
-
Ducournau:2011:MSM, 76(7)555--586
-
Ducrest, David, 67(1)76--90
-
Ducrest, David, see Roden, Timothy E.
-
Dueck, Gerhard W., 212(z)z--99999999
-
Dueck, Gerhard W., see Miller, D. Michael
-
Duff, Harvey, 67(1)32--58
-
Duff, Harvey, see Cutumisu, Maria
-
Duggan, Dominic, 27(1)37--83, 39(1)57--92, 66(3)184--204
-
Duggan, Dominic, see Chothia, Tom
-
Duggan:1996:ETI, 27(1)37--83
-
Duggan:2001:FSI, 39(1)57--92
-
Dulay, Naranker, 75(6)426--439
-
Dulay, Naranker, see Russello, Giovanni
-
Dumas, Bruno, 86(z)30--42
-
Dumas, Marlon, 67(2)162--198, 76(12)1161--1176
-
Dumas, Marlon, see Karus, Siim,
see Ouyang, Chun
-
Dumas:2014:GES, 86(z)30--42
-
Dunagan, John, 53(2)143--164
-
Dunagan, John, see Wang, Yi-Min
-
Dunne, Steve E., 78(11)2086--2107
-
Dunne, Steve E., see Hayes, Ian J.
-
Duong, Tan, 168(z)71--93, 202(z)z--99999999
-
Duong, Tan, see De Nicola, Rocco
-
Dupont, Guillaume, 216(z)z--99999999
-
Dupont:2022:FVA, 216(z)z--99999999
-
Dupree, Janna-Lynn (Weber), 152(z)1--37
-
Dupree:2018:CSU, 152(z)1--37
-
Duque, Rafael, 77(1)29--45
-
Duque:2012:ICI, 77(1)29--45
-
Duran, Adolfo, 201(z)z--99999999
-
Durán, Amador, 230(z)z--99999999,
see Bernárdez, Beatriz
-
Durán, Francisco, 66(2)125--153, 74(10)812--835, 77(7)870--886,
99(z)1--2, 168(z)1--17, 183(z)z--99999999,
see Roldán, Manuel
-
Duran:2007:MMA, 66(2)125--153
-
Duran:2012:GFP, 77(7)870--886
-
Duran:2015:PRL, 99(z)1--2
-
Duran:2018:SAB, 168(z)1--17
-
Duran:2019:RLA, 183(z)z--99999999
-
Duran:2021:PBS, 201(z)z--99999999
-
duration, 80(z)264--287
-
Durelli, Vinicius H. S., 152(z)99--115
-
Durelli:2018:ECE, 152(z)99--115
-
Duret-Lutz, Alexandre, 230(z)z--99999999
-
Duret-Lutz, Alexandre, see Renkin, Florian
-
during, 96(z)84--106, 228(z)z--99999999
-
Duris, Étienne, 78(10)1871--1891,
see Chilowicz, Michel
-
Duro, R. J., 78(10)1971--1986
-
Duro, R. J., see Paz-Lopez, A.
-
Dutch, 130(z)37--68
-
Dutchyn, Christopher, 63(3)207--239
-
Dutchyn:2006:SSA, 63(3)207--239
-
Dvorák, Ondrej, 215(z)z--99999999
-
Dvorak:2022:TRT, 215(z)z--99999999
-
Dybjer, Peter, 14(1)59--79
-
Dybjer:1990:CIE, 14(1)59--79
-
Dylla, Maximilian, 77(12)1289--1309
-
Dylla, Maximilian, see Ahrendt, Wolfgang
-
Dymnikov, Constantine, 76(7)587--608
-
Dymnikov, Constantine, see Male, Chris
-
dynamic, 6(2)159--190, 18(1)107--137, 22(0)181--356, 22(3)197--230,
26(1)15--31, 31(2)179--203, 42(1)87--99, 48(1)43--65, 50(1)101--127,
51(1)3--22, 51(3)215--263, 58(3)366--383, 59(1)4--25, 59(1)38--63,
60(2)189--204, 60(3)274--297, 64(2)187--204, 69(1)35--45,
70(2)111--126, 71(2)89--109, 74(5)261--278, 75(3)134--175,
75(9)773--786, 76(1)23--36, 76(8)711--735, 76(12)1261--1274,
78(5)481--498, 78(6)682--683, 78(7)778--795, 78(7)907--932,
78(12)2399--2413, 80(z)130--149, 82(z)22--43, 87(z)2--22,
94(z)307--332, 94(z)333--361, 95(z)344--358, 98(z)100--115,
98(z)317--317, 115(z)3--22, 117(z)1--16, 122(z)1--28,
133(z)116--153, 161(z)1--1, 161(z)105--121, 162(z)76--92,
171(z)1--20, 175(z)1--16, 182(z)1--41, 196(z)z--99999999,
202(z)z--99999999, 203(z)z--99999999, 206(z)z--99999999
-
dynamically, 79(z)116--125
-
dynamically-typed, 98(z)318--338