Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Graph transformation system , correctness"”.
-
Development of correct graph transformation systems
… die Erlangung der Fähigkeit die Korrektheit von graphenbasierten Spezifikationen zu entscheiden, die aus einer grafischen Vorbedingung, einem Graphprogramm und einer grafischen Nachbedingung bestehen. Es wird gezeigt, wie schwächste Vorbedingungen für Graphprogramme und Graphbedingungen …