Prof. Dr. Friedrich Steimann

Arbeitsschwerpunkte

• objektorientierte Programmierung
• Softwaremodellierung
• Programmiersysteme

Betreute Arbeiten

Abschlussarbeiten

• Andreas Kahl: "Untersuchung der Refactoringtools in Eclipse hinsichtlich der Beachtung von Zugreifbarkeitsregeln in Java", abgeschlossen, 2009
• Maik Devrient: Automatische Ersetzung von Vererbung durch Delegation in C#, in Bearbeitung, 2009
• Ralf Bier: Flexible Alias Protection für Java, in Bearbeitung, 2009
• Michael Dreikorn: Werkzeugunterstützer Einsatz einer Normsprache bei der Spezifikation von Softwaresystemen mit UML-Modellen, in Bearbeitung, 2009
• Mario Bertschler: Automatische Fehlerlokalisierung unter Berücksichtigung der möglichen Anzahl von Fehlern, in Bearbeitung, 2008
• Sebastian Hauf: Darstellung inferierter Abhängigkeiten zwischen Java-Paketen, abgeschlossen, 2008
• Gerd Eichhorn: Ein Eclipse-Plugin zur statistischen Analyse der Verwendung von Typen in Java-Programmen, abgeschlossen, 2008
• Michael Mondl: Ein Refaktorisierungswerkzeug für die Injektion minimierter Abhängigkeiten, abgeschlossen, 2008
• Thomas Baumann: Ein Refaktorisierungswerkzeug zum Ersetzen von kollaborierenden Objekten in Unit-Tests durch Mock-Objekte, abgeschlossen, 2008
• Mark Thamm: Gewinnung und Auswertung von Paaren von Namen für Objekte in Typdeklarationen von Java-Programmen („Infer Name“), abgeschlossen, 2008
• Martin Schaaf: Integration und Evaluation von Verfahren zur Bestimmung wahrscheinlicher Ursachen des Scheiterns von Unit-Tests in Eclipse, abgeschlossen, 2008
• Thomas Eichstädt-Engelen: Integration von Tracing in ein Framework zur Verknüpfung von gescheiterten Unit-Tests mit Fehlerquellen, abgeschlossen, 2008
• Eric Großkinsky: Access Modifier: Ein Werkzeug zur Einstellung der Sichtbarkeit in Java-Programmen, abgeschlossen, 2007
• Hannes Kegel: Constraint-basierte Typinferenz für Java 5, abgeschlossen, 2007
• Sabine Link: Definition und Anwendung eines Prozess-Assessment-Modells zur Testprozessverbesserung, abgeschlossen, 2007
• Markus Bach: Design und Implementierung eines Eclipse-Plugins zur Anzeige von möglichen Typgeneralisierungen im Quelltext, abgeschlossen, 2007
• Nils Meyer: Ein Eclipse-Framework zur Markierung von logischen Fehlern im Quellcode, abgeschlossen, 2007
• Frank Fiedler: Ein Eclipse-Framework zur automatischen Bestimmung nützlicher Interfaces in Java-Programmen, abgeschlossen, 2007
• Eric-Alexander Schäfer: Generierung und Anwendung von Frequent Item Sets für Java Quelltext, abgeschlossen, 2007
• Thomas Pawlitzki: Implementation einer Erweiterung von Java um implizite Aufrufe mit impliziter Ankündigung, abgeschlossen, 2007
• Christian Horder: Refactoring to Eclipse-RCP: Eine Fallstudie am Beispiel der Portierung einer kommerziellen Anwendung, abgeschlossen, 2007
• Michael Zöller: Der Nutzen von Typinferenz bei der Einführung von Entwurfsmustern in objektorientierten Programmen, abgeschlossen, 2006
• Mario Bertschler: Kapselung von Objekten in objektorientierten Programmiersprachen, abgeschlossen, 2006
• Michael Alexander Mayr: Konzeption und Entwicklung einer Web-Anwendung für das IT-Sicherheitsmanagement, abgeschlossen, 2006
• Daniel Dreher: Lizenzierung bei modularer und erweiterbarer Software, abgeschlossen, 2006
• Markus Stäuble: OSGI in Verbindung mit Eclipse RCP als Plattform für die Richclient-Entwicklung unter Java, abgeschlossen, 2006
• Ute Stegmann: Einsatz von Java-Frameworks in verteilten Systemen (Umfrage in Softwarehäusern und IT-Abteilungen), abgeschlossen, 2005
• Eine domänenspezifische Sprache für Unit-Tests mit JUnit, Themenangebot,

Publikationen

Monographien

