Suchergebnisse - Orejas, Fernando

  • Treffer 1 – 17 von 17
Treffer filtern
  1. 1
    Buchumschlag

    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Orejas, Fernando

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Dynamic abstract data types based on algebraic graph transformations
    von Ehrig, Hartmut 1944-2016, Löwe, Michael, Orejas, Fernando

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    New concepts for amalgamation and extension in the framework of specification logics
    von Ehrig, Hartmut 1944-2016, Baldamus, Michael, Orejas, Fernando

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Concurrent model synchronization with conflict resolution based on triple graph grammars
    von Hermann, Frank, Ehrig, Hartmut 1944-2016, Ermel, Claudia, Orejas, Fernando

    Veröffentlicht 2011
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Formal analysis of functional behaviour for model transformations based on triple graph grammars
    von Hermann, Frank, Ehrig, Hartmut 1944-2016, Orejas, Fernando, Golas, Ulrike 1980-

    Veröffentlicht 2010
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Efficient conflict detection in graph transformation systems by essential critical pairs
    von Lambers, Leen, Ehrig, Hartmut 1944-2016, Orejas, Fernando

    Veröffentlicht 2006
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Correctness of model synchronization based on triple graph grammars
    von Hermann, Frank, Ehrig, Hartmut 1944-2016, Orejas, Fernando, Czarnecki, Krzysztof, Diskin, Zinovy, Xiong, Yingfei

    Veröffentlicht 2011
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Local confluence for rules with nested application conditions based on a new critical pair notion
    von Lambers, Leen, Ehrig, Hartmut 1944-2016, Habel, Annegret, Orejas, Fernando, Golas, Ulrike 1980-

    Veröffentlicht 2010
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
    von Hermann, Frank, Ehrig, Hartmut 1944-2016, Golas, Ulrike 1980-, Orejas, Fernando

    Veröffentlicht 2010
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Correctness, completeness and termination of pattern-based model-to-model transformation
    von Orejas, Fernando, Guerra, Esther, de Lara, Juan, Ehrig, Hartmut 1944-2016

    Veröffentlicht 2009
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    A generic component concept for integrated data type and process modeling techniques
    von Ehrig, Hartmut 1944-2016, Orejas, Fernando

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    A conceptual and formal framework for the integration of data type and process modeling techniques
    von Ehrig, Hartmut 1944-2016, Orejas, Fernando

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Correctness, completeness and termination of pattern-based model-to-model transformation: long version
    von Orejas, Fernando

    Veröffentlicht 2009
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Relevance, integration and classification of specification formalisms and formal specification techniques
    von Ehrig, Hartmut 1944-2016, Orejas, Fernando, Padberg, Julia

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Graph transformation: 12th International Conference, ICGT 2019 : held as part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Orejas, Fernando …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)

    Veröffentlicht 1989
    Weitere beteiligte Personen: “… Orejas, Fernando …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    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

    Veröffentlicht 2010
    Weitere beteiligte Personen: “… Orejas,  Fernando …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: