Login / Signup
Bettina Enders
Publication Activity (10 Years)
Years Active: 1999-2002
Publications (10 Years): 0
</>
Publications
</>
Julia Padberg
,
Bettina Enders
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
ICGT
(2002)
Bettina Enders
,
Torsten Heverhagen
,
Michael Goedicke
,
Peter Tröpfner
,
Rudolf Tracht
Towards an Integration of Different Specification Methods by using the Viewpoint Framework.
Trans. SDPS
6 (2) (2002)
Michael Goedicke
,
Bettina Enders
,
Torsten Meyer
,
Gabriele Taentzer
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation.
TACAS
(2000)
Michael Goedicke
,
Bettina Enders
,
Torsten Meyer
,
Gabriele Taentzer
Tool Support for ViewPoint-oriented Software Development.
AGTIVE
(1999)
Michael Goedicke
,
Bettina Enders
,
Torsten Meyer
,
Gabriele Taentzer
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation.
AGTIVE
(1999)