1. Friedrich Steimann: Formale Modellierung mit Rollen, Habilitationsschrift (Universität Hannover, Hannover 2000)
2. Friedrich Steimann: Diagnostic Monitoring of Clinical Time Series, Dissertation (Technische Universität Wien, Wien 1995)
3. Friedrich Steimann: Ordnungssortierte Feature-Logik und Dependenzgrammatiken in der Computerlinguistik, Diplomarbeit (Universität Karlsruhe, 1991)

Buchbeiträge

1. Friedrich Steimann; Klaus-Peter Adlassnig: „Fuzzy medical diagnosis“, in EH Ruspini, PP Bonissone, W Pedrycz (eds) Handbook of Fuzzy Computation (IOP Publishing, Bristol 1998) G13.1:1–G13.1:14

Artikel in Zeitschriften

1. Friedrich Steimann; Thomas Pawlitzki; Sven Apel; Christian Kästner: "Types and modularity for implicit invocation with implicit announcement", in ACM Transactions on Software Engineering and Methodology (im Druck).
2. Friedrich Steimann: The Infer Type refactoring and its use for interface-based programming, in Journal of Object Technology 6:2 (2007) 67–89
3. Friedrich Steimann: The role data model revisited, in Applied Ontology 2 (2007) 89–103
4. Friedrich Steimann; Heribert Vollmer: „Exploiting practical limitations of UML diagrams for model validation and execution“, in Journal on Software & Systems Modeling 5:1 (2006) 26-47
5. Friedrich Steimann; Philip Mayer: Patterns of interface-based programming, in Journal of Object Technology 4:5 (2005) 75–94
6. Friedrich Steimann; Thomas Kühne: „Coding for the code — Can models provide the DNA for software development?“, in ACM queue 3:10 (2005) 44—51
7. Friedrich Steimann; Mayer Aladjem: „Advanced Data Analysis & Biomedical Applications“, in (Editorial) International Journal of Knowledge-Based Intelligent Engineering Systems 6:3 (2002) 120
8. Friedrich Steimann: „On the use and usefulness of fuzzy sets in medical AI“, in Festschrift in zwei Heften anläßlich des 80. Geburtstages von LA Zadeh Artificial Intelligence in Medicine 21:1–3 (2001)
9. Friedrich Steimann: „Role = Interface: a merger of concepts“, in Journal of Object-Oriented Programming 14:4 (2001) 23–32
10. Friedrich Steimann: „The family pattern“, in Journal of Object-Oriented Programming 13:10 (2001) 28–31
11. Friedrich Steimann: „Abstract class hierarchies, factories, and stable designs“, in Communications of the ACM 43:4 (2000) 109–111
12. Friedrich Steimann: „On the representation of roles in object-oriented and conceptual modelling“, in Data & Knowledge Engineering 35:1 (2000) 83–106
13. Friedrich Steimann: „Fuzzy diagnosis“, in Artificial Intelligence in Medicine 16:2 (1999) 121–128
14. Friedrich Steimann: „Letter to the Editor“, in Journal of Object-Oriented Programming 12:2 (1999) 8–9
15. Friedrich Steimann; Peter Fröhlich ; Wolfgang Nejdl: „Model-based diagnosis for open systems fault management“, in AI Communications 12:1&2 (1999) 5–17
16. Friedrich Steimann: „Dependency parsing for medical language and concept representation“, in Artificial Intelligence in Medicine 12:1 (1998) 77–86
17. Friedrich Steimann: „A method to derive the time of onset of infection from serological findings“, in Methods of Information in Medicine 36:1 (1997) 51–58
18. Friedrich Steimann: „Fuzzy set theory in medicine“, in (Editorial) Artificial Intelligence in Medicine 11:1 (1997) 1–7
19. Johan Gamper; Friedrich Steimann: Medizinische Expertensysteme – eine kritische Betrachtung, in APIS – Zeitschrift für Politik, Ethik, Wissenschaft und Kultur im Gesundheitswesen (1996) 32–40
20. Friedrich Steimann: „The interpretation of time-varying data with DIAMON-1“, in Artificial Intelligence in Medicine 8:4 (1996) 343–358
21. Friedrich Steimann; Christoph Brzoska: „Dependency Unification Grammar for PROLOG“, in Computational Linguistics 21:1 (1995) 95–102
22. Friedrich Steimann; Klaus-Peter Adlassnig: „Clinical monitoring with fuzzy automata“, in Fuzzy Sets & Systems 61:1 (1994) 37–42
23. Friedrich Steimann; Michael Hayde; Birgit Panzenböck ; Klaus-Peter Adlassnig; Arnold Pollak: „Fuzzy support for serodiagnosis: the ONSET program“, in IEEE Engineering in Medicine and Biology Magazine 13:5 (1994) 705–709

Herausgeberwerke

