Publication -
 Bernhard Rumpe
Formale Methodik des Entwurfs verteilter objektorientierter Systeme

Ausgezeichnete Informatikdissertationen 1997



Author(s): Bernhard Rumpe
Year: 1998
Publisher: B. G. Teubner Stuttgart
Abstract:Dieser "Uberblicksartikel beschreibt die wichtigsten Ergebnisse meiner Dissertation. Es wird eine methodische Grundlage f"ur die Spezifikation von Struktur und Verhalten verteilter, objektorientierter Systeme skizziert. Es werden Beschreibungstechniken f"ur Klassen- und Zustandsdiagramme definiert und ein Verfeinerungskalk"ul f"ur diese angegeben. Insbesondere wird in diesem Artikel der Verfeinerungskalk"ul f"ur Zustandsdiagramme vorgestellt und an einem ausf"uhrlichen Beispiel motiviert. Die sich ergebenden Folgerungen f"ur den objektorientierten Softwareentwicklungsproze"s werden diskutiert. W"ahrend in der Dissertation Wert auf eine pr"azise Fundierung gelegt wurde, enth"alt dieser Artikel eine informelle Motivation und Ergebnispr"asentation.


Available as pdf


BibTeX-Entry:

@inproceedings{Rum98c, author = {Bernhard Rumpe}, title = {Formale Methodik des Entwurfs verteilter objektorientierter Systeme}, booktitle = {Ausgezeichnete Informatikdissertationen 1997}, year = {1998}, publisher = {B. G. Teubner Stuttgart} }

Die Dissertation kann als Buch bei mir bezogen werden. Just drop an email.


Bernhard Rumpe