Last update: Sun Nov 24 02:00:47 MST 2019
Return to index directory
D
-
D, 16(4)471--z
-
D, 1-, 14(10)1381--1393
-
D, k-, 14(10)1381--1393
-
d, K-, z(3)284--290
-
DAG, 14(11)1684--1699
-
Dahll, G., z(9)929--940
-
Dahll, G., see Bishop, P. G.
-
Dalal, Y. K., z(3)398--405
-
Dalal:1987:DAC, z(3)398--405
-
Dallen, J. A., z(11)1164--1169
-
Dallen, J. A., see Bentley, J. L.
-
Damm, W., 14(5)559--574
-
Damm:1988:ML, 14(5)559--574
-
Daniels, D. S., z(6)520--530
-
Daniels, D. S., see Spector, A. Z.
-
Dannenberg, R. B., z(1)43--52
-
Dannenberg:1982:FPV, z(1)43--52
-
Das, S. K., z(6)643--653
-
Das:1987:RIM, z(6)643--653
-
Dasarathy, B., z(1)80--86
-
Dasarathy:1985:TCR, z(1)80--86
-
data, 14(2)169--183, 14(5)611--629, 14(6)838--848, 14(6)858--867,
14(7)946--958, 14(10)1483--1498, 15(1)47--59, 15(4)437--448,
15(4)492--496, 15(4)496--501, 15(5)622--631, 15(7)854--860,
15(9)1131--1135, 15(10)1236--1251, 15(11)1318--1332,
15(12)1526--1536, 15(12)1537--1549, z(1)3--14, z(1)12--20,
z(1)24--32, z(1)40--57, z(1)60--78, z(1)78--84, z(1)97--114,
z(1)119--119, z(2)123--136, z(2)138--151, z(2)152--162,
z(2)157--168, z(2)191--200, z(2)192--197, z(2)198--210,
z(3)228--232, z(3)265--278, z(3)285--289, z(3)314--322,
z(3)347--354, z(4)340--347, z(4)367--375, z(4)395--411,
z(4)432--437, z(4)439--441, z(4)451--459, z(4)538--546,
z(4)584--584, z(4)584--585, z(5)402--410, z(5)446--454,
z(5)449--459, z(5)451--457, z(5)509--517, z(5)530--532,
z(5)631--634, z(5)649--661, z(6)544--553, z(6)572--584,
z(6)585--594, z(6)590--593, z(6)595--602, z(6)620--621,
z(6)650--664, z(6)652--663, z(6)726--739, z(6)728--738,
z(7)573--573, z(7)574--583, z(7)860--864, z(8)749--757,
z(8)977--987, z(9)832--838, z(9)954--959, z(9)966--970,
z(9)1010--1017, z(10)1016--1032, z(10)1033--1037, z(10)1047--1058,
z(10)1049--1061, z(12)1--1, z(12)1128--1138
-
data-flow, 14(6)838--848
-
data-translation, 15(9)1090--1108
-
Dataflow, 14(12)1805--1828, z(3)244--257, z(10)1127--1134
-
Davcev, D., 15(1)93--97
-
Davcev:1989:DVS, 15(1)93--97
-
David, A., Ben-, z(6)748--755, z(11)1207--1216
-
Davidson, C. M., 14(10)1480--1481, z(7)865--866
-
Davidson, E. S., z(1)113--121, z(1)122--131
-
Davidson, E. S., see Budzinski, R. L.
-
Davidson:1987:NCP, z(7)865--866
-
Davidson:1988:QR, 14(10)1480--1481
-
Davies, A. C., z(4)391--394
-
Davies:1980:ABE, z(4)391--394
-
Davis, A. M., 14(10)1453--1461
-
Davis, J. S., 14(9)1366--1372
-
Davis:1988:SAC, 14(9)1366--1372
-
Davis:1988:SCA, 14(10)1453--1461
-
Dayal, U., z(6)628--645
-
Dayal:1984:VDG, z(6)628--645
-
DBMS, z(2)123--136
-
De Francesco, N., 14(11)1554--1564, z(4)547--553
-
De Francesco, N., see Baiardi, F.
-
De Jonge, W., z(7)799--810
-
De Millo, R. A., z(6)693--704
-
De Millo, R. A., see Martin, E. W.
-
De Riet, R. P., Van, z(7)799--810
-
De Sarkar, S. C., 15(1)1--9, 15(11)1368--1381, 15(12)1550--1566
-
De Sarkar, S. C., see Sarkar, D. C.,
see Sarkar, D.
-
De Witt, D. J., z(8)953--966, z(10)1058--1070
-
De Witt, D. J., see Khoshafian, S. N.
-
Deadline, 15(10)1261--1269
-
Deadline-Oriented, z(3)304--312
-
deadlock, 14(10)1443--1452, 15(1)10--17, 15(3)314--326, 15(7)926--z,
15(12)1587--1595, 15(12)1644--1644, z(1)3--14, z(1)67--80,
z(3)297--304, z(3)371--371, z(4)531--537, z(5)435--440,
z(6)554--557, z(6)764--777, z(8)820--821, z(12)1348--1363
-
Deak, E., z(1)23--31
-
Deak:1981:TDP, z(1)23--31
-
Dealing, z(12)1348--1363
-
Dean, J. S., z(9)939--945
-
Dean, J. S., see Cune, B. P. Mc
-
Deason, W. H., 15(2)218--221
-
Deason, W. H., see Brown, D. B.
-
debugger, 15(3)293--304, z(4)547--553
-
debugging, 14(6)849--857, 15(3)305--313, 15(7)890--901, z(2)210--219,
z(6)746--747
-
December, z(2)160--d--160
-
decentralized, z(5)600--607, z(6)684--692
-
Decide, z(12)1340--1347
-
decision, 14(12)1743--1757, z(12)1340--1347
-
Decision-Free, z(6)525--530
-
decomposition, 14(2)169--183, 15(6)809--820, z(2)205--218, z(4)521--530,
z(10)1025--1040
-
deduction, 15(1)60--67, 15(6)760--770
-
Deen, S. M., z(7)860--864
-
Deen:1987:DID, z(7)860--864
-
DeFazio, S., z(2)128--134
-
DeFazio, S., see Kearns, J. P.
-
defect, 14(9)1261--1270
-
defining, 15(11)1491--1494, z(1)3--14
-
definition, z(1)31--39, z(6)628--645, z(8)849--859
-
degrading, z(6)693--704
-
degree, 14(8)1238--1239
-
DeJonge:1987:TAM, z(7)799--810
-
delay, 15(1)72--82, 15(12)1633--1638
-
Delay-independent, 14(8)1229--1237
-
Delcourt, B., 14(6)720--741
-
Delcourt, B., see Van Lamsweerde, A.
-
Delimited, Well-, z(1)34--42
-
Delor, E., 14(6)720--741
-
Delor, E., see Van Lamsweerde, A.
-
demonstration, 15(3)305--313
-
Demurjian, S. A., 14(7)946--958
-
Demurjian:1988:TBU, 14(7)946--958
-
Den Bos, J., Van, z(3)247--259
-
Denial-of-Service, z(3)320--324
-
Denning, D. E., z(2)129--140, z(2)222--232
-
Denning, P. J., z(1)64--84
-
Denning:1980:WSP, z(1)64--84
-
Denning:1987:IDM, z(2)222--232
-
Denning:1987:VMD, z(2)129--140
-
Dependability, z(6)701--714
-
Dependence, 14(2)211--227, z(6)726--739
-
dependences, z(11)1098--1101
-
Dependencies, z(10)1049--1061
-
dependent, 14(11)1537--1545, 15(10)1305--1312, z(1)100--116
-
Dependent, State-, z(1)109--113
-
Depth, z(4)391--401
-
Derivation, z(1)23--31, z(1)40--48, z(3)442--449
-
derive, 14(10)1381--1393
-
Derived, z(2)172--178
-
Deriving, z(3)275--285
-
Dershowitz, N., z(2)207--222
-
Dershowitz:1981:IRP, z(2)207--222
-
Dertouzos, M. L., 15(12)1497--1506
-
Dertouzos:1989:MOS, 15(12)1497--1506
-
Desai, B. C., 15(2)142--152
-
Desai:1989:PCA, 15(2)142--152
-
described, 14(8)1238--1239
-
describing, z(2)258--263, z(4)435--436
-
description, 14(8)1238--1239, 14(11)1554--1564, 15(11)1333--1346,
15(11)1397--1416, z(1)53--64, z(5)513--525
-
design, 14(1)126--129, 14(2)194--210, 14(2)242--253, 14(3)375--383,
14(6)787--802, 14(6)822--837, 14(7)1010--1022, 14(8)1229--1237,
14(10)1381--1393, 14(12)1771--1791, 15(3)264--270, 15(3)327--334,
15(3)360--362, 15(4)402--412, 15(4)479--491, 15(5)658--660,
15(6)686--695, 15(7)926--99999999, 15(9)1025--1037,
15(9)1053--1065, 15(9)1135--1137, z(1)32--43, z(1)39--51,
z(1)85--99, z(1)99--111, z(1)104--118, z(1)172--181, z(2)138--151,
z(2)155--162, z(2)157--168, z(2)169--174, z(2)174--188,
z(2)185--191, z(2)189--196, z(2)191--200, z(2)192--197,
z(2)201--210, z(2)208--221, z(2)213--222, z(2)229--240,
z(2)251--257, z(2)258--263, z(2)264--271, z(2)278--292,
z(2)293--311, z(3)223--234, z(3)261--274, z(3)289--299,
z(3)310--319, z(3)377--384, z(4)358--375, z(4)373--384,
z(4)411--415, z(4)427--436, z(4)461--471, z(4)487--504,
z(4)505--510, z(5)390--409, z(5)411--420, z(5)420--435,
z(5)498--501, z(5)518--531, z(5)544--551, z(6)531--537,
z(6)608--610, z(6)713--721, z(6)733--745, z(7)574--583,
z(7)606--619, z(7)752--768, z(8)657--670, z(8)874--874,
z(8)895--904, z(8)953--966, z(9)849--856, z(9)865--885,
z(9)905--920, z(9)921--928, z(10)1092--1104, z(10)1184--1193,
z(11)1156--1163, z(11)1164--1169, z(11)1170--1175, z(11)1351--1360,
z(11)1361--1374, z(11)1375--1386
-
designed, 14(10)1381--1393
-
designer, 14(9)1293--1306
-
designing, 14(3)327--338
-
detailed, 15(4)413--426
-
Detect, z(1)32--43
-
detecting, 15(6)737--746, 15(7)926--z, z(4)531--537
-
detection, 14(1)30--37, 14(10)1443--1452, 15(1)10--17, 15(3)314--326,
15(5)644--649, 15(12)1587--1595, 15(12)1644--1644, z(1)3--14,
z(1)67--80, z(3)240--247, z(3)265--278, z(3)371--371, z(4)432--437,
z(5)435--440, z(6)554--557, z(6)759--760, z(8)820--821
-
Detection, Intrusion-, z(2)222--232
-
detects, 14(8)1238--1239
-
deterioration, z(3)436--441
-
Determination, z(2)197--206
-
determining, 15(2)218--221
-
Devarakonda, M. V., 15(12)1579--1586
-
Devarakonda:1989:PPR, 15(12)1579--1586
-
developed, 14(6)838--848, 14(10)1381--1393
-
Developing, z(2)326--345, z(4)432--439, z(8)967--976
-
development, 14(1)12--29, 14(2)228--241, 14(3)339--352, 14(5)584--594,
14(9)1280--1292, 14(10)1453--1461, 15(3)250--263, 15(5)587--599,
15(5)649--653, 15(9)1025--1037, 15(9)1078--1089, 15(10)1176--1187,
15(10)1199--1205, z(1)14--22, z(1)22--26, z(1)27--35, z(2)143--154,
z(2)157--168, z(2)169--178, z(2)170--182, z(2)184--201,
z(2)211--221, z(3)276--285, z(3)291--296, z(3)299--320,
z(3)385--401, z(3)496--499, z(4)547--553, z(5)519--527,
z(5)593--601, z(6)537--555, z(6)639--648, z(6)648--652,
z(6)673--685, z(6)714--727, z(6)748--755, z(8)718--723,
z(9)978--985, z(9)1027--1037, z(10)1033--1037, z(11)1268--1277,
z(11)1337--1351, z(12)1117--1127
-
Device, z(1)49--53
-
devices, 14(8)1176--1187, z(6)583--596
-
DEVS, 14(2)228--241
-
DeWitt, D. J., z(1)61--75, z(2)123--136
-
DeWitt, D. J., see Baroody, A. J.,
see Hawthorn, P. B.
-
Dewitt, D. J., z(6)533--543
-
Dewitt, D. J., see Boral, H.
-
DeWitt:1987:CMD, z(8)953--966
-
Dhar, V., 14(2)211--227
-
Dhar:1988:DDR, 14(2)211--227
-
Dhillon, B., z(9)996--996, z(11)1104--1104
-
Dhillon:1986:ICRa, z(9)996--996
-
Dhillon:1986:ICRb, z(11)1104--1104
-
Di Maio, A., 14(11)1597--1609
-
Di Maio, A., see Ceri, S.
-
Diagnosis, z(1)15--22
-
diagnostics, z(4)313--319
-
diagram, 14(2)169--183, z(2)198--210, z(4)538--546, z(5)617--630,
z(8)699--713
-
Diagrammatic, z(3)280--289
-
Dias, D. M., 15(4)437--448, 15(7)854--860, z(10)1006--1017
-
Dias, D. M., see Cornell, D. W.,
see Wolf, J. L.
-
Dias:1989:ICC, 15(4)437--448
-
differ, 14(10)1381--1393, z(3)233--239
-
difference, z(4)493--497
-
different, 14(6)838--848, z(4)357--372
-
difficulties, 14(1)2--11
-
Difficulty, z(6)746--747
-
digital, 14(8)1238--1239, 15(9)1066--1077
-
Dillon, L. K., z(2)278--292
-
Dillon, L. K., see Avrunin, G. S.
-
Dillon, T. S., 14(11)1645--1655
-
Dillon, T. S., see Lew, K. S.
-
dimensional, k-, 14(10)1381--1393
-
dimensional, one-, 14(10)1381--1393
-
dimensional, Two-, z(3)377--384
-
Dimitroff, D. C., 14(5)681--688
-
Dimitroff, D. C., see Chang, S. K.
-
Din, W. H., Bahaa-El-, 15(12)1526--1536
-
DIRECT, z(6)533--543
-
Direct, z(1)12--20, z(5)649--661
-
directed, 14(2)133--140, 14(2)211--227, z(1)124--133, z(2)189--196,
z(6)558--562, z(10)1105--1114
-
Directed, Syntax-, z(2)119--127, z(4)435--436
-
Discarding, z(1)39--47
-
Discipline, z(2)226--232
-
discrete, 14(4)541--553, 15(4)381--393, z(4)417--423, z(10)1115--1126
-
Discrete-Event, z(6)654--665
-
discusses, 14(10)1381--1393
-
Discussion, z(5)501--502
-
disk, z(9)1018--1026
-
Dispatching, z(2)219--225
-
Display, z(4)385--394, z(5)526--529, z(8)686--698
-
Dissemination, z(10)1107--1112
-
distance-preserving, 14(10)1381--1393
-
Distribute, z(1)112--112
-
distributing, 15(3)271--280, 15(6)696--704
-
distribution, 14(7)1033--1048, 15(3)345--355, 15(10)1206--1216,
z(1)65--76, z(1)109--113, z(3)304--312, z(4)487--504, z(6)756--759
-
distributive, 14(8)1081--1089
-
Dittrich, K. R., 14(4)429--437
-
Dittrich:1988:VSE, 14(4)429--437
-
diverse, z(9)929--940
-
Division, z(1)52--61
-
DMIN, z(1)113--121
-
do, 14(6)838--848, z(11)1253--1256
-
document, z(3)417--435
-
documentation, 15(9)1131--1135, z(8)849--859, z(9)945--953,
z(11)1076--1087
-
Documenting, z(3)270--283
-
Doerflinger, C. W., z(9)978--985
-
Doerflinger:1985:MSD, z(9)978--985
-
Dogac, A., 15(4)479--491, 15(8)994--1003
-
Dogac, A., see Halici, U.
-
Dogac:1989:GES, 15(4)479--491
-
Dolk, D. R., z(6)619--628
-
Dolk:1984:KRM, z(6)619--628
-
domain, 15(6)737--746, z(3)247--257, z(4)380--390, z(11)1351--1360
-
domain-based, 14(10)1512--1524
-
Domain-Specific, z(11)1321--1336
-
dominance, 14(8)1155--1175
-
Dominick, W. D., z(7)598--605
-
Dominick, W. D., see Urban, S. D.
-
Donatiello, L., 15(10)1206--1216
-
Donatiello, L., see Balsamo, S.
-
Dong, S. T., z(9)886--908
-
Dong, S. T., see Ramamoorthy, C. V.
-
Dotterer, L. J., z(2)208--221
-
Dotterer, L. J., see Gligor, V. D.
-
double-array, 15(9)1066--1077
-
Double-Loop, z(2)143--154
-
Downs, T., z(4)375--386, z(9)979--987
-
Downs:1985:AMS, z(4)375--386
-
Downs:1986:EAM, z(9)979--987
-
Doyle, J., z(11)1386--1390
-
Doyle:1985:ES, z(11)1386--1390
-
Draco, z(5)564--574, z(7)830--844
-
Drafting, z(10)1153--1161
-
Draper, S. W., z(3)252--258
-
Draper:1985:SEU, z(3)252--258
-
Drawings, z(2)223--228
-
Driven, Priority-, z(2)219--225
-
Driven, Time-, z(5)603--616
-
driven, trace-, 14(9)1327--1341
-
Dromey, R. G., 14(1)12--29
-
Dromey:1988:SPD, 14(1)12--29
-
Drummond, R., z(6)546--554
-
Drummond, R., see Babao{\u{g}}lu, O.
-
Dssouli, R., 15(11)1347--1356
-
Dssouli, R., see Bochmann, G. V.
-
Du, D. H. C., z(8)977--987
-
Du, D. H. C., see Wang, Je-Hao
-
Du, David Huang-Chang, z(8)801--810
-
Du, David Huang-Chang, see Yuen, Tak-Sun
-
Du, Hung-Chang, z(2)213--222
-
Du, M. W., z(1)88--99, z(3)235--249, z(3)305--313
-
Du, M. W., see Chang, C. C.
-
Du:1983:SNP, z(3)305--313
-
Du:1985:FDP, z(2)213--222
-
Dubois, M., z(4)419--431
-
Dubois:1982:PSI, z(4)419--431
-
Duchamp, D. J., z(6)520--530
-
Duchamp, D. J., see Spector, A. Z.
-
Duda, A., 15(12)1567--1578
-
Duda, A., see Bernard, G.
-
Duda, M. R., 14(5)575--583
-
Duda, M. R., see Mueller, R. A.
-
Dudler, A. M., z(7)574--583
-
Dudler, A. M., see Braegger, R. P.
-
due, 15(1)72--82
-
Dugan, J. Bechta, 15(4)394--401
-
Dugan:1989:SPN, 15(4)394--401
-
Dunham, J. R., z(1)110--123
-
Dunham:1986:ESR, z(1)110--123
-
Dunlop, D. D., z(3)275--285
-
Dunlop:1984:HDL, z(3)275--285
-
Dunsmore, H. E., 14(9)1261--1270, z(2)155--165
-
Dunsmore, H. E., see Shen, V. Y.,
see Yu, T. J.
-
Duran, J. W., z(1)147--148, z(4)438--444
-
Duran:1981:CRS, z(1)147--148
-
Duran:1984:ERT, z(4)438--444
-
Dyer, M., 15(3)362--z, z(1)3--11
-
Dyer, M., see Currit, P. A.,
see Curritt, P. A.
-
dynamic, 14(9)1307--1318, 14(9)1327--1341, 15(1)72--82, 15(1)93--97,
15(2)109--119, 15(10)1188--1198, z(1)113--121, z(1)122--131,
z(3)228--232, z(3)284--290, z(3)436--441, z(4)375--385,
z(4)424--436, z(4)521--530, z(4)527--531, z(5)451--457,
z(5)540--552, z(8)801--810, z(8)866--870, z(8)977--987,
z(9)978--985