Previous Next GDPA Homepage  
Glossary M  

  Glossar - 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 About Glossary

Process Technologies: General

Main Activity
Management Process
Marginal Conditions
Means of Dependability
Meta-Model Process Meta-Model
Meta-Process
Milestone
Milestone Plan
Military and Industrial Standards Industrial and Military Standards
Model Driven Process

Model Activity Model
Model Data Model
Model Event-based Model
Model Lifecycle Model
Model Organizational Model
Model Phase Model
Model Process Capability Determination Model
Model Process Capability Model
Model Process Meta-Model
Model Process Reference Model
Model Product Model
Model Resource Model
Model Role Model
Model V-Model
Models Program Evolution Models

Monitoring Process Monitoring

Methods/Techniques: Software Development

Mathematical Specification
Modeling Class/Object Modeling
Modeling Control Flow Modeling
Modeling Data Flow Modeling
Modeling Data Navigation Modeling
Modeling Dialog Design Modeling
Modeling E/R: Entity Relationship Modeling
Modeling Function Net Modeling
Modeling Logical DB Modeling
Modeling Process Interaction Modeling
Modeling State Modeling in the OO Field
Modeling State Transition Modeling
Modeling Subsystem Modeling
Modeling Use Case Modeling
Models Estimation Models
Models Reliability Models
Models Simulation Models
Models System Behavior Models

Projects/products

MAESTRO II
Maintainer's Assistant
MALPAS - static analysis tool-set
Marvel
MASP - Model for Assisted Sofware Process
Meije - verification of concurrent programs
MELMAC
MERISE
MERLIN
MIKE
MIL-STD-498 Software Development and Documentation Standard
MILOS
Mizar - support a working mathematician in preparing papers
Model checking
MoST
Mural - formal reasoning about specifications
Murphi - description language and verifier tool
MViews
MVP/L

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 About Glossary

Previous Next This page online  •  GDPA Online  •  Last Updated 08.Oct.2002 by C. Freericks