Friedrich Steimann

According to our database, Friedrich Steimann authored at least 84 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

OCL Rebuilt, From the Ground Up.

Friedrich Steimann, Robert Clarisó, Martin Gogolla

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

A Simply Numbered Lambda Calculus.

Friedrich Steimann

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Containerless Plurals: Separating Number from Type in Object-Oriented Programming.

Friedrich Steimann

ACM Trans. Program. Lang. Syst., December, 2022

The Semantics of Plurals.

Friedrich Steimann, Marius Freitag

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

2021

The kingdoms of objects and values.

Friedrich Steimann

Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

2020

n + 1 Challenges for Software Language Engineering.

Friedrich Steimann

Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

2019

Transactional editing: giving ACID to programmers.

Friedrich Steimann, Nils Kurowsky

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

2018

Constraint-Based Refactoring.

Friedrich Steimann

ACM Trans. Program. Lang. Syst., 2018

Fatal abstraction.

Friedrich Steimann

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017

Robust projectional editing.

Friedrich Steimann, Marcus Frenkel, Markus Voelter

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages.

Friedrich Steimann

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Partial Evaluation of OCL Expressions.

Bastian Ulke, Friedrich Steimann, Ralf Lämmel

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Computing repair alternatives for malformed programs using constraint attribute grammars.

Friedrich Steimann, Jörg Hagemann, Bastian Ulke

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

From well-formedness to meaning preservation: model refactoring for almost free.

Friedrich Steimann

Softw. Syst. Model., 2015

Refactoring Tools are Trustworthy Enough and Trust Must be Earned.

John Brant, Friedrich Steimann

IEEE Softw., 2015

None, One, Many - What's the Difference, Anyhow?.

Friedrich Steimann

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Refactoring Tools and Their Kin.

Friedrich Steimann

Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014

Multitudes of Objects: First Implementation and Case Study for Java.

Friedrich Steimann, Jesper Öqvist, Görel Hedin

J. Object Technol., 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.

Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

More Debugging in Parallel.

Wolfgang Hogerle, Friedrich Steimann, Marcus Frenkel

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Globalized Domain Specific Language Engineering.

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

Proceedings of the Globalizing Domain-Specific Languages, 2014

2013

Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061).

Mary Jean Harrold, Friedrich Steimann, Frank Tip, Andreas Zeller

Dagstuhl Reports, 2013

Befactoring: preserving non-functional properties under behavioural change.

Friedrich Steimann

Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013

Content over container: object-oriented programming with multiplicities.

Friedrich Steimann

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

OCL as a Constraint Generation Language.

Bastian Ulke, Friedrich Steimann

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Generic Model Assist.

Friedrich Steimann, Bastian Ulke

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Model/code co-refactoring: An MDE approach.

Jens von Pilgrim, Bastian Ulke, Andreas Thies, Friedrich Steimann

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators.

Friedrich Steimann, Marcus Frenkel, Rui Abreu

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs.

Max Schäfer, Andreas Thies, Friedrich Steimann, Frank Tip

IEEE Trans. Software Eng., 2012

Refactorings without names.

Friedrich Steimann, Jens von Pilgrim

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Improving Coverage-Based Localization of Multiple Faults Using Algorithms from Integer Linear Programming.

Friedrich Steimann, Marcus Frenkel

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Constraint-Based Refactoring with Foresight.

Friedrich Steimann, Jens von Pilgrim

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Constraint-Based Model Refactoring.

Friedrich Steimann

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Refactoring to role objects.

Friedrich Steimann, Fabian Urs Stolz

Proceedings of the 33rd International Conference on Software Engineering, 2011

A Refactoring Constraint Language and Its Application to Eiffel.

Friedrich Steimann, Christian Kollee, Jens von Pilgrim

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Types and modularity for implicit invocation with implicit announcement.

Friedrich Steimann, Thomas Pawlitzki, Sven Apel, Christian Kästner

ACM Trans. Softw. Eng. Methodol., 2010

Objektrelationale Programmierung.

Dilek Stadtler, Friedrich Steimann

Proceedings of the Software Engineering 2010, 2010

Implicit invocation of traits.

Thomas Pawlitzki, Friedrich Steimann

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Wie die Objektorientierung relationaler werden sollte: Eine Analyse aus Sicht der Datenmodellierung.

Dilek Stadtler, Friedrich Steimann

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

From behaviour preservation to behaviour modification: constraint-based mutant generation.

Friedrich Steimann, Andreas Thies

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip

Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip

Proceedings of the Relationships, Objects, 2010

2009

A Simple Coverage-Based Locator for Multiple Faults.

Friedrich Steimann, Mario Bertschler

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility.

Friedrich Steimann, Andreas Thies

Proceedings of the ECOOP 2009, 2009

2008

Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors.

Friedrich Steimann, Thomas Eichstädt-Engelen, Martin Schaaf

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Controlling Accessibility in Agile Projects with the Access Modifier Modifier.

