Skip to main content

1 Result(s)

within Article Remove this filter Frank Hermann Remove this filter IT in Business Remove this filter Information Systems Applications (incl. Internet) Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Article

    Model synchronization based on triple graph grammars: correctness, completeness and invertibility

    Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been mi...

    Frank Hermann, Hartmut Ehrig, Fernando Orejas… in Software & Systems Modeling (2015)