|
СТ |
Interactive Rule-Based Specification with an Application to Visual Language Definition |
2001 |
Bardohl R., Grosse-Rhode M., Simeoni M. |
|
|
|
Lecture Notes in Computer Science |
03.03.2002 |
|
СТ |
Integrating Semantics for Object-Oriented System Models |
2001 |
Grosse-Rhode M. |
|
|
|
Lecture Notes in Computer Science |
28.07.2001 |
|
СТ |
Algebra Transformation Systems and Their Composition |
1998 |
Grosse-Rhode M. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
2-Categorical Specification of Partial Algebras |
1994 |
Grosse-Rhode M., Wolter U. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
|
СТ |
Restriction Constructions in Specification Logics |
1992 |
Grosse-Rhode M., Ehrig H. |
|
|
|
EATCS Bull. |
07.08.1992 |
|
СТ |
Towards a Formally Based Component Description Language |
1991 |
Cramer J., Fey W., Goedicke M., Grosse-Rhode M. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |
