Dokument
Inhaltsverzeichnis Anlage 1
1 Zweck und Inhalt der Anlage 1
2 Übersichten
.. Zuordnungen Produkte
.. Zuordnungen SE-Aktivitäten
.. Zuordnungen QS-Aktivitäten
.. Zuordnungen KM-Aktivitäten
.. Zuordnungen PM-Aktivitäten
.. Einschränkungen
3
Erläuterungen zu Methoden
.. Erläuterungen zur Methode Objektentwurfstechnik (OBJE)
.. Methodische Aspekte des Konfigurationsmanagements
4 Erläuterungen zu Methodenschnittstellen
.. AVK - FS
.. BALK - NPT
.. DFM - ER
.. DFM - FKTD
.. DFM - KFM
.. DNAV - ER
.. DNAV - PCODE
.. DVER - FS
.. ELH - ER
.. ELH - FNET
.. ER - LOGM
.. ER - NORM
.. FS - PVER
.. KFM - ZUST
.. PCODE - PZIM
.. PCODE - STRD
.. PCODE - ZUST
.. PZIM - ZUST
5
Erläuterungen zu Methodenkategorien
.. (AVK)
Analyse verdeckter Kanäle
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einzelmethoden
.. .. .. Die Einzelmethoden im Vergleich
.. ..
Einzelbeschreibungen
.. .. .. Informationsflußanalyse
.. .. .. Shared Resource Methodology
.. (DVER)
Designverifikation
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einzelmethoden
.. .. .. Die Einzelmethoden im Vergleich
.. ..
Einzelbeschreibungen
.. .. .. Klassische Programmverifikation
.. .. .. Verification while Development
.. .. .. Formale Transformation
.. (FS)
Formale Spezifikation
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einzelmethoden
.. .. .. Die Einzelmethoden im Vergleich
.. ..
Einzelbeschreibungen
.. .. .. Mathematische Spezifikation
.. .. .. Axiomatische Spezifikation
.. .. .. Algorithmische Spezifikation
.. .. .. Spezifikation mittels Traces
.. .. .. Spezifikation mittels temporaler Logik
.. (PVER)
Programmverifikation
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einzelmethoden
.. .. .. Die Einzelmethoden im Vergleich
.. ..
Einzelbeschreibungen
.. .. .. Klassische Programmverifikation
.. .. .. Verification while Development
.. .. .. Formale Transformation
.. (REV)
Review
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einzelmethoden
.. .. .. Die Einzelmethoden im Vergleich
.. ..
Einzelbeschreibungen
.. .. .. Technischer Review
.. .. .. Durchführungsreview
.. .. .. Software-Inspektion
.. .. .. Walkthrough
.. (SMOD)
Schätzmodelle
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einsatzkriterien
.. .. .. Einzelmethoden
.. ..
Einzelbeschreibungen
.. .. .. Function Point Methode (FPM)
.. .. .. Constructive Cost Model (CoCoMo)
.. (SIMU)
Simulationsmodelle
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. ..
Einzelbeschreibungen
.. .. .. Kontinuierliche Simulationsmodelle
.. .. ..
Diskrete Simulationsmodelle
.. .. .. .. Zeitgesteuerte Simulationsmodelle
.. .. .. .. Ereignisgesteuerte Simulationsmodelle
.. .. .. .. Aktivitätsorientierte Simulationsmodelle
.. .. .. .. Prozeßorientierte Simulationsmodelle
.. .. .. .. Transaktionsorientierte Simulationsmodelle
.. (SVM)
Systemverhaltensmodelle
.. .. Übersicht
.. .. .. Beurteilungskriterien
.. .. .. Einsatzkriterien
.. .. .. Einzelmethoden
.. ..
Einzelbeschreibungen
.. .. .. Petri-Netze (PNET)
.. .. .. Statecharts (STC)
.. .. .. Specification and Description Language (SDL)
.. (ZUVM)
Zuverlässigkeitsmodelle
.. .. Übersicht
.. .. Einzelbeschreibungen
.. .. ..
Statistische Modelle
.. .. .. .. Modell von Goel und Okumoto
.. .. .. .. Ausführungszeitmodell von Musa
..
.. .. .. Logarithmisches Poisson-Ausführungszeitmodell von Musa und Okumoto
.. .. .. .. Jelinski-Moranda-Modell
..
.. .. .. Modell von Schick und Wolverton
.. .. .. Modell der Fehlereinstreuung
Anhang
A
Verzeichnisse
.. Abkürzungsverzeichnis
.. Abbildungsverzeichnis
.. Tabellenverzeichnis
.. Literaturverzeichnis