Projects and Products - M
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
On process technologies:
Acronym
Description
MAESTRO II
Construction Team Workstation
Marvel
Process-Centered Environments
MASP
Model for Assisted Sofware Process
MELMAC
Process models instantiation in FUNSOFT nets
MERISE
Dynamic modelling method
MERLIN
Knowledge-based process modeling
MIKE
Prozeßmodell
MIL-STD-498
Software Development and Documentation Standard
MILOS
ModelIng Language and Operation Support for software processes
MoST
Entwicklung von Prozeßmodellen
MViews
MViews
MVP/L
Multi-View Process modeling Language
On formal methods:
Acronym
Description
Maintainer's Assistant
Reverse engineering and re-engineering code using formal methods
MALPAS
Static analysis tool-set
Meije
Verification of concurrent programs
Mizar
Support a working mathematician in preparing papers
Model checking
Formally verifying finite-state concurrent systems
Mural
Formal reasoning about specifications
Murphi
Description language and verifier tool
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
This page online
GDPA Online
Last Updated 05.Nov.2002 by
C. Freericks