memory overhead, 493
menu
pulldown, 100
menu-driven application, 23
Mercury, 390
method
in Java, 575
overloading, 582
method coverage, 415, 485
method coverage in context, 415
methods
untestable, 489
metric, 27
for project monitoring, 29
organizational, 28
product, 29
product quality, 32
project, 29
static, 32
metrics
complexity, 30, 31
dynamic, 32
Halstead, 30
predictive ability, 82
software science, 30, 31, 82
MI: meaning impact, 168, 182
microprocessor-memory bus, 485
Microsoft, 389, 390, 489
microwave oven
example, 206
MIDI: Musical Instrument Digital
Interface, 204
milk, 98, 99
Miller, Keith, 612
minimal covering set, 375, 388
minimal machine, 203
minimality
of FSM, 239
Miranda, 614
missing initialization, 610
missing-state error, 210
mistakes
by C programmers, 528
by Java pro ...