Prof. Dr. Friedrich Steimann

Foto: privat

E-Mail: steimann

Lebenslauf

Im Fokus - Beiträge zum GI-Radar

• "Es kann sprechen!"
• "Wilder Westen und kein Ende"
• "Grundrecht! Welches Grundrecht?"

Arbeitsschwerpunkte

• objektorientierte Programmierung
• Softwaremodellierung
• Programmiersysteme

Projekte

• DFG-Projekt: Befactoring und generisch kontrollierte Änderungen, abgeschlossen , Förderer: Deutsche Forschungsgemeinschaft GEPRIS , Laufzeit: 2014 - 2018
• DFG-Projekt: Generalisierung constraintbasierter Refaktorisierung , abgeschlossen , Förderer: Deutsche Forschungsgemeinschaft GEPRIS , Laufzeit: 2010 - 2014

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: Containerless Plurals: Separating Number from Type in Object-Oriented Programming, in ACM Trans. Program. Lang. Syst. 44(4): 21:1-21:56 (2022)
2. Friedrich Steimann: Constraint-Based Refactoring, in ACM Trans. Program. Lang. Syst. 40(1): 2:1-2:40 (2018)
3. Friedrich Steimann: "From well-formedness to meaning preservation: model refactoring for almost free", in Software and System Modeling 14(1): 307-320
4. John Brant; Friedrich Steimann: "Trust Must Be Earned", in IEEE Softw. 32(6): 80-83 (2015)
5. Friedrich Steimann: "From well-formedness to meaning preservation: Model refactoring for almost free", in Software and Systems Modeling
6. Max Schäfer; Andreas Thies; Friedrich Steimann; Frank Tip: "A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs", in IEEE Transactions on Software Engineering (2012), 1233-1257
7. Friedrich Steimann: "Korrekte Refaktorisierungen: Der Bau von Refaktorisierungswerkzeugen als eigenständige Disziplin" , in OBJEKTspektrum 4 (2010) 24–29.
8. 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 20:1 (2010).
9. Friedrich Steimann: The Infer Type refactoring and its use for interface-based programming, in Journal of Object Technology 6:2 (2007) 67–89
10. Friedrich Steimann: The role data model revisited, in Applied Ontology 2 (2007) 89–103
11. 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
12. Friedrich Steimann; Philip Mayer: Patterns of interface-based programming, in Journal of Object Technology 4:5 (2005) 75–94
13. 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
14. Friedrich Steimann; Mayer Aladjem: „Advanced Data Analysis & Biomedical Applications“, in (Editorial) International Journal of Knowledge-Based Intelligent Engineering Systems 6:3 (2002) 120
15. 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)
16. Friedrich Steimann: „Role = Interface: a merger of concepts“, in Journal of Object-Oriented Programming 14:4 (2001) 23–32
17. Friedrich Steimann: „The family pattern“, in Journal of Object-Oriented Programming 13:10 (2001) 28–31
18. Friedrich Steimann: „Abstract class hierarchies, factories, and stable designs“, in Communications of the ACM 43:4 (2000) 109–111
19. Friedrich Steimann: „On the representation of roles in object-oriented and conceptual modelling“, in Data & Knowledge Engineering 35:1 (2000) 83–106
20. Friedrich Steimann: „Fuzzy diagnosis“, in Artificial Intelligence in Medicine 16:2 (1999) 121–128
21. Friedrich Steimann: „Letter to the Editor“, in Journal of Object-Oriented Programming 12:2 (1999) 8–9
22. Friedrich Steimann; Peter Fröhlich ; Wolfgang Nejdl: „Model-based diagnosis for open systems fault management“, in AI Communications 12:1&2 (1999) 5–17
23. Friedrich Steimann: „Dependency parsing for medical language and concept representation“, in Artificial Intelligence in Medicine 12:1 (1998) 77–86
24. 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
25. Friedrich Steimann: „Fuzzy set theory in medicine“, in (Editorial) Artificial Intelligence in Medicine 11:1 (1997) 1–7
26. Johan Gamper; Friedrich Steimann: Medizinische Expertensysteme – eine kritische Betrachtung, in APIS – Zeitschrift für Politik, Ethik, Wissenschaft und Kultur im Gesundheitswesen (1996) 32–40
27. Friedrich Steimann: „The interpretation of time-varying data with DIAMON-1“, in Artificial Intelligence in Medicine 8:4 (1996) 343–358
28. Friedrich Steimann; Christoph Brzoska: „Dependency Unification Grammar for PROLOG“, in Computational Linguistics 21:1 (1995) 95–102
29. Friedrich Steimann; Klaus-Peter Adlassnig: „Clinical monitoring with fuzzy automata“, in Fuzzy Sets & Systems 61:1 (1994) 37–42
30. 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

