Previous Next GDPA  
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

Previous Next This page online  •  GDPA Online  •  Last Updated 05.Nov.2002 by C. Freericks