Ich bin vor allem ständig an einer Diskussion und Entwicklung von Methoden interessiert, die es gestatten, die weniger kreativen Bestandteile des Entwurfs- und Codierungsprozesses zu formalisieren und so Routinefehler zu vermeiden.
Die meisten Entwurfsmethoden (auch die von mir bevorzugte UML) enthalten keine geeignete Vorschrift, die zur Erstellung eines dynamischen Modells auf Exemplarebene gestattet. Ich bevorzuge Petri-Netze für diese Aufgabe. Petri-Netze besitzen ein fundierendes mathematisches Modell und sind beliebig verfeinerbar.
Zuletzt sei noch auf einige informatikbezogene Server in Berlin und Brandenburg hingewiesen.
Web-Site von Uwe Sauerland
(letzte Änderung 2010-03-02)