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:

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