See labeled transition system
map, 162??“164, 172??“173, 247??“248, 296??“298,
323. See also data types
match
actions, 125??“126, 284??“287, 323
traces, 242
memoryless strategy, 202, 323
Microsoft Research, 53
model (engineering), 9??“10
model checking, 6, 150, 219, 276??“277, 324
Bogor, 276
Uppaal-Tron, 277
model program, 4??“5, 8??“11, 57??“93, 281??“282,
324
Model Program Viewer (tool). See mpv
model-based analysis, 5??“7, 10, 47??“52,
106??“113, 131??“136, 228??“230, 232??“240,
308??“310, 324
model-based testing, 7??“8, 10, 137??“149,
191??“218, 259??“274, 311??“314, 324
modeling languages, 150, 219, 276. See also
NModel
Alloy, 150, 219
AsmL, 150, 219, 276
B, 150, 219
Promela, 150, 219
Spec#, 150, 219, 276
TLA, 150, 219
Unity, 159, 219
VDM, 150, 219
Z, 150, 219
mpv (Model Program Viewer Tool), 6, 47??“52,
94, 99??“114, 127??“129, 308??“310
multiplexing, 272??“274, 277, 324
multiplicity, 167, 324
multiset. See bag
namespace, 20, 67, 247, 324. See also C#,
fully qualified name, simple name
.NET framework, 4, 15??“23, 34??“40, 54. See
also assembly, C#, CLI, csc
data types, 157??“166
Forms, 34
Global Assembly Cache (GAC), 23, 321
timer, 34, 39, 83
news reader (case study). See user interface
next state, 95, 324
NModel framework, 4, 67, 281??“314. See also
ct, mpv, otg
attributes, 282??“292
commands, 308??“314
data types, 157??“169, 248??“257, 292??“307
library, 4, 281??“307
program structure, 67, 281??“282
node, 95, 324
nondeterminism, 8, 28, 33, 62, 69??“70,
261??“263, 324
NUnit, 23??“25.
Pages:
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441