Daniel Speicher's spartanische Homepage
University of Bonn
Institute of Computer Science III
Roemerstrasse 164
D-53117 Bonn
+49 (0228) 73-4315
E-Mail: dsp
Interessengebiete:
... wie sie sich zur Zeit herauskristalisieren ...- Program Transformations und Refactoring
- Software-Metriken zur Bewertung von Design-Qualität
- Aspect-Oriented Software Development
- Tree Transformations, Graph Transformations
- Model Driven Architecture
Einen ersten Überblick über mein Forschungsvorhaben gibt das Poster, das ich auf der AOSD 2004 vorgestellt habe.
Unter dem Namen Culitvate haben wir in zwei Praktika mit engagierten Studenten eine erste Version eines integrierten Refactoring-Tools entwickelt. Wie andere Werkzeuge zur Bewertung von Design-Qualität bietet es die Möglichkeit Analysen und Metriken auf Java-Code auszuwerten. Durch die Verwendung von JTransformer, welcher eine Repräsentation des Codes in einer logischen Datenbank bereit hält, erreichen wir darüber hinaus aber eine hohe Erweiterbarkeit und einfache Programmierbarkeit des Systems. Da es keinem Entwickler nutzt, die Mängel in seinem Code aufgezeigt zu bekommen ohne Vorschläge für eine Verbesserung zu erhalten, haben wir damit begonnen Patchwork in Cultivate zu integrieren, um Lösungsvorschläge in Form von Design-Pattern und allgemeineren Strukturen zu geben. Fernziel wäre dann die Integration der um meine Forschungergebnisse erweiterten Version von ConTraCT zur interaktiven Auswahl, Definition und Bewertung von Refactorings.
Aus meiner Zeit als Entwickler bringe ich die feste Überzeugung mit, dass die Qualität größerer Softwareprojekte ganz entscheidend von der Qualität der Anforderungserhebung und -analyse abhängt. Besonders aktuell ist in dieser Hinsicht die Berücksichtigung aspektorientierter Ansätze in dieser "ersten" Phase der Softwareerstellung, die zur Zeit unter dem Schlagwort "Early Aspects" diskutiert wird.
In der Beschäftigung mit dem letztgenannten Thema hoffe ich Intuitionen zu sammeln, welche Transformationen besonders wertvoll für eine Restrukturierung vorhandener Software mit unserem Tools sein werden.
Lehrtätigkeit:
| WiSe 2003 |
Seminar über "Component and Aspect Engineering" (zusammen mit Prof. Dr. A. B. Cremers und Dr. G. Kniesel) Mein Part war der AOP Teil. Hier geht's zur Literaturliste |
| SoSe 2004 (b-it/IPEC Winter School 2004) |
Praktikum Extreme Programming
(zusammen mit Prof. Dr. A. B. Cremers, T. Windeln und Holger Mügge), Zeitraum: 16.02.04 - 12.03.04, Hier geht's zum Wiki des Praktikums. |
| SoSe 2004 |
Vorlesung Softwaretechnologie
(Übungen zur Vorlesung von Prof. Dr. A. B. Cremers und Dr. G. Kniesel), |
| WiSe 2004 (b-it/IPEC Summer School 2004) |
Projektgruppe Extreme Programming 2004
(zusammen mit Prof. Dr. A. B. Cremers, Tobias Rho, Holger Mügge und Günter Kniesel), Zeitraum: 30.08. - 08.10.04, Hier geht's zum Wiki der Projektgruppe. |
| WiSe 2004 |
Vorlesung Aspect-Oriented Software Development 2004
(zusammen mit Dr. G. Kniesel) |
| SoSe 2005 (b-it/IPEC Winter School 2005) |
Praktikum Extreme Programming 2005
(zusammen mit Prof. Dr. A. B. Cremers, Holger Mügge, Tobias Rho und Günter Kniesel), Zeitraum: 16.03-18.04.05, Hier geht's zum Wiki des Praktikums. |
| WiSe 2005 (b-it/IPEC Summer School 2005) |
Praktikum Extreme Programming 2005
(zusammen mit Prof. Dr. A. B. Cremers, Holger Mügge, Tobias Rho und Günter Kniesel), Zeitraum: 14.09-14.10.05, Hier geht's zum Wiki des Praktikums. |
| SoSe 2006 |
Vorlesung Object Oriented Software Contruction
(Übungen zur Vorlesung von Prof. Dr. A. B. Cremers, Sascha Alda und Tobias Rho), |
| WiSe 2006 (b-it/IPEC Summer School 2006) |
Praktikum Extreme Programming 2006
(zusammen mit Prof. Dr. A. B. Cremers, Holger Mügge, Tobias Rho und Günter Kniesel), Zeitraum: 30.08-29.09.06, Hier geht's zum Wiki des Praktikums. |
| WiSe 2006 |
Vorlesung Aspect-Oriented Software Development 2006
(zusammen mit Dr. G. Kniesel) |
| SoSe 2007 |
Seminar über "Methoden Statischer Analyse zur Unterstützung der Software Evolution" (zusammen mit Prof. Dr. A. B. Cremers und Dr. G. Kniesel) |
Diplomarbeit:
Diplomarbeit "Zeitdiskrete Martingale auf metrischen Räumen nicht positiver und strikt negativer Krümmung" (PDF) Erstellt bei Prof. Dr. K.-Th. Sturm an der Abteilung für Wahrscheinlichkeitstheorie und Mathematische Statistik der Uni Bonn.(Richtig geraten: Ich bin Diplom Mathematiker. Informatik war bisher nur mein Nebenfach. Ich bringe aber Jahre praktischer Erfahrung als Softwareentwickler mit. Praxis weckt den Durst nach guter Theorie ;-).)
Kleine Notiz, wie ich mich zwischen den unterschiedlichen LaTeX-Environments entschieden habe.