Вы здесь

Grosse-Rhode M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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