Foliensatz 3.3
Ziele Wiederverwendbarkeit: algebraische Spezifikation
Ziele Wiederverwendbarkeit: algebraische Spezifikation
Teil 1: Wichtiges Ziel:Wiederverwendbarkeit von Software-Komponenten.
Frage:Wie können Ansätze, die auf algebraischer Spezifikation basieren, dieses Ziel unterstützen ?
Antwort:
Für gegebene algebraische Spezifikation S einer Software-Komponente kann ich eine Alt-Komponente C wiederverwenden, sofern sie Spezifikation S erfüllt.
Frage:Was tun, wenn Alt-Komponente C gegen (etwas) abweichenden algebraischen Spezifikation S' entwickelt wurde ?
Antwort:
Definiere Abbildung h zwischen algebraischen Spezifikationen S und S',
die wesentlichen gewünschten Eigenschaften
bewahrt (genannt „Homomorphismus“
bzw. „Isomorphismus“)
Frage:Wie können Ansätze, die auf algebraischer Spezifikation basieren, dieses Ziel unterstützen ?
Antwort:
Für gegebene algebraische Spezifikation S einer Software-Komponente kann ich eine Alt-Komponente C wiederverwenden, sofern sie Spezifikation S erfüllt.
Frage:Was tun, wenn Alt-Komponente C gegen (etwas) abweichenden algebraischen Spezifikation S' entwickelt wurde ?
Antwort:
Definiere Abbildung h zwischen algebraischen Spezifikationen S und S',
die wesentlichen gewünschten Eigenschaften
bewahrt (genannt „Homomorphismus“
bzw. „Isomorphismus“)
Tags: algebraische, spezifikation, ziele
Source:
Source:
Flashcard set info:
Author: Annika
Main topic: Informatik
Topic: Softwarekonstruktion
School / Univ.: TU Dortmund
Published: 19.03.2014
Tags: Prof Dr Jürjens
Card tags:
All cards (68)
Abnahmetest (1)
algebraische (2)
Ansatz (1)
bewertung (2)
blackbox (1)
CMMI (1)
Code (1)
Diagrammtypen (1)
einschränkung (1)
emf (3)
Erweiterung (1)
evolution (1)
fehler (1)
fehlerhandlung (1)
fehlerzustand (1)
gef (3)
generieren (1)
gmf (1)
Grenzwertanalyse (1)
grundidee (1)
integrationstest (1)
Invariante (2)
iso9000 (1)
komplexität (2)
Komplexität (2)
Komponententest (1)
kreis (1)
kriterien (1)
kritik (1)
lazy evaluation (1)
lebenszyklus (1)
MDA (1)
mda (2)
Meta (1)
meta (1)
Metamodell (1)
metrik (1)
modell (1)
mvc (1)
nachbedingung (1)
negativ (1)
ocl (1)
omg (1)
positiv (1)
Probleme (2)
qualität (2)
qualitätslenkung (1)
qualitätsprüfung (1)
robust (1)
software (4)
spezifikation (3)
standards (1)
Standards (1)
suite (1)
Systemtest (1)
testen (2)
testprozess (1)
Testprozess (1)
überblick (1)
übung3 (1)
UML (2)
UMl (1)
ursache (1)
v-modell (1)
validierung (2)
verifizierung (1)
verifzierung (1)
vorbedingung (1)
white-box (2)
zentral (1)
ziele (1)
zyklomatisch (3)
