Treffer 1 - 18 von 18 für Suche 'Taentzer, Gabriele 1963-', Suchdauer: 0,52s Treffer weiter einschränken
  1. 1
    A formal resolution strategy for operation-based conflicts in model versioning using graph modifications

    A formal resolution strategy for operation-based conflicts in model versioning using graph modifications von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Taentzer, Gabriele 1963-

    Veröffentlicht 2011
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Object flow definition for refined activity diagrams

    Object flow definition for refined activity diagrams von Jurack, Stefan, Lambers, Leen, Mehner-Heindl, Katharina 1970-, Taentzer, Gabriele 1963-, Wierse, Gerd

    Veröffentlicht 2009
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Fundamental theory for typed attributed graph transformation long version

    Fundamental theory for typed attributed graph transformation long version von Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-, Prange, Ulrike

    Veröffentlicht 2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Visual OCL eine visuelle Notation der object constraint language

    Visual OCL eine visuelle Notation der object constraint language von Kiesner, Christiane, Taentzer, Gabriele 1963-, Winkelmann, Jessica

    Veröffentlicht 2002
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Computing by graph transformation a survey and annotated bibliography

    Computing by graph transformation a survey and annotated bibliography von Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Fokusthemen und Aufgabenbereiche für eine Forschungsdateninfrastruktur zu materiellen und immateriellen Kulturgütern living document der NFDI-Initiative NFDI4Culture

    Fokusthemen und Aufgabenbereiche für eine Forschungsdateninfrastruktur zu materiellen und immateriellen Kulturgütern living document der NFDI-Initiative NFDI4Culture von Altenhöner, Reinhard 1963-, Bicher, Katrin 1977-, Bracht, Christian 1964-, Brand, Ortrun 1978-, Blümel, Ina, Bulle, Klaus, Effinger, Maria 1966-, Hammes, Andrea 1986-, Hartmann, Thomas, Kailus, Angela, Kett, Jürgen 1977-, Pittroff, Sarah, Röwenstrunk, Daniel, Schelbert, Georg 1966-, Schmidt, Dörte 1964-, Schrade, Torsten 1977-, Simon, Holger, Taentzer, Gabriele 1963-, Veit, Joachim 1956-, Voß, Franziska, Walzel, Annika-Valeska 1978-, Wiermann, Barbara 1970-

    Veröffentlicht 2019
    kostenfrei
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Sufficient criteria for applicability and non-applicability of rule sequences

    Sufficient criteria for applicability and non-applicability of rule sequences von Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Veröffentlicht 2008
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Simulating algebraic high level nets by parallel attributed graph transformation long version

    Simulating algebraic high level nets by parallel attributed graph transformation long version von Ermel, Claudia, Taentzer, Gabriele 1963-, Bardohl, Roswitha

    Veröffentlicht 2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Visual modelling and validation of distributed systems

    Visual modelling and validation of distributed systems von Taentzer, Gabriele 1963-

    Veröffentlicht 2003
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Embedding of derivations in high-level replacement systems

    Embedding of derivations in high-level replacement systems von Padberg, Julia, Taentzer, Gabriele 1963-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior

    Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior von Ermel, Claudia, Gall, Jürgen, Lambers, Leen, Taentzer, Gabriele 1963-

    Veröffentlicht 2011
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Conflict detection for model versioning based on graph modifications

    Conflict detection for model versioning based on graph modifications von Taentzer, Gabriele 1963-, Ermel, Claudia, Langer, Philip, Wimmer, Manuel

    Veröffentlicht 2010
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Sufficient criteria for applicability and non-applicability of rule sequences

    Sufficient criteria for applicability and non-applicability of rule sequences von Lambers, Leen, Ehrig, Hartmut 1944-2016, Taentzer, Gabriele 1963-

    Veröffentlicht 2008
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Sufficient criteria for consistent behavior modeling with refined acticvity diagrams

    Sufficient criteria for consistent behavior modeling with refined acticvity diagrams von Lambers, Leen, Jurack, Stefan, Mehner-Heindl, Katharina 1970-, Runge, Olga, Taentzer, Gabriele 1963-

    Veröffentlicht 2008
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Parallel and distributed graph transformation formal description and application to communication based systems

    Parallel and distributed graph transformation formal description and application to communication based systems von Taentzer, Gabriele 1963-

    Veröffentlicht 1996
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Parallel high-level replacement systems

    Parallel high-level replacement systems von Taentzer, Gabriele 1963-

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Graph transformation, specifications, and nets in memory of Hartmut Ehrig

    Graph transformation, specifications, and nets in memory of Hartmut Ehrig

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Pre-proceedings of the international colloquium on graph and model transformation on the occasion of the 65th birthday of Hartmut Ehrig : (GraMoT 2010) : February 11-12, 2010, TU Berlin

    Pre-proceedings of the international colloquium on graph and model transformation on the occasion of the 65th birthday of Hartmut Ehrig : (GraMoT 2010) : February 11-12, 2010, TU B...

    Veröffentlicht 2010
    Weitere Verfasser:
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: