 | 2004 |
|---|
| 40 |       | Hartmut Ehrig,
Werner Damm,
Jörg Desel,
Martin Große-Rhode,
Wolfgang Reif,
Eckehard Schnieder,
Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Springer 2004 |
| 39 |  | Martin Große-Rhode:
Language Engineering in Practice.
Language Engineering for Model-Driven Software Development 2004 |
| 38 | | Martin Große-Rhode:
On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling.
SoftSpez Final Report 2004: 567-581 |
| 2002 |
|---|
| 37 | | Martin Große-Rhode:
Compositional Comparison of Formal Software Specifications Using Transformation Systems.
Formal Asp. Comput. 13(2): 161-186 (2002) |
| 36 | | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.
J. Comput. Syst. Sci. 64(2): 171-218 (2002) |
| 2001 |
|---|
| 35 | | Martin Große-Rhode:
Integrating Semantics for Object-Oriented System Models.
ICALP 2001: 40-60 |
| 34 | | Roswitha Bardohl,
Martin Große-Rhode,
Marta Simeoni:
Interactive Rule-Based Specification with an Application to Visual Language Definition.
WADT 2001: 1-20 |
| 33 | | Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages.
Current Trends in Theoretical Computer Science 2001: 215-225 |
| 32 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Current Trends in Theoretical Computer Science 2001: 226-232 |
| 31 | | Martin Große-Rhode:
The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering".
Bulletin of the EATCS 73: 52-56 (2001) |
| 30 | | Martin Große-Rhode:
Formal Concepts for an Integrated Internal Model of the UML.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 29 | | Martin Große-Rhode:
Algebra Transformation Systems as a Unifying Framework.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 28 | | Hartmut Ehrig,
Martin Große-Rhode:
Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen.
Inform., Forsch. Entwickl. 16(2): 110-117 (2001) |
| 27 | | Andrea Corradini,
Martin Große-Rhode,
Reiko Heckel:
A Coalgebraic presentation of structured transition systems.
Theor. Comput. Sci. 260(1-2): 27-55 (2001) |
| 2000 |
|---|
| 26 | | Hartmut Ehrig,
Robert Geisler,
Martin Große-Rhode,
Marcus Klar,
Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bulletin of the EATCS 70: 77-81 (2000) |
| 1999 |
|---|
| 25 | | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni,
Gabriele Taentzer:
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
AGTIVE 1999: 31-45 |
| 24 | | Martin Große-Rhode:
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.
IFM 1999: 253-272 |
| 23 | | Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages.
Bulletin of the EATCS 68: 81-89 (1999) |
| 1998 |
|---|
| 22 | | Martin Große-Rhode:
Algebra Transformation Systems and their Composition.
FASE 1998: 107-122 |
| 21 | | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Spatial and Temporal Refinement of Typed Graph Transformation Systems.
MFCS 1998: 553-561 |
| 20 | | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Refinements of Graph Transformation Systems via Rule Expressions.
TAGT 1998: 368-382 |
| 19 | | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Refinements and Modules for Typed Graph Transformation Systems.
WADT 1998: 138-151 |
| 18 | | Andrea Corradini,
Martin Große-Rhode,
Reiko Heckel:
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.
WADT 1998: 92-106 |
| 17 | | Andrea Corradini,
Martin Große-Rhode,
Reiko Heckel:
Structured Transition Systems as Lax Coalgebras.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 1997 |
|---|
| 16 | | Martin Große-Rhode:
From algebra transformation to labelled transition systems.
WADT 1997: 269-284 |
| 1995 |
|---|
| 15 | | Hartmut Ehrig,
Martin Große-Rhode,
Uwe Wolter:
On the Role of Category Theory in the Area of Algebraic Specification.
COMPASS/ADT 1995: 17-48 |
| 14 | | Martin Große-Rhode:
Concurrent State Transformations on Abstract Data Types.
COMPASS/ADT 1995: 222-236 |
| 13 | | Martin Große-Rhode:
Transition Specifications for Dynamic Abstract Data Type.
Bulletin of the EATCS 55: (1995) |
| 12 | | Ingo Claßen,
Martin Große-Rhode,
Uwe Wolter:
Categorical Concepts for Parameterized Partial Specifications.
Mathematical Structures in Computer Science 5(2): 153-188 (1995) |
| 1994 |
|---|
| 11 | | Hartmut Ehrig,
Martin Große-Rhode:
Functorial Theory of Parameterized Specifications in a General Specification Framework.
Theor. Comput. Sci. 135(2): 221-266 (1994) |
| 1992 |
|---|
| 10 | | Martin Große-Rhode,
Uwe Wolter:
Two-Categorical Specification of Partial Algebras.
COMPASS/ADT 1992: 207-219 |
| 9 | | Martin Große-Rhode,
Christian Dimitrovici:
Algebraic specification of action trees and recursive processes.
Tree Automata and Languages 1992: 235-290 |
| 8 | | Martin Große-Rhode,
Hartmut Ehrig:
Restriction Constructions in Specification Logics.
Bulletin of the EATCS 46: 84-89 (1992) |
| 1991 |
|---|
| 7 | | Joachim Cramer,
Werner Fey,
Michael Goedicke,
Martin Große-Rhode:
Towards a Formally Based Component Description Language.
TAPSOFT, Vol.2 1991: 358-378 |
| 6 | | Joachim Cramer,
Werner Fey,
Michael Goedicke,
Martin Große-Rhode:
Towards a Formally Based Component Description Language - A Foundation for Reuse.
Structured Programming 12(2): 91-110 (1991) |
| 1990 |
|---|
| 5 | | Martin Große-Rhode:
Towards Object-Oriented Algebraic Specifications.
ADT 1990: 98-116 |
| 4 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci. 71(3): 347-380 (1990) |
| 1989 |
|---|
| 3 | | Martin Große-Rhode,
Hartmut Ehrig:
Transformation of Combined Data Type and Process Specifications Using Projection Algebras.
REX Workshop 1989: 301-339 |
| 1988 |
|---|
| 2 | | Martin Große-Rhode:
Parameterized Data Type and Process Specifications Using Projection Algebras.
Categorial Methods in Computer Science 1988: 185-197 |
| 1987 |
|---|
| 1 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces.
ADT 1987: 23-43 |
