University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications by Sabine Kuske in 2001 (get BIBTeX file):

Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske: GRACE as a unifying approach to graph-transformation-based specification. In H. Ehrig, C. Ermel, J. Padberg, editors, Proc. Uniform Approaches to Graphical Process Specification Techniques, volume 44/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001. 15 pages.

Sabine Kuske: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In Martin Gogolla, Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 241-256. 2001.

Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract Hierarchical Graph Transformation. Technical report 1/01, Universität Bremen, 2001.


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de