Zustandsmodellierung im objektorientierten Bereich
|
Individual Methods
|
Einzelmethoden
|
|---|
|
IFA |
Information Flow Analysis
|
IFA | Informationsflußanalyse
|
|
SRM |
Shared Resource Methodology
|
SRM | Shared Resource Methodology
|
|
CDV |
Classical Design Verification
|
CDV | Klassische Designverifikation
|
|
VD |
Verification during Development (Design Verification)
|
VD | Verification during Development (Design Verification)
|
|
FT |
Formal Transformation (Design)
|
FT | Formale Transformation (Design)
|
|
MS |
Mathematical Specification
|
MS | Mathematische Spezifikation
|
|
AXIS |
Axiomatic Specification (Algebraic Specification)
|
AXIS | Axiomatische Spezifikation (Algebraic Specification)
|
|
ALGS |
Algorithmic Specification
|
ALGS | Algorithmische Spezifikation
|
|
STRACE |
Specification by Traces
|
STRACE | Spezifikation mittels Traces
|
|
STL |
Specification by Temporal Logic
|
STL | Spezifikation mittels temporaler Logik
|
|
CPV |
Classical Program Verification
|
CPV | Klassische Programmverifikation
|
|
VDP |
Verification during Development (Program Verification)
|
VDP | Verification during Development (Program Verification)
|
|
FTP |
Formal Transformation (Program)
|
FTP | Formale Transformation (Program)
|
|
SI |
Software Inspection
|
SI | Software-Inspektion
|
|
OR |
Operational Review
|
OR | Durchführungsreview
|
|
TR |
Technical Review
|
TR | Technischer Review
|
|
WLT |
Walkthrough
|
WLT | Walkthrough
|
|
FPM |
Function Point Method
|
FPM | Function Point Methode
|
|
CoCoMo |
Constructive Cost Model
|
CoCoMo | Constructive Cost Model
|
|
CSM |
Continuous Simulation Models
|
CSM | Kontinuierliche Simulationsmodelle
|
|
DSM |
Discrete Simulation Model
|
DSM | Diskrete Simulationsmodelle
|
|
TCSM |
Time-Controlled Simulation Models
|
TCSM | Zeitgesteuerte Simulationsmodelle
|
|
EDSM |
Event-Driven Simulation Models
|
EDSM | Ereignisgesteuerte Simulationsmodelle
|
|
ACSM |
Activity-Oriented Simulation Models
|
ACSM | Aktivitätsorientierte Simulationsmodelle
|
|
POSM |
Process-Oriented Simulation Models
|
POSM | Prozeßorientierte Simulationsmodelle
|
|
TOSM |
Transaction-Oriented Simulation Models
|
TOSM | Transaktionsorientierte Simulationsmodelle
|
|
PNET |
Petri Nets
|
PNET | Petri-Netze
|
|
STC |
State Charts
|
STC | Statecharts
|
|
SDL |
Specification and Description Language
|
SDL | Specification and Description Language
|
|
SM |
Statistic Models
|
SM | Statistische Modelle
|
|
MGO |
Model by Goel and Okumoto
|
MGO | Modell von Goel und Okumoto
|
|
ETMM |
Execution Time Model by Musa
|
ETMM | Ausführungszeitmodell von Musa
|
|
LPETM |
Logarithmic Poisson Execution Time Model by Musa and Okumoto
|
LPETM | Logarithmisches Poisson-Ausführungszeitmodell von Musa und Okumoto
|
|
JMM |
Jelinski-Moranda Model
|
JMM | Jelinski-Moranda-Modell
|
|
MSV |
Model by Schick and Wolverton
|
MSV | Modell von Schick und Wolverton
|
|
MES |
Model of Error Seeding
|
MES | Modell der Fehlereinstreuung
|