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
Quelle:
Quelle:
Kartensatzinfo:
Autor: Annika
Oberthema: Informatik
Thema: Softwarekonstruktion
Schule / Uni: TU Dortmund
Veröffentlicht: 19.03.2014
Tags: Prof Dr Jürjens
Schlagwörter Karten:
Alle Karten (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)
