|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Zelkowitz M.(editor) — Advances in Computers. Volume 49 |
|
|
|
| Предметный указатель |
data mapping 245
Data masking scheme 255
Data parallelism 244—245
Data stream 246
Data type invariants 74
Data-parallel execution model 274
Data-parallel programming model 259—262
Database query/update system 153
Davies, J. 72 79 94
Davis, E. 259 296
Davis, N.J. 265 272 301
De Gesu, V. 266 296
Declaring an exception 194
Def/use graphs 121 124
Default decisions 199
Default handlers 227—228
Delisle, N. 90 93
Della Peitra, S.A. 34 58
Della Peitra, V.J. 34 58
Della, P. 146 188
Demedts, A. 36 57 68
DeMillo, R.A. 262 297
Dependent tasks 233—234
DeRemer, F.L. 146 188
derived types 231—232
des Tombe, L. 19 26 28 56 61 67
Detailed design level 198
Deterministic Finite State Automata (DFSA) 262
Deterministic systems 324
Devanbu, P. 151 188
Device operating system 333
DeviceNet Specification Version 2.0 316 347
Devos, F. 266 267 300
Dhagat, M. 241 297
Di Battista, G.L.G. 139 140
Diagne, A.K. 48 64
Diagnostics 325 326
Dialogue-based MT (DBMT) 38—39
DICC DRCS 318—322
DICC system 318
Dichiaro, T. 284 285 286 290 295
Dickmann, L. 48 64
DIDC DRCS 320—321
DIDC system 318 323
Dietz, H. 275 277 278 296 297
Dietz, H.G. 252 261 262 270 272 277 284 285 286 287 288 289 290 297 300
Dietzel, T. 36 57 68
Digitization 306
Direct mapping 15
Distinguished values 217—219
Distributed control system (DCS) 318
Distributed diagnostics 327
Distributed dimension 316
Distributed IO 317
Distributed memory 248
Distributed Real-time Control System see "DRCS"
Distributed real-time operating system research 310—311
Distributed services 332
Distributed shared memory 248
Document publishing tools 13—14
Doi, S. 34 59
Dolan, W. 37 65
Domain analysis, actions on objects 165
Domain knowledge 151
Domain models for system testing 143—190
Domain models, building 155—172
Domain models, reverse engineering 171—172
Domain reuse 180—183
Domain reuse, example 183
Domain-based testing, reuse applications 184
Domain-specific languages 339
Domashnev, C. 37 64
Dominguez, I.Z. 12 64
Dorna, M. 24 33 39 59 60
Dorr, B.J. 2 12 17 19 26 30 31 53 54 57 59 60 62 65 68
Dorrepaal, J. 28 67
Douglass, R. 244 245 252 299
DRCS 303—352
DRCS, autoconfiguration 311—312
DRCS, benefits 343—344
DRCS, communications 334—337
DRCS, control algorithm processing 328—334
DRCS, control processor architecture 331
DRCS, controller integration and packaging 330—331
DRCS, development and debugging environments 339
DRCS, diagnostics 312
DRCS, dimensions 317
DRCS, fault tolerance 312
DRCS, general technology trends impacting 305—309
DRCS, IO dimension 325—328
DRCS, language 339
DRCS, limitations 343—344
DRCS, man-machine interface (MMI) 341—343
DRCS, overview 304
DRCS, programming 337—341
DRCS, taxonomy 316—343
DRCS, use of general purpose components 307
Duff, M. 244 254 297
Duggan, G. 112 140
Duncan, A.G. 146 147 149 175 188
Duplicate actions 199
Duran, J.W. 150 189
Durfee, E.H. 313 547
Dynamic barriers 277
Dynamic periodic system 328
Eberle, K. 9 21 60
Eeg-Olofsson, M. 30 66
Ehrlich, K. 99 141
Eick, S. 106 140
Elaboration failure 231
Elder, J. 36 68
Ellis, J. 247 297
Elmstrom, R. 84 92
Elsley, G. 313 546
Emele, M.C. 24 33 39 59 60
Emerson, E.A. 85 92
Eoyang, C. 246 301
EPGA 266
Erroneous data 194
Error handling 217
Error states 194 217
Eugenio, D.B. 47 59
EUROTRA 3—4
Event driven IO synchronization 328
Event service 332—333
Example-based MT (EBMT) 37
Exception, category 202
Exception, declarations 230
Exception, definition 194
Exception, granularity 202
Exception, maps 215—216
Exception, raising 194
Exception, roles 195
Exception, semantics 202—210
Exception-based ineffective design patterns 221—229
Exception-handling 194 223—228
Exception-handling, concepts 193—195
Exception-handling, definition 193
Exception-handling, design patterns 191—238
Exception-handling, design patterns, detection, propagation and recovery responsibilities 199—200
Exception-handling, design patterns, ineffective 221—229
Exception-handling, design strategies 197—221
Exception-handling, design strategies, allocation of responsibility 197
Exception-handling, design strategies, auxiliary functions 200—202
Exception-handling, design strategies, coarse-grained exceptions 205—207
Exception-handling, design strategies, combining origin-, cause- and recovery-based exceptions 209—210
Exception-handling, design strategies, control-based approach 219—220
Exception-handling, design strategies, data-based approaches 217—219
Exception-handling, design strategies, detection functions 200
Exception-handling, design strategies, exception semantics 197
| Exception-handling, design strategies, fine-grained exceptions 207—209
Exception-handling, design strategies, global design patterns 197
Exception-handling, design strategies, local design patterns 197
Exception-handling, design strategies, recovery functions 200
Exception-handling, design strategies, value-based approaches 221
Exception-handling, design structures, allocation of responsibility 198—202
Exception-handling, functions 194—195
Exception-handling, life cycle 195—197
exceptional condition 193 194
Execution autonomy 291
Explicit raising of predefined exceptions 222—223
Factorization 210—215
Failure to resume normal processing 217
Falkedal, K. 46 62
Fan, X. 288 295 297
Farwell, D. 12 19 24 26 40 60 64
Fass, D. 12 26 68
Feature-interaction based ineffective design patterns 221 229—237
Felderman, R. 273 297
Fenton, N. 92
Ferretti, M. 254 266 267 296
Ferritti, M. 256 295
Figliulo, T. 187 190
File-inclusion graphs 101
Finger, A. 145 188
Finin, T. 41 42 65
Finkel, R. 275 298
Finney, K. 92
Firewalls 225
Fisher, F. 14 26 60
Fisher, J.A. 290 297
Fitzgerald, J.S. 72 81 84 88 89 92 93
Fixed-partition barriers 276
Florenza, M. 28 67
Flynn, M.J. 240 246 297
Ford, L. 104 105 106 140
Formal methods 69 71
Formal methods, industrial applications 88—90
Formal methods, light 86
Formal models, analysis techniques 79—88
Formal models, animation 84—85
Formal models, proof 86—88
Formal models, recent applications 88—90
Formal models, review of example model 78—79
Formal models, syntax 84
Formal models, testing 84—85
Formal models, type checking 84
Fountain, T. 244 254 255 256 257 297 298
Fox, G. 241 244 245 252 263 298
Francis, N. 267 300
Frank, A. 59
Frederking, R. 24 40 58 60
Frederking, R.E. 24 54 61
Frequency-based test generation 148—149
Fritsche, G. 266 298
Froome, P. 84 92
Fuchs, N.E. 85 93
Fujii, Y. 28 60
Fujimoto, R. 253 273 298
Fujita, K. 26 67
Fujiwara, K. 278 299
Fujiwara, S. 147 148 188
Full barriers 276
Function blocks 339
Function fall-through 223—224
Functional parallelism 244—245
Functional testing 149
Furuse, O. 37 40 60 67
Fuzzy-barrier implementation 277
Gachot, D.A. 51 60
Gale, W.A. 12 60
GAM pyramid 266
Gamrat, O. 50 65
Gannon, D. 244 245 252 299
Gannon, D.B. 244 302
Garcia-Molina, H. 250 298
Garg, V. 269 296 298
Garlan, D. 90 93
Garman, J. 12 59
Gates, B. 36 57
Gates, D. 12 60
Geith, A. 310 347
Gelernter, D. 271 296
General concurrent interpretation 283—284
General global partitionability 267—268
Generalized maps 216
Generally Partitionable Architecture (GPA) 267—268
George, C. 72 93
Gerhart, S. 88 92
Gerhart, S.L. 149 188
Germano, F., Jr. 250 298
Gershman, A.V. 42 58
Gharachorloo, K. 242 249 250 270 299
Ghedamsi, A. 147 148 188
Ghezzi, C. 146 188
Ginsparg, J. 12 60
Giroux, E.D. 253 301
Global design patterns 210—217
Global virtual time (GVT) 273 274
Globalink 53
Globally partitionable MSIMD machines 292
Goguen, J.A. 70 72 92 93
Gokhale, M. 242 298
Goldstien, S. 248 271 297
Gonenc, G. 148 188
Goodenough, J. 196 237
Goodenough, J.B. 149 188
Goodman, J. 248 250 298
Goodman, K. 2 5 20 24 64
Goodwin, M. 144 187 188
Goofy 104—105
Gottlieb, A. 253 296
Gou, L. 313 347
Gramata, G. 146 188
Grammar-based test generation 145—147
Grannes, D.J. 37 64
Granularity of tasks 245
Green, M.A. 84 92
Greenberg, A. 260 298
Grishman, R. 12 28 34 37 40 60 61
Gropp, W. 248 298
Grosch's Law 307
Grosz, B.J. 12 61
Grumberg, O. 86 92
Gu, G. 311 347
Guha, R.W. 24 63
Gui, Q. 237
Guida, G. 12 61
Guillemont, M. 311 347
Gunn, B. 313 346
Guo, Cheng-Ming 12 26 68
Gupta, A. 242 249 250 270 299
Gupta, R. 277 298
Guthrie, L. 12 26 60
Guttag, J.V. 72 93
Habash, N. 26 31 53 59
Haines, M. 24 62
Hall, A. 89 93
Hamlet, D. 150 188
Handling an exception see "Exception-handling"
Hanson, A. 266 302
Harada, H. 246 301
hard real-time system 324
Hardware barrier machines 275—278
Harel, D. 72 93
Harrold, M.J. 237
HARTS (Hexagonal Architecture for Real Time Systems) 310
Hasegawa, T. 313 347
Hasling, W. 149 188
Hatcher, P.J. 252 270 271 298
|
|
|
| Реклама |
|
|
|
|
|
О проекте