nach langer Zeit mal wieder ein Lebenszeichen....die diplomarbiet geht grad ein wenig schleppend voran...bin mitten im Designen der GUI und hab jetzt auch schon den ersten Editor fertig, mit dem man sich sein Statechart automatisch zusammenklicken kann...funktioniert auch prima und die automatische Visualisierung ist echt total hilfreich beim Erstellen der Statecharts...man muss sich keine Gedanken über Anordnung der Charts machen, oder darüber, wo man denn nun am besten die transitionen durchführt...macht alles die RoutingEngine...so wie das sein soll. Diese Woche werd ich noch fleissig an der GUI basteln und dann fehlen eigentlich (bis auf Kleinigkeiten) nur noch die Parser, die eine Spezifikation vom Beweiser einlesen können und auch wieder an diesen senden können...dann scheint die erste Version beinahe fertig und es kann mit der Ausarbeitung losgehen...ma kuckn, ob das alles so klappt, wie ich mir das vorstelle...

na dann, werd jetzt noch ins Kino kuckn....wünsch euch noch einen schönen Sonntag-Abend und morgen einen ersten warmen Frühlingstag, bis bald mal wieder,
Anderl