Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
D
-
D'Argenio, P. R., 24(4)497--518
-
D'Argenio, P. R., see Markovski, J.
-
d'Inverno, Mark, 21(5)421--449
-
d'Inverno, Mark, see Howells, Paul
-
D'Silva, Vijay, 22(6)713--733
-
D'Silva, Vijay, see Wahl, Thomas
-
D'Souza, Deepak, 27(1)167--192
-
D'Souza, Deepak, see Cheng, Shu
-
Dabaghchian, Maryam, 27(5)789--804
-
Dabaghchian:2015:MCO, 27(5)789--804
-
Dadeau, Frédéric, 27(4)641--664,
see Taha, Safouan
-
Dahl, Ole-Johan, 3(1)2--20
-
Dahl, Ole-Johan, see Owe, Olaf
-
Damani, Om, 29(3)495--530
-
Damani, Om, see Chaudhari, Dipak L.
-
Damgaard, Troels C., 25(2)257--288
-
Damgaard:2013:ICM, 25(2)257--288
-
Damiani, Ferruccio, 26(4)761--793
-
Damiani:2014:VTI, 26(4)761--793
-
Damm, Werner, 15(4)390--405
-
Damm, Werner, see Fränzle, Martin
-
Dams, Dennis, 10(5)469--482, 23(6)681--681
-
Dams, Dennis, see Cavalcanti, Ana
-
Dams:1998:POR, 10(5)469--482
-
Dang, Zhe, 23(4)513--539
-
Dang, Zhe, see Yang, Linmin
-
Danicic, Sebastian, 8(4)490--497, 18(2)103--119
-
Danicic, Sebastian, see Binkley, David W.,
see Harman, Mark
-
Daniel, 30(6)759--759
-
Darondeau, P., 13(6)447--470
-
Darondeau, P., see Badouel, Éric
-
Darvas, Dániel, 28(3)345--379, see Molnár, Vince
-
Darwish, Salaheddin, 32(2)251--273
-
Darwish, Salaheddin, see Williams, David M.
-
Dasgupta, Pallab, 26(3)591--621
-
Dasgupta, Pallab, see Dixit, Manoj G.
-
data, 5(4)367--382, 6(4)417--439, 6(6)586--606, 7(2)150--168,
7(6)652--662, 9(1)78--97, 10(5)436--451, 12(3)147--164,
12(4)278--297, 12(5)313--349, 14(1)2--34, 14(4)369--399,
17(4)423--442, 18(3)264--287, 20(3)295--301, 22(5)547--583,
24(1)67--95, 25(2)189--218, 26(1)125--167, 27(5)867--884,
30(2)219--237, 30(6)659--684, 33(4)547--573, 33(6)925--955
-
data, Test-, 26(4)795--823
-
data-based, 33(6)1209--1248
-
data-centric, 28(4)615--641
-
data-enriched, 27(4)727--750
-
data-flow, 23(1)21--41
-
database, 4(1)48--75, 4(1)100--142, 26(6)1231--1269
-
dataflow, 6(6)620--642, 15(4)299--318, 24(2)187--216
-
datatypes, 11(2)200--222, 16(1)19--35
-
Daum, Matthias, 26(6)1205--1229
-
Daum:2014:CUU, 26(6)1205--1229
-
David, 2(1)299--300
-
Davie, Tony, 5(4)383--384
-
Davie:1993:BR, 5(4)383--384
-
Davies, Jim, 5(6)530--553, 15(2)118--145, 18(2)181--210
-
Davies, Jim, see Bolton, Christie
-
Davies:1993:RIR, 5(6)530--553
-
Davies:2003:CRU, 15(2)118--145
-
DC, 18(1)42--62
-
De Schreye, Danny, 29(1)125--153
-
De Schreye, Danny, see Nys, Vincent
-
De Wachter, Bram, 17(2)177--200
-
De Wulf, Martin, 17(3)319--341
-
de'Liguoro, Ugo, 28(4)697--722
-
de'Liguoro, Ugo, see Barbanera, Franco
-
Deadline, 14(3)295--318
-
deadlines, 25(2)289--318
-
deadlock, 5(5)467--479, 17(4)461--483, 31(4)411--419
-
Debbabi, Mourad, 22(5)585--609
-
Debbabi, Mourad, see Saleh, Mohamed
-
deBoer:1994:E, 6_1S_741_742
-
deBoer:2021:SEF, 33(4)617--636
-
Dec, 20(3)239--240
-
decidability, 23(3)333--363
-
Deciding, 4_1S_638_648, 19(4)475--485, 28(1)109--143
-
decision, 18(2)211--230, 23(2)171--190, 23(6)739--779, 30(6)759--759,
33(4)575--615
-
declarative, 29(2)227--249
-
Decoding, 12(5)313--349
-
decomposition, 22(2)129--151, 29(4)601--627
-
Dederichs, Frank, 8(2)127--161
-
Dederichs, Frank, see St{\o}len, Ketil
-
deduction, 29(1)125--153
-
deductive, 19(3)321--341, 20(4)507--560, 25(3)405--437
-
deep, 13(2)142--160, 26(6)1115--1152, 33(3)407--435, 33(4)519--545
-
Defining, 2(1)359--392
-
definition, 5(5)391--431, 8(3)369--375, 9(1)68--77, 10(3)248--266,
25(5)743--768
-
Degerlund, Fredrik, 26(2)281--303
-
Degerlund, Fredrik, see Boström, Pontus
-
deGroote:1998:NKY, 7(2)113--149, 10(2)160--170
-
Deifel, Hans-Peter, 33(4)695--727
-
Deifel, Hans-Peter, see Wißmann, Thorsten
-
deLara:2010:ATB, 22(3)297--326
-
deLara:2021:LFE, 33(6)1173--1208
-
Delimited, 12(6)473--484
-
delta, 31(5)611--640, 32(1)153--153
-
Delzanno, Giorgio, 20(4)407--428
-
Delzanno:2008:RAF, 20(4)407--428
-
Demand, 6(6)620--642
-
Demasi, Ramiro, 29(6)1013--1050
-
Demasi:2017:SRF, 29(6)1013--1050
-
demonstrably, 3(1)58--101
-
Demonstrating, 12(4)237--259
-
Deng, Yuxin, 24(4)701--726
-
Deng:2012:CTP, 24(4)701--726
-
Denney, Ewen, 30(1)1--1
-
Denney:2018:E, 30(1)1--1
-
Dennis-Jones, Esther, 5(4)337--366
-
Dennis-Jones:1993:CMC, 5(4)337--366
-
denotational, 4_1S_727_754, 5(3)181--207, 23(2)153--170, 27(1)133--166,
32(2)275--314, 33(4)803--826
-
dense, 12(1)52--70, 25(6)933--945
-
dense-time, 16(2)121--139
-
Denvir, Tim, 2(1)196--202, 3(3)217--217, 4(1)1--12, 12(4)211--215,
13(2)93--93
-
Denvir, Tim, see Cooke, John
-
Denvir:1990:BR, 2(1)196--202
-
Denvir:1991:E, 3(3)217--217
-
Denvir:1992:E, 4(1)1--12
-
Denvir:2000:CPA, 12(4)211--215
-
dependable, 19(2)243--268, 29(2)251--307
-
dependent, 3(3)253--283
-
dependent, context-, 24(2)267--302
-
Dependently, 13(3)386--402
-
deployment, 29(6)987--1011
-
dePutter:2018:FVT, 30(1)3--43
-
derivation, 13(3)233--251, 20(2)141--160, 21(1)187--223, 22(5)629--661,
26(2)281--303, 26(5)993--1031, 27(1)133--166, 30(2)319--332
-
derivative, 18(3)263--263
-
derived, 2(1)109--122
-
deriving, 8(1)108--126, 11(4)426--447, 22(3)217--241, 25(6)933--945,
29(2)365--379
-
Derrick, J., 17(4)389--389, 18(1)1--2
-
Derrick, J., see Boiten, E.
-
Derrick, John, 10(2)125--159, 13(2)111--127, 15(1)1--27, 15(2)182--214,
18(3)264--287, 21(1)65--102, 22(1)1--1, 23(1)43--71, 24(1)1--1,
24(3)393--416, 26(2)195--195, 26(2)407--432, 30(5)597--625,
33(4)547--573
-
Derrick, John, see Boiten, Eerke A.,
see Boiten, Eerke, \see{Smith, Graeme
-
Derrick:1998:SRI, 10(2)125--159
-
Derrick:2002:CCS, 13(2)111--127
-
Derrick:2003:RCR, 15(2)182--214
-
Derrick:2003:SRS, 15(1)1--27
-
Derrick:2006:GE, 18(1)1--2
-
Derrick:2011:ZTB, 23(1)43--71
-
Derrick:2012:TLP, 24(3)393--416
-
Derrick:2014:RCR, 26(2)407--432
-
Derrick:2018:MPO, 30(5)597--625
-
Derrick:2021:VCP, 33(4)547--573
-
Dershowitz, Nachum, 31(6)643--660
-
Dershowitz:2019:ZM, 31(6)643--660
-
describe, 21(5)397--420
-
described, 20(1)79--100
-
description, 3(1)21--57, 12(2)120--144, 17(2)222--257, 29(2)175--225
-
Desel, Jörg, 2(1)123--138, 4(6)572--581,
see Best, Eike
-
design, 1(1)366--411, 4_1S_755_775, 5(2)152--176, 8(6)716--736,
9(4)395--408, 10(5)452--468, 11(1)45--55, 11(2)107--131,
11(3)225--243, 11(3)272--301, 12(4)233--236, 13(3)403--421,
17(2)177--200, 19(1)93--109, 19(2)243--268, 21(5)397--420,
21(6)589--612, 22(3)345--361, 22(5)489--535, 26(2)319--366,
26(4)623--676, 26(6)1231--1269, 28(4)567--595, 29(4)601--627,
30(3)333--349, 31(4)453--454, 31(5)459--502, 31(5)541--610,
33(4)763--802
-
design-based, 25(1)107--131
-
designing, 9(4)359--378, 29(5)853--875
-
desires, 29(2)227--249
-
detection, 14(3)319--327, 22(3)345--361, 27(1)79--102, 29(1)33--55,
30(5)525--544, 33(6)1147--1172
-
determined, under-, 8(1)47--66
-
determinism, 27(5)789--804
-
determinism, non-, 3(2)110--128
-
deterministic, 16(4)374--386, 20(6)597--617, 24(4)647--660, 28(1)1--20
-
Deterministic, Non-, 12(6)443--458
-
deterministic, non-, 16(1)5--18, 20(6)597--617
-
Deterministic, Quasi-Non-, 12(6)423--442
-
Deutsch, Moshe, 18(3)329--363, 18(3)364--395
-
Deutsch, Moshe, see Henson, Martin C.
-
Deutsch:2006:ARA, 18(3)329--363
-
Deva, 5(5)391--431
-
development, 1(1)5--18, 1(1)173--192, 4(5)425--441, 8(1)67--85,
8(1)86--107, 9(3)229--269, 11(4)381--401, 12(3)145--146,
13(1)50--91, 14(1)2--34, 14(3)215--227, 15(1)48--83, 20(1)61--77,
23(1)113--131, 26(3)591--621, 27(1)53--77, 27(5)975--1001,
28(6)937--1004, 32(2)251--273, 33(1)87--125, 33(6)1009--1036
-
devices, 21(6)613--641
-
Devillers, R., 5(1)79--88
-
Devillers, R., see Massart, T.
-
Devillers, Raymond, 20(4)429--450
-
Devillers:2008:CPN, 20(4)429--450
-
deVink:2021:E, 33(1)1--2
-
DeWachter:2005:FDD, 17(2)177--200
-
DeWulf:2005:AAS, 17(3)319--341
-
Dezani-Ciancaglini, Mariangiola, 28(4)669--696, 28(4)697--722
-
Dezani-Ciancaglini, Mariangiola, see Barbanera, Franco,
see Castellani, Ilaria
-
Di Giusto, Cinzia, 28(4)531--566
-
diagnose, 30(6)629--657
-
diagrams, 6(6)586--606, 11(6)637--664, 18(4)397--420, 19(3)401--413,
21(5)451--483, 23(4)465--512, 24(1)67--95, 25(2)159--187
-
Diehl, Stephan, 12(2)71--99
-
Diehl:2000:NSD, 12(2)71--99
-
Dierks, Henning, 12(4)220--221, 16(2)104--120
-
Dierks:2000:MVC, 12(4)220--221
-
Dierks:2004:CMC, 16(2)104--120
-
diet, 29(4)651--703
-
Dietsch, Daniel, 28(3)499--527
-
Dietsch, Daniel, see Feo-Arenis, Sergio
-
Díez, Guillermo, Román-, 27(4)665--699
-
difference, 25(2)319--341
-
differential, 33(4)461--518
-
digital, 26(4)825--859
-
DiGiusto:2016:EBR, 28(4)531--566
-
Dijkstra, 14(2)92--98, 24(4)459--476
-
Dijkstra, Edsger W., 6(3)247--249, 14(2)99--107
-
Dijkstra, Rutger M., 7(4)353--388, 9(3)270--282
-
Dijkstra:1994:JVS, 6(3)247--249
-
Dijkstra:1995:DSF, 7(4)353--388
-
Dijkstra:1997:PTP, 9(3)270--282
-
Dijkstra:2002:ENC, 14(2)99--107
-
Dima, Catalin, 28(1)145--178
-
Dima, Catalin, see Vekris, Dimitris
-
Dimovski, Aleksandar S., 31(2)231--259
-
Dimovski:2019:FSV, 31(2)231--259
-
Din, Crystal Chang, 27(3)551--572
-
Din:2015:CRA, 27(3)551--572
-
Dingel, J., 10(3)193--213, 14(2)123--197
-
Dingel:1998:TFT, 10(3)193--213
-
Dingel:2002:RCS, 14(2)123--197
-
Dion, Bernard, 12(4)233--236
-
Dion, Bernard, see Dissoubray, Sylvan
-
directed, 4(4)341--375
-
directed, goal-, 26(3)563--589
-
directed, Property-, 20(4)379--405
-
Directed, Semantics-, 12(2)71--99
-
Dirk, 33(3)457--458
-
Disciplined, 16(1)19--35
-
DisCo, 12(4)231--232
-
Discovering, 17(1)38--57, 31(4)411--419
-
discovery, 23(4)433--463, 26(2)203--249
-
discrete, 5(2)152--176, 6_1S_826_845, 8(2)188--208, 25(1)59--87,
26(2)319--366
-
Diskin, Zinovy, 31(5)611--640, 32(1)153--153
-
Diskin:2019:MMS, 31(5)611--640, 32(1)153--153
-
Diskin:2020:CMM, 31(5)611--640, 32(1)153--153
-
Dispenser, 12(4)216--217
-
Dissoubray, Sylvan, 12(4)233--236
-
Dissoubray:2000:DAT, 12(4)233--236
-
distinguishing, 26(6)1153--1167, 30(2)319--332
-
distributed, 5(1)21--60, 6(5)569--579, 6(6)676--695, 6(6)716--737,
9(1)98--118, 9(4)409--424, 11(1)45--55, 12(6)459--472, 13(1)50--91,
14(2)123--197, 15(4)390--405, 17(1)1--18, 17(1)19--37,
17(2)177--200, 18(1)63--83, 18(1)84--101, 23(5)649--679,
24(4)477--496, 24(4)679--699, 27(1)103--131, 27(4)665--699,
30(1)163--192, 33(1)87--125, 33(6)1009--1036
-
Distributing, 13(6)447--470
-
Distributions, 12(5)392--415
-
Divasón, Jose, 28(6)1005--1026,
see Aransay, Jesús
-
diversity, 28(5)847--879
-
divide-and-conquer, 7(6)663--682
-
divided, 5(1)21--60
-
Dix, Alan, 21(6)613--641
-
Dix:2009:PMD, 21(6)613--641
-
Dixit, Manoj G., 26(3)591--621
-
Dixit:2014:TBC, 26(3)591--621
-
Do-it-yourself, 1(1)19--84
-
Dobrikov, Ivaylo, 28(2)295--323
-
Dobrikov:2016:OPM, 28(2)295--323
-
Dobson, Simon, 26(4)677--694
-
Dobson, Simon, see Konur, Savas
-
DOF, 32(2)229--250
-
Doherty, Gavin J., 12(4)260--277
-
Doherty, Simon, 25(5)769--799, 30(5)597--625, 33(4)547--573
-
Doherty, Simon, see Derrick, John
-
Doherty:2000:RRV, 12(4)260--277
-
Doherty:2013:TFS, 25(5)769--799
-
domain, 9(4)425--445, 22(3)345--361, 27(2)335--374, 29(2)175--225
-
Domain--Specific, 10(5)452--468
-
Don't, 14(3)281--294
-
Dong, Jin Song, 13(2)142--160, 21(5)451--483, 24(1)1--1, 26(4)729--759,
28(3)343--344, 28(5)723--724, 30(3)351--380
-
Dong, Jin Song, see Boiten, Eerke,
see Chen, Chunqing, \see{Mahony, Brendan,
see Merz, Stephan, \see{Shi, Ling
-
Dong, Xiaoju, 31(1)47--58
-
Dong:2014:TVC, 26(4)729--759
-
Dong:2019:EPN, 31(1)47--58
-
Dongol, Brijesh, 20(2)141--160, 26(3)563--589, 30(5)597--625
-
Dongol, Brijesh, see Derrick, John
-
Dongol:2008:SPB, 20(2)141--160
-
Dongol:2014:RAG, 26(3)563--589
-
double, 17(2)222--257
-
Dovland, Johan, 26(4)761--793
-
Dovland, Johan, see Damiani, Ferruccio
-
Doyen, Laurent, 17(3)319--341
-
Doyen, Laurent, see De Wulf, Martin
-
Drabent, W{\l}odzimierz, 29(1)155--172
-
Drabent:2017:PCL, 29(1)155--172
-
Draheim, 33(3)457--458
-
Dranidis, Dimitris, 28(1)1--20
-
Dranidis, Dimitris, see Ipate, Florentin
-
Drawing, 33(6)829--854
-
driven, 6(6)620--642, 28(3)409--440
-
driven, event-, 27(1)133--166
-
driven, Legislation-, 32(2)251--273
-
driven, Model-, 28(3)441--467
-
driven, verification-, 31(5)459--502
-
Driving, Self-, 33(3)325--341
-
Dromey, R. Geoff, 8(1)108--126
-
Dromey, R. Geoff, see Billington, David
-
DSL, 28(2)181--206
-
dual, 29(3)401--421
-
DUALITY, 7(4)353--388
-
duality, 6_1S_788_800
-
Duan, Zhenhua, 27(1)103--131
-
Duan, Zhenhua, see Ma, Qian
-
Dubois, Catherine, 30(6)659--684
-
Dubois:2018:TPC, 30(6)659--684
-
Dubslaff, Clemens, 30(1)45--75, 33(6)885--921
-
Dubslaff, Clemens, see Chrszon, Philipp
-
Dubslaff:2021:EPM, 33(6)885--921
-
Duce, David, 11(1)1--20, 11(6)665--689, 21(3)225--225, 21(6)511--512
-
Duce, David, see Boca, Paul,
see Cerone, Antonio, \see{Duke, David
-
Duce:1999:CFS, 11(1)1--20
-
Duchien, Laurence, 22(3)345--361
-
Duchien, Laurence, see Moha, Naouel
-
Duke, David, 11(1)1--20, 11(2)107--131, 11(6)665--689, 12(4)237--259
-
Duke, David, see Butterworth, Richard,
see Duce, David
-
Duke, Roger, 8(3)347--368
-
Duke:1996:BMR, 8(3)347--368
-
Duke:1999:CSS, 11(2)107--131
-
Duke:1999:FCA, 11(6)665--689
-
Dumas, Marlon, 22(3)459--482, 28(4)597--613
-
Dumas, Marlon, see Aalst, Wil M. P. van der,
see Polyvyanyy, Artem
-
Dunne, Steve, 18(3)288--307
-
Dunne, Steve, see Cavalcanti, Ana
-
Dupuy, Sophie, 12(4)228--230
-
Dupuy:2000:MFA, 12(4)228--230
-
Duque, Jorge García, 13(1)50--91,
see Arias, José J. Pazos
-
Duran, Adolfo, 22(5)489--535
-
Duran:2010:AAD, 22(5)489--535
-
Durante, Luca, 20(3)303--348
-
Durante, Luca, see Bertolotti, Ivan Cibrario
-
duration, 6_1S_826_845, 9(3)283--330, 11(1)21--44, 15(1)84--99,
16(2)121--139, 16(2)140--154, 20(4)481--505
-
Duration-constrained, 16(2)155--163
-
during, 22(3)459--482
-
Dutle, Aaron, 33(1)65--86
-
Dutle:2021:FAC, 33(1)65--86
-
Dybjer, Peter, 1(1)303--319, 6(4)440--465
-
Dybjer:1989:FPA, 1(1)303--319
-
Dybjer:1994:IF, 6(4)440--465
-
dynamic, 17(2)160--176, 22(3)363--384, 22(3)423--457, 23(1)3--19,
23(3)267--288, 25(3)405--437, 25(5)743--768, 27(2)335--374,
27(2)397--421, 28(4)615--641, 28(4)643--667, 29(2)251--307,
29(6)1087--1120, 30(2)219--237, 33(6)1209--1248
-
Dynamical, 14(1)55--89, 33(3)385--406
-
dynamically, 6(3)269--316