1. Thomas Kühne; Wolfgang Reisig; Friedrich Steimann (Hrsg): Modellierung 2008, Proceedings, LNI 127 (2008)

Konferenzbandbeiträge

1. Friedrich Steimann; Andreas Thies: "From behaviour preservation to behaviour modification: Constraint-based mutant generation", in Proceedings of ICSE (2010) to appear.
2. Thomas Pawlitzki; Friedrich Steimann: "Implicit invocation of traits", in Proceedings of the 2006 ACM Symposium on Applied Computing (2010) 2087-2091.
3. Dilek Stadtler; Friedrich Steimann: "Objektrelationale Programmierung", in Software Engineering (2010) im Druck
4. Dilek Stadtler; Friedrich Steimann: "Wie die Objektorientierung relationaler werden sollte: Eine Analyse aus Sicht der Datenmodellierung", in Modellierung (2010) im Druck.

Konferenzen und Workshops

1. Friedrich Steimann; Andreas Thies: From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility , in ECOOP 2009 419-443.
2. Friedrich Steimann; Mario Bertschler: „A simple coverage-based locator for multiple faults“, in Proc. of IEEE International Conference on Software Testing Verification and Validation (ICST) 366-375
3. Friedrich Steimann: "Role + counter-role = relationship + collaboration", in Workshop on Relationships and Associations in Object-Oriented Languages @ OOPSLA (2008).
4. Philipp Bouillon; Eric Großkinsky; Friedrich Steimann: Controlling accessibility in agile projects with the Access Modifier Modifier, in Proc. of TOOLS (2008)
5. Hannes Kegel; Friedrich Steimann: Systematically refactoring inheritance to delegation in Java, in ICSE (2008) 431-440
6. Friedrich Steimann; Thomas Eichstädt-Engelen; Martin Schaaf: Towards raising the failure of unit tests to the level of compiler errors, in TOOLS (2008)
7. Guido Boella; Friedrich Steimann: "Roles and relationships in object-oriented programming, multiagent systems and ontologies", in (Workshop Reader) ECOOP Workshops (2007) 108–122.
8. M. Bach; Florian Forster; Friedrich Steimann: Declared Type Generalization Checker: An Eclipse plug-in for systematic programming with more general types, in MB Dwyer, A Lopes (Hrsg) Fundamental Approaches to Software Engineering: 10th International Conference (FASE) (2007) 117–120
9. P. Bouillon; J. Krinke ; N. Mayer ; Friedrich Steimann: EzUnit: A Framework for associating failed unit tests with potential programming errors, in G Concas et al. (Hrsg) 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming (XP) Springer LNCS 4536 (2007) 101–104
10. Friedrich Steimann; T. Kühne: Piecewise modelling with state subtypes, in G Engels, B Opdyke, DC Schmidt, F Weil (Hrsg) UML/MoDELS 2007: Proceedings of the 11th International Conference LNCS 4735 (2007) 181–195
11. Friedrich Steimann; P. Mayer: Type Access Analysis: Towards informed interface design, in Technology of Object-Oriented Languages and Systems — TOOLS Europe (2007); also to appear in: Journal of Object Technology (October 2007) 147–164
12. Florian Forster ; Friedrich Steimann: AOP and the antinomy of the liar, in Workshop on the Foundations of Aspect-Oriented Languages (FOAL) @ AOSD (2006) 47-56
13. Eric Bodden; Florian Forster; Friedrich Steimann: Avoiding Infinite Recursion with Stratified Aspects, in @Net.Object Days 2006, Erfurt, In: GI-Edition Lecture Notes in Informatics 'NODe 2006/GSEM 2006', Robert Hirschfeld, Andreas Polze and Ryszard Kowalczyk (Hrsg.) , 49-64
14. Friedrich Steimann; Philip Mayer; Andreas Meißner: Decoupling classes with inferred interfaces, in erscheint in: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC) (ACM 2006) 1404-1408
15. Friedrich Steimann: „The paradoxical success of aspect-oriented programming“, in OOPSLA '06, Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming Languages, Systems, and Applications (2006) 481–497
16. Friedrich Steimann; Thomas Kühne: „Zustandstypen als Schlüssel zur Integration statischer und dynamischer Sichten der objektorientierten Modellierung“, in HC Mayer (Hrsg) Tagungsband zur Modellierung 2006, LNI 82 (2006) 145-160
17. Friedrich Steimann: The role data model revisited, in Roles, an interdisciplinary perspective, AAAI Fall Symposium (2005). eingeladener Beitrag
18. Friedrich Steimann: „Domain models are aspect free“, in L Briand, C Williams (Eds) MoDELS/UML 2005, Springer LNCS 3713 (2005) 171–185 (Best Paper Award)
19. Friedrich Steimann; Thomas Kühne: UML-A oder warum die Wissenschaft ihre eigene einheitliche Modellierungssprache haben sollte, in B Rumpe, W Hesse (Hrsg) Tagungsband zur Modellierung 2004 (GI, 2004) 121–133
20. Friedrich Steimann; Thomas Kühne: „Are models the DNA of software construction? A controversial discussion“, in 3rd Workshop on Software Model Engineering WiSME@UML (2004)
21. Friedrich Steimann: „Aspects are technical, and they are few“, in European Interactive Workshop on Aspects in Software EIWAS'04 (2004)
22. Friedrich Steimann; Jens Gößner; Philip Mayer: „Interface utilization in the Java Development Kit“, in Proceedings of the 2004 ACM Symposium on Applied Computing (SAC) (ACM 2004) 1310–1315
23. Thomas Kühne; Friedrich Steimann: „Tiefe Charakterisierung“, in B Rumpe, W Hesse (Hrsg) Tagungsband zur Modellierung 2004 (GI, 2004) 109–119
24. Friedrich Steimann: „Why most domain models are aspect free“, in 5th Aspect-Oriented Modeling Workshop AOM@UML (2004)
25. Uwe Thaden; Tobias Buchloh; Friedrich Steimann: „iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen“, in B Rumpe, W Hesse (Hrsg) Tagungsband zur Modellierung 2004 (GI, 2004) 285–286
26. Friedrich Steimann; Jens Gößner ; Thomas Mück: „Filetting XP for educational purposes“, in M Marchesi, G Succi (eds) XP 2003 — Proceedings of the 4th International Conference (Springer 2003) 414–417
27. Friedrich Steimann; Jens Gößner; Thomas Mück: „On the key role of composition in object-oriented modelling“, in P Stevens, J Whittle, G Booch UML 2003: Proceedings of the 6th International Conference (Springer, 2003) 106–120
28. Friedrich Steimann; Jens Gößner; Thomas Mück: „Projectory – A framework for teaching object-oriented design and object-oriented programming“, in ECOOP Workshop on Patterns in Teaching Software Development (2003)
29. Friedrich Steimann; Wolf Siberski; Thomas Kühne: „Towards the systematic use of interfaces in Java programming“, in Proc 2nd Int Conf on the Principles and Practice of Programming in Java (ACM, 2003) 13–17
30. Friedrich Steimann; Thomas Kühne: „A radical reduction of UML's core semantics“, in JM Jézéquel, H Hussmann, S Cook UML 2002: Proceedings of the 5th International Conference (Springer, 2002) 34–48
31. Friedrich Steimann; Uwe Thaden; Wolf Siberski; Wolfgang Nejdl: „Animiertes UML als Medium für die Didaktik der objektorientierten Programmierung“, in Modellierung 2002 GI Lecture Notes in Informatics (2002)
32. Friedrich Steimann; Jens Gößner; Uwe Thaden: „Proposing mobile pair programming“, in OOPSLA 2002 Workshop on Pair Programming (Seattle, USA 2002)
33. Friedrich Steimann: „A radical revision of UML's role concept“, in A Evans, S Kent, B Selic (eds) UML 2000 Proceedings of the 3rd International Conference (Springer, 2000) 194–209
34. Friedrich Steimann: „Eine Grundlegung des Rollenbegriffs für die objektorientierte Modellierung (mit dem Vorschlag einer Änderung von UML)“, in J Ebert, U Frank (Hrsg) Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik: Modellierung 2000 (Fölbach, Koblenz 2000) 55–69
35. Friedrich Steimann: „A case against logic“, in Proceedings of the MedInfo ´95 (North-Holland, 1995) 989–993
36. Friedrich Steimann; Klaus-Peter Adlassnig: „A fuzzy medical data model“, in R Trappl (Hrsg) Proceedings of the 12th European Meeting on Cybernetics and Systems Research (World Scientific, Singapore 1994) 271–278
37. Friedrich Steimann; Michael Hayde; Birgit Panzenböck; Klaus-Peter Adlassnig; Arnold Pollak: „Computer-assisted diagnosis of Toxoplasma gondii infection during pregnancy“, in Proceedings of the 14th European Congress of Perinatal Medicine (Helsinki, Finnland 1994). 3.
38. Friedrich Steimann; Klaus-Peter Adlassnig: „Two-stage interpretation of ICU data based on fuzzy sets“, in Working Papers of the AAAI 1994 Spring Symposium on Artificial Intelligence in Medicine (AAAI, Menlo Park 1994)

Technische Berichte

1. Friedrich Steimann: Canonical Conceptual Graphs: Problems and Mines of Solutions, unveröffentlichtes Manuskript (Universität Hildesheim, 1996)