Bettina Enders

Affiliations:
  • University of Duisburg-Essen, Germany


According to our database1, Bettina Enders authored at least 13 papers between 1992 and 2002.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Towards an Integration of Different Specification Methods by using the Viewpoint Framework.
Trans. SDPS, 2002

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
Proceedings of the Graph Transformation, First International Conference, 2002

2001
Hierarchical Specification of Graphical User Interfaces using a Graph Grammar Approach.
Trans. SDPS, 2001

Describing a continuous Collaborative Specification Process of Human-Computer Interaction by Graph Rewriting.
Trans. SDPS, 2001

2000
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999
Tool Support for ViewPoint-oriented Software Development.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Workshop: Rechnergestützte Kooperation in Verwaltung und großen Unternehmen.
Proceedings of the Informatik '97, 1997

1996
Towards a formal specification method for graphical user interfaces using modularized graph grammars.
Proceedings of the 8th International Workshop on Software Specification and Design, 1996

1993
Prototyping mit Mengen - der PROSET - Ansatz.
Proceedings of the Requirements Engineering '93: Prototyping, 1993

1992
Algorithmische und kombinatorische Untersuchungen zum Puzzle von Sam Loyd.
PhD thesis, 1992


  Loading...