SEARCH
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Prev | Current Page 432 | Next

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

"Model-Based Software Testing and Analysis with C#"

See also C#
dependent feature, 230, 319
derived state, 173, 319
design, 3, 4, 8??“10, 46??“47, 319. See also
crosscutting
deterministic, 47, 271, 319
difference, 162, 319
directed graph, 96, 319
disabled, 97, 173, 319
disjunction, 319
dispatcher, 34
distributed system, 4, 58, 72, 272, 277,
319
domain, 75, 81??“82, 106, 120??“121, 183??“186,
230, 252, 288??“289, 319
Domain, 75, 288??“289. See also Attributes,
NModel
dynamic function, 162, 319
edge. See link
efficiency, 5
embedded computer, 14, 32, 277
enabled, 40, 46??“48, 63??“64, 68??“69, 81, 83??“85,
96??“97, 101??“104, 107??“113, 118??“120,
123??“126, 192, 199, 201??“202, 207,
216??“218, 228, 261??“262, 268??“271, 319
enabling condition, 62??“63, 68??“70, 187??“188,
229, 287??“288, 320. See also strengthen
end state. See next state
engineering, 9??“10
enumerator, 156??“157. See also C#, data types
environmental abstraction, 62, 70, 320
344 Index
event, 8, 34??“43, 46??“48, 83??“85, 259, 264,
272??“274
C# 34, 39, 264
event-driven system. See reactive system
exhaustive, 52, 57, 100, 320
explorable, 121, 183??“186, 230, 267, 320
exploration, 6, 94??“114, 150, 183??“190,
228??“230, 232??“234, 235, 238, 245,
320
algorithm, 103??“106
exhaustive, 52, 100
interactive, 101??“102, 105, 107, 111, 132,
263
partial, 263
factory method, 99??“100, 103, 118, 127??“128,
142, 185, 210, 212, 249, 267, 281??“282,
320
fail, 24??“25, 320
failure, 28??“29, 44??“46, 320
fault.


Pages:
420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441
hotel jelenia góra Russian bride Free English grammar and study guid powiekszenia wielkoformatowe counter strike 1.6