Folien (4up) - Benjamin Braatz
Folien (4up) - Benjamin Braatz
Folien (4up) - Benjamin Braatz
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Konsistenz von OO Viewpoints<br />
Zusammenfassung<br />
Methodenverfeinerung<br />
Konsistenz von OO Viewpoints<br />
Ausblick<br />
Methodenverfeinerung<br />
Entwicklung des TS-Framework<br />
Validierung der Nutzbarkeit anhand der Modellierung von verschiedensten formalen<br />
– semantischen Bereichen,<br />
– Kompositionsoperatoren,<br />
– Enwicklungsrelationen<br />
TS-Semantik insb. für:<br />
– Classdiagrams<br />
– Statecharts<br />
Enwicklung von OOTS<br />
Entwicklung einer formalen, heterogenen Spezifikationsmethode für objektorientierten<br />
Softwareentwurf mit<br />
adäquater Spezifikation der Viewpoints durch UML-Techniken<br />
erweiterbar/offen für die Integration weiterer Aspekte<br />
formalen und algorithmisch entscheidbaren Konsistenzkriterien<br />
kompositionaler Semantik<br />
formalen Entwicklungsrelationen<br />
DFG-SPP-Kolloquium, 20.11.2003 59<br />
DFG-SPP-Kolloquium, 20.11.2003 60