Philipp Bouillon, Eric Großkinsky, Friedrich Steimann

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Systematically refactoring inheritance to delegation in java.

Hannes Kegel, Friedrich Steimann

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Type Access Analysis: Towards Informed Interface Design .

Friedrich Steimann, Philip Mayer

J. Object Technol., 2007

The Infer Type Refactoring and its Use for Interface-Based Programming.

Friedrich Steimann

J. Object Technol., 2007

The role data model revisited.

Friedrich Steimann

Appl. Ontology, 2007

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors.

Philipp Bouillon, Jens Krinke, Nils Meyer, Friedrich Steimann

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007

Piecewise Modelling with State Subtypes.

Friedrich Steimann, Thomas Kühne

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types.

Markus Bach, Florian Forster, Friedrich Steimann

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Roles and Relationships in Object-Oriented Programming, Multiagent Systems and Ontologies.

Guido Boella, Friedrich Steimann

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

A visual interface for type-related refactorings.

Philip Mayer, Andreas Meissner, Friedrich Steimann

Proceedings of the 1st Workshop on Refactoring Tools, 2007

ITCORE: A Type Inference Package for Refactoring Tools.

Hannes Kegel, Friedrich Steimann

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

Exploiting practical limitations of UML diagrams for model validation and execution.

Friedrich Steimann, Heribert Vollmer

Softw. Syst. Model., 2006

Decoupling classes with inferred interfaces.

Friedrich Steimann, Philip Mayer, Andreas Meissner

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

The paradoxical success of aspect-oriented programming.

Friedrich Steimann

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Aspects and/versus modularity the grand debate.

Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Zustandstypen als Schlüssel zur Integration statischer und dynamischer Sichten der objektorientierten Modellierung.

Friedrich Steimann, Thomas Kühne

Proceedings of the Modellierung 2006, 2006

Avoiding Infinite Recursion with Stratified Aspects.

Eric Bodden, Florian Forster, Friedrich Steimann

Proceedings of the Conference Proceedings NODe 2006, 2006

2005

Coding for the code.

Friedrich Steimann, Thomas Kühne

ACM Queue, 2005

Patterns of Interface-Based Programming.

Friedrich Steimann, Philip Mayer

J. Object Technol., 2005

Domain Models Are Aspect Free.

Friedrich Steimann

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

Interface utilization in the Java Development Kit.

Jens Gößner, Philip Mayer, Friedrich Steimann

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen.

Uwe Thaden, Tobias Buchloh, Friedrich Steimann

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

UML-A oder warum die Wissenschaft ihre eigene einheitliche Modellierungssprache haben sollte.

Friedrich Steimann

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Tiefe Charakterisierung.

Thomas Kühne, Friedrich Steimann

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

2003

Filleting XP for Educational Purposes.

Friedrich Steimann, Jens Gößner, Thomas A. Mück

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

On the Key Role of Compositioning Object-Oriented Modelling.

Friedrich Steimann, Jens Gößner, Thomas A. Mück

Proceedings of the «UML» 2003, 2003

Towards the systematic use of interfaces in JAVA programming.

Friedrich Steimann, Wolf Siberski, Thomas Kühne

Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, 2003

2002

A Radical Reduction of UML's Core Semantics.

Friedrich Steimann, Thomas Kühne

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Animiertes UML als Medium für die Didaktik der objektorientierten Programmierung.

Friedrich Steimann, Uwe Thaden, Wolf Siberski, Wolfgang Nejdl

Proceedings of the Modellierung 2002, 2002

2001

On the use and usefulness of fuzzy sets in medical AI.

Friedrich Steimann

Artif. Intell. Medicine, 2001

2000

On the representation of roles in object-oriented and conceptual modelling.

Friedrich Steimann

Data Knowl. Eng., 2000

Abstract Class Hierarchies, Factories, and Stable Designs.

Friedrich Steimann

Commun. ACM, 2000

A Radical Revision of UML's Role Concept.

Friedrich Steimann

Proceedings of the «UML» 2000, 2000

1999

Fuzzy diagnosis.

Ludmila Kuncheva, Friedrich Steimann

Artif. Intell. Medicine, 1999

Model-Based Diagnosis for Open Systems Fault Management.

Friedrich Steimann, Peter Fröhlich, Wolfgang Nejdl

AI Commun., 1999

1998

Dependency parsing for medical language and concept representation.

Friedrich Steimann

Artif. Intell. Medicine, 1998

1997

Fuzzy set theory in medicine.

Friedrich Steimann

Artif. Intell. Medicine, 1997

1996

The interpretation of time-varying data with DIAMON-1.

Friedrich Steimann

Artif. Intell. Medicine, 1996

1995

Dependency Unification Grammar for PROLOG.

Friedrich Steimann, Christoph Brzoska

Comput. Linguistics, 1995