Martin Große-Rhode

According to our database, Martin Große-Rhode authored at least 50 papers between 1987 and 2014.

Collaborative distances:

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

2014

Achieving Quality in Customer-Configurable Products.

Martin Große-Rhode, Robert Hilbrich, Stefan Mann, Stephan Weißleder

Proceedings of the Relating System Quality and Software Architecture, 2014

2013

Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen.

Martin Große-Rhode, Peter Manhart, Ralf Mauersberger, Sebastian Schröck, Michael Schulze, Thorsten Weyer

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2004

Semantic Integration of Heterogeneous Software Specifications

Martin Große-Rhode

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-09853-0, 2004

On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.

Martin Große-Rhode

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Language Engineering in Practice.

Martin Große-Rhode

Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

2002

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni

J. Comput. Syst. Sci., 2002

Compositional Comparison of Formal Software Specifications Using Transformation Systems.

Martin Große-Rhode

Formal Aspects Comput., 2002

2001

A Coalgebraic presentation of structured transition systems.

Andrea Corradini, Martin Große-Rhode, Reiko Heckel

Theor. Comput. Sci., 2001

Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.

Hartmut Ehrig, Martin Große-Rhode

Inform. Forsch. Entwickl., 2001

Formal Concepts for an Integrated Internal Model of the UML.

Martin Große-Rhode

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Algebra Transformation Systems as a Unifying Framework.

Martin Große-Rhode

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering".

Martin Große-Rhode

Bull. EATCS, 2001

Interactive Rule-Based Specification with an Application to Visual Language Definition.

Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Integrating Semantics for Object-Oriented System Models.

Martin Große-Rhode

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

On a Reference Model for the Formalization and Integration of Software Specification Languages.

Martin Große-Rhode

Proceedings of the Current Trends in Theoretical Computer Science, 2001

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage

Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz

Springer-Lehrbuch, Springer, ISBN: 978-3-540-41923-5, 2001

2000

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann

Bull. EATCS, 2000

1999

On a Reference Model for the Formalization and Integration of Software Specification Languages.

Martin Große-Rhode

Bull. EATCS, 1999

A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.

Martin Große-Rhode

Proceedings of the Integrated Formal Methods, 1999

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Mathematisch-strukturelle Grundlagen der Informatik

Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz

Springer-Lehrbuch, Springer, ISBN: 978-3-540-63865-0, 1999

1998

Structured Transition Systems as Lax Coalgebras.

Andrea Corradini, Martin Große-Rhode, Reiko Heckel

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

First Steps Towards an Institution of Algebra Replacement Systems.

Martin Große-Rhode

Appl. Categorical Struct., 1998

Applications of Category Theory to the Area of Algebraic Specification in Computer Science.

Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter

Appl. Categorical Struct., 1998

Refinements and Modules for Typed Graph Transformation Systems.

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.

Andrea Corradini, Martin Große-Rhode, Reiko Heckel

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Refinements of Graph Transformation Systems via Rule Expressions.

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni

Proceedings of the Theory and Application of Graph Transformations, 1998

Spatial and Temporal Refinement of Typed Graph Transformation Systems.

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Algebra Transformation Systems and their Composition.

Martin Große-Rhode

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Vom Begriff zur Kategorie.

Mechthild Koreuber, Martin Große-Rhode

Proceedings of the Sozialgeschichte der Informatik, 1998

1997

Transition Specifications for Dynamic Abstract Data Types.

Martin Große-Rhode

Appl. Categorical Struct., 1997

From algebra transformation to labelled transition systems.

Martin Große-Rhode

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

1995

Specification of transition categories: an approach to dynamic abstract data types.

Martin Große-Rhode

PhD thesis, 1995

Categorical Concepts for Parameterized Partial Specifications.

Ingo Claßen, Martin Große-Rhode, Uwe Wolter

Math. Struct. Comput. Sci., 1995

Transition Specifications for Dynamic Abstract Data Type.

Martin Große-Rhode

Bull. EATCS, 1995

Concurrent State Transformations on Abstract Data Types.

Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1995

On the Role of Category Theory in the Area of Algebraic Specification.

Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Functorial Theory of Parameterized Specifications in a General Specification Framework.

Hartmut Ehrig, Martin Große-Rhode

Theor. Comput. Sci., 1994

1993

Restriction Constructions in Specification Logics.

Martin Große-Rhode, Hartmut Ehrig

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

1992

Restriction Constructions in Specification Logics.

Martin Große-Rhode, Hartmut Ehrig

Bull. EATCS, 1992

Two-Categorical Specification of Partial Algebras.

Martin Große-Rhode, Uwe Wolter

Proceedings of the Recent Trends in Data Type Specification, 1992

Algebraic specification of action trees and recursive processes.

Martin Große-Rhode, Christian Dimitrovici

Proceedings of the Tree Automata and Languages., 1992

1991

Towards a Formally Based Component Description Language - A Foundation for Reuse.

Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode

Struct. Program., 1991

Towards a Formally Based Component Description Language.

Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

Combining Data Type and Recursive Process Specifications Using Projection Algebras.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Theor. Comput. Sci., 1990

Towards Object-Oriented Algebraic Specifications.

Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

Transformation of Combined Data Type and Process Specifications Using Projection Algebras.

Martin Große-Rhode, Hartmut Ehrig

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1988

Parameterized Data Type and Process Specifications Using Projection Algebras.

Martin Große-Rhode

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

1987

Algebraic Data Type and Process Specifications based on Projection Spaces.

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode

Proceedings of the Recent Trends in Data Type Specification, 1987