Index file section M for tosem.bib

Last update: Sun Mar 29 02:02:42 MDT 2026

Return to index directory

M

macro, 2(1)93--106
made, 1(3)229--268, 1(3)269--309, 2(2)128--175, 2(2)176--201, 5(4)293--333
magnitude, 1(3)205--228
main, 2(2)128--175, 3(1)56--98, 3(4)271--307, 3(4)308--339
maintain, 1(1)95--127, 4(3)287--317
maintaining, 5(3)191--230, 5(3)262--292
maintenance, 1(1)95--127, 1(3)229--268, 1(3)310--354, 1(4)355--398, 2(3)228--269, 2(3)270--285, 2(3)286--303, 4(1)3--35, 5(2)146--189, 5(3)262--292
major, 1(1)5--20, 4(1)65--106
make, 2(3)228--269, 2(3)286--303, 2(4)311--345, 3(4)271--307, 4(1)3--35, 5(3)191--230, 6(1)1--30
making, 2(3)228--269
managed, 6(1)80--110
management-related, 4(3)221--286
manager, 6(1)31--79
manipulate, 2(3)228--269, 5(1)42--62
manipulation, 1(3)205--228, 2(3)228--269
manner, 2(4)311--345, 3(4)271--307, 6(1)80--110
manual, 2(3)228--269
manually, 2(2)109--127
marginal, 2(2)176--201
Markov, 2(1)93--106
Martin, Johnny, 1(2)188--204
Martin, Johnny, see Schneider, G. Michael
Master-slave, 6(1)80--110
master/dependent, 6(1)80--110
match, 4(2)146--170, 5(4)378--421
matcher, 4(2)146--170
matching, 4(2)146--170, 4(2)171--213
matching--function, 4(2)146--170
mathematical, 2(2)109--127, 5(2)146--189, 6(1)31--79
mathematics, 1(4)422--451, 2(1)93--106
maximum, 4(1)36--64
mean, 1(3)269--309, 2(4)379--411, 3(4)308--339, 4(2)109--145, 4(4)319--364, 5(2)119--145, 6(1)1--30
meaning-preserving, 2(3)228--269
meaningful, 2(1)93--106, 4(4)319--364
Meanings, 1(3)229--268, 2(4)311--345, 3(2)131--165, 3(2)166--199, 3(3)221--253, 3(4)308--339, 4(1)36--64, 4(2)109--145, 4(2)171--213, 4(4)319--364, 4(4)365--389, 5(4)293--333, 5(4)334--377
meant, 6(1)80--110
measure, 1(3)205--228, 1(4)422--451, 2(1)93--106, 4(1)36--64, 5(1)42--62, 5(2)87--98
measured, 1(2)188--204, 3(1)3--28
measurement, 4(1)36--64
mechanical, 3(2)131--165, 3(4)308--339, 4(2)109--145, 4(2)171--213, 6(1)31--79
mechanically, 6(1)31--79
mechanism, 1(3)229--268, 1(3)269--309, 2(3)203--227, 3(1)3--28, 3(2)101--130, 3(2)166--199, 5(4)334--377
mechanized, 5(3)262--292
mediator, 1(3)229--268
mediator/event, 1(3)229--268
medium-sized, 3(1)3--28
meet, 1(3)205--228, 6(2)111--140
meeting, 4(1)65--106
Melliar-Smith, P. M., 3(2)131--165, 6(1)31--79
Melliar-Smith, P. M., see Dillon, L. K., see Moser, L. E.
member, 1(1)81--94
message, 3(2)101--130, 3(4)271--307
met, 2(4)379--411
meta-environment, 2(2)176--201
metaprocesses, 4(3)221--286
methodological, 3(4)271--307
Methodologies**, 1(3)229--268, 1(4)355--398, 2(3)203--227, 2(3)270--285, 3(2)166--199, 3(4)271--307, 6(1)31--79
micro, 2(1)93--106
might, 3(1)3--28
Milieux, 1(1)53--80, 1(1)81--94, 1(2)188--204, 1(3)205--228, 1(3)229--268, 2(3)203--227, 2(3)228--269, 5(3)191--230, 5(3)231--261
minimalistic, 2(2)128--175
minimized, 5(4)334--377
minimum, 2(2)128--175, 4(1)36--64, 6(1)1--30
Miscellaneous, 1(1)53--80, 1(3)205--228, 1(3)269--309, 1(4)355--398, 2(3)286--303, 4(2)146--170
missing, 1(3)269--309, 3(1)29--55, 5(3)231--261
ML, 4(2)146--170
model--is, 4(2)171--213
model-checking, 4(2)171--213
model-parametric, 3(4)308--339
model-theoretic, 3(1)56--98, 3(4)308--339
modeled, 2(1)47--92
modeling, 1(2)135--167, 1(3)269--309, 1(4)355--398, 2(1)93--106, 2(2)128--175, 2(3)203--227, 4(2)171--213, 5(3)231--261, 5(4)293--333
models--are, 5(3)262--292
modern, 5(3)191--230
modification, 1(3)310--354, 2(2)176--201, 4(1)3--35
modified, 1(3)269--309, 3(1)3--28, 5(2)87--98
modifying, 1(3)310--354, 4(1)3--35, 6(2)111--140
modular, 2(1)1--46, 2(2)176--201, 3(1)56--98, 4(2)109--145
modularity, 3(2)166--199, 4(4)365--389, 5(4)334--377
modularized, 4(1)65--106
modularizing, 4(1)65--106
module, 1(4)355--398, 2(1)47--92, 3(1)3--28, 3(1)56--98, 3(2)166--199, 4(2)109--145, 4(2)146--170, 4(4)319--364, 4(4)365--389
modules--and, 4(2)146--170
Mok, Aloysius K., 2(4)346--378
Mok, Aloysius K., see Wang, Farn
monitored, 5(3)231--261
monitoring, 4(3)221--286
Moreover, 5(1)42--62
Morzenti, Angelo, 3(1)56--98, 3(4)308--339
Morzenti, Angelo, see Felder, Miguel
Morzenti:1994:OOL, 3(1)56--98
Moser, L. E., 3(2)131--165, 6(1)31--79
Moser, L. E., see Dillon, L. K.
Moser:1997:GED, 6(1)31--79
Mothra, 2(2)109--127
motivated, 1(4)399--421
motivating, 3(1)56--98
motivation, 6(1)80--110
much, 2(2)128--175, 4(2)171--213
multi-graph, 3(1)29--55
multiclock, 2(4)346--378
multiparadigm, 2(4)379--411, 4(3)221--286
multiple, 2(1)47--92, 2(3)203--227, 2(4)346--378, 4(1)3--35, 4(4)365--389
multiple-process, 4(3)221--286
multiset, 4(2)146--170
multiuser, 2(1)47--92, 2(3)203--227
Murphy, Gail C., 5(3)262--292
Murphy:1996:LLS, 5(3)262--292
must, 1(1)95--127, 2(4)379--411, 4(1)65--106, 6(1)31--79
mut, 5(3)191--230
mutant, 5(2)99--118
mutation, 1(1)5--20, 2(2)109--127
mutually, 3(4)340--380, 4(1)3--35