Konferenzbandbeiträge

1. Friedrich Steimann; Robin Stunic: „The Linguistic Theory behind Blockly Languages“, in SLE 2024: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
2. Friedrich Steimann: A Simply Numbered Lambda Calculus, in Eelco Visser Commemorative Symposium 2023: 24:1-24:12
3. Friedrich Steimann; Robert Clarisó; Martin Gogolla: OCL Rebuilt, From the Ground Up, in 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)
4. Friedrich Steimann; Marius Freitag: The Semantics of Plurals, in SLE 2022: 36-54
5. Friedrich Steimann: The kingdoms of objects and values, in Onward! 2021: 125-135
6. Friedrich Steimann: n + 1 Challenges for Software Language Engineering, in STAF Workshops 2020: 52-61
7. Friedrich Steimann; Nils Thorben Otto Kurowsky: Transactional editing: giving ACID to programmers
8. Friedrich Steimann: Fatal abstraction, in Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018
9. Bastian Ulke; Friedrich Steimann; Ralf Lämmel: Partial Evaluation of OCL Expressions, in MoDELS 2017: 63-73
10. Friedrich Steimann: Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages, in Onward! 2017: 30-43
11. Friedrich Steimann; Marcus Frenkel; Markus Voelter: Robust projectional editing, in SLE 2017: 79-90
12. Friedrich Steimann; Jörg Hagemann; Bastian Ulke: "Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars", in OOPSLA 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications Pages 711-730
13. Friedrich Steimann: "None, One, Many - What's the Difference, Anyhow?", in 1st Summit on Advances in Programming Languages (SNAPL), Leibniz International Proceedings in Informatics (LIPIcs) 13 (2015) 294—308.
14. Friedrich Steimann: Refactoring Tools and Their Kin, in GTTSE 2015: 179-214
15. Wolfgang Högerle; Friedrich Steimann; Marcus Frenkel: "More Debugging in Parallel", in 25th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2014), Pages 133-143
16. Friedrich Steimann; Jesper Öqvist; Görel Hedin: "Multitudes of Objects: First Implementation and Case Study for Java", in The Journal of Object Technology, Volume 13, no. 5 (September 2014), Pages 1:1-33
17. Gunter Mussbacher; Daniel Amyot; Ruth Breu; Jean-Michel Bruel; Betty H.C. Cheng; Philippe Collet; Benoit Combemale; Robert B. France; Rogardt Heldal; James Hill; örg Kienzle; Matthias Schöttle; Friedrich Steimann; Dave Stikkolorum; Jon Whittle: "The Relevance of Model-Driven Engineering Thirty Years from Now", in Model Driven Engineering Languages and Systems (MoDELS), 17th International Conference (2014), Pages 183-200
18. Barrett R. Bryant; Jean-Marc Jézéquel; Ralf Lämmel; Marjan Mernik; Martin Schindler; Friedrich Steimann; Juha-Pekka Tolvanen; Antonio Vallecillo; Markus Völter: Globalized Domain Specific Language Engineering., in Globalizing Domain-Specific Languages 2014: 43-69
19. Friedrich Steimann: "Befactoring: preserving non-functional properties under behavioural change", in WRT @ SPLASH (2013), Pages 21-24
20. Friedrich Steimann: "Content over container: Object-oriented programming with multiplicities", in Proc. of Onward!/SPLASH (2013), Pages 173-186
21. Friedrich Steimann; Bastian Ulke: "Generic Model Assist", in Proc. of MoDELS (2013), Pages 18-34
22. Jens von Pilgrim; Bastian Ulke; Andreas Thies; Friedrich Steimann: "Model/Code Co-Refactoring: An MDE Approach", in 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2013), Pages 682-687
23. Bastian Ulke; Friedrich Steimann: "OCL as a Constraint Generation Language", in 13th International Workshop on OCL, Model Constraint and Query Languages (OCL 2013) @ MoDELS (2013), Pages 93-102
24. Friedrich Steimann; Marcus Frenkel; Rui Abreu: "Threats to the Validity and Value of Empirical Assessments of the Accuracy of Coverage-Based Fault Locators" , in ISSTA (2013), Pages 314-324
25. Friedrich Steimann; Jens von Pilgrim: "Constraint-Based Refactoring with Foresight", in Proc of ECOOP (2012) LNCS 7313, pp. 535-559.
26. Friedrich Steimann; Marcus Frenkel: "Improving coverage-based localization of multiple faults using algorithms from Integer Linear Programming", in 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE) (2012), 121-130
27. Friedrich Steimann; Jens von Pilgrim: "Refactorings without names", in 27th IEEE/ACM International Conference on Automated Software Engineering (ASE)(2012) 290-293
28. Friedrich Steimann; Christian Kollee; Jens von Pilgrim: "A Refactoring Constraint Language and its Application to Eiffel", in ECOOP (2011) 255-280.
29. Friedrich Steimann: "Constraint-Based Model Refactoring", in Jon Whittle, Tony Clark, Thomas Kuehne (Eds): Model Driven Engineering Languages and Systems, 14th International Conference (2011) 440-454.
30. Friedrich Steimann; Fabian Urs Stolz: "Refactoring to Role Objects", in Proc. of ICSE (2011) 441-450.
31. Thomas Pawlitzki; Friedrich Steimann: "Implicit invocation of traits", in Proceedings of the 2006 ACM Symposium on Applied Computing (2010) 2087-2091.
32. Friedrich Steimann; Andreas Thies: From behaviour preservation to behaviour modification: constraint-based mutant generation, in ICSE (1) 2010: 425-434
33. Friedrich Steimann; Andreas Thies: "From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility" , in ECOOP 2009 419-443.
34. 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
35. Friedrich Steimann: "Role + counter-role = relationship + collaboration", in Workshop on Relationships and Associations in Object-Oriented Languages @ OOPSLA (2008).
36. Philipp Bouillon; Eric Großkinsky; Friedrich Steimann: Controlling accessibility in agile projects with the Access Modifier Modifier, in Proc. of TOOLS (2008)
37. Hannes Kegel; Friedrich Steimann: Systematically refactoring inheritance to delegation in Java, in ICSE (2008) 431-440
38. Friedrich Steimann; Thomas Eichstädt-Engelen; Martin Schaaf: Towards raising the failure of unit tests to the level of compiler errors, in TOOLS (2008)
39. Guido Boella; Friedrich Steimann: "Roles and relationships in object-oriented programming, multiagent systems and ontologies", in (Workshop Reader) ECOOP Workshops (2007) 108–122.
40. 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
41. 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
42. 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
43. 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
44. 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
45. 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
46. 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
47. 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
48. Friedrich Steimann: The role data model revisited, in Roles, an interdisciplinary perspective, AAAI Fall Symposium (2005). eingeladener Beitrag
49. 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)
50. 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
51. 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)
52. Friedrich Steimann: „Aspects are technical, and they are few“, in European Interactive Workshop on Aspects in Software EIWAS'04 (2004)
53. 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
54. Thomas Kühne; Friedrich Steimann: „Tiefe Charakterisierung“, in B Rumpe, W Hesse (Hrsg) Tagungsband zur Modellierung 2004 (GI, 2004) 109–119
55. Friedrich Steimann: „Why most domain models are aspect free“, in 5th Aspect-Oriented Modeling Workshop AOM@UML (2004)
56. 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
57. 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
58. 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
59. 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)
60. 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
61. 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
62. 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)
63. Friedrich Steimann; Jens Gößner; Uwe Thaden: „Proposing mobile pair programming“, in OOPSLA 2002 Workshop on Pair Programming (Seattle, USA 2002)
64. 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
65. 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
66. Friedrich Steimann: „A case against logic“, in Proceedings of the MedInfo ´95 (North-Holland, 1995) 989–993
67. 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
68. 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.
69. 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)

Herausgeberwerke

1. Ralf Lämmel; Peter D. Mosses; Friedrich Steimann: Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands, OASIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-267-9
2. David J. Pearce; Tanja Mayerhofer; Friedrich Steimann: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018, ACM 2018, ISBN 978-1-4503-6029-6 [contents]
3. Mary Jean Harrold; Friedrich Steimann; Frank Tip; Andreas Zeller: "Fault Prediction, Localization, and Repair", Dagstuhl Report 13061, Pages 1-21 (2013)
4. Guido Boella; Erik Meijer; David J Pearce; Friedrich Steimann; Frank Tip: "Relationships, Objects, Roles, and Queries in Modern Programming Languages", Dagstuhl Seminar Proceedings 10152 (2010).
5. Thomas Kühne; Wolfgang Reisig; Friedrich Steimann (Hrsg): Modellierung 2008, Proceedings, LNI 127 (2008)

Technische Berichte

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