( en | de | ru )

 

Disambiguierung von "Orejas, Fernando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Correctness of Model Synchronization Based on Triple Graph Grammars.

, , , , , und . MoDELS, Volume 6981 von Lecture Notes in Computer Science, Seite 668-682. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fernando Cox

Fernando Silva

Fernando Rinaldi

Fernando Wiens

Fernando Boenicke

 

Weitere Publikationen von Autoren mit dem selben Namen

Initial Conflicts for Transformation Rules with Nested Application Conditions., und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 109-127. Springer, (2020)Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , und . Comput. J., 35 (5): 468-477 (1992)New Concepts for Amalgamation and Extension in the Framework of Specification Logics., , und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Passing Compatibility is almost Persistency.. ADT, Volume 116 von Informatik-Fachberichte, Seite 196-206. Springer, (1984)Clausal Rewriting: Applications and Implementation., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 204-219. Springer, (1990)Abstract Constraint Data Types., und . Software, Services, and Systems, Volume 8950 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2015)Controlling Reuse in Pattern-Based Model-to-Model Transformations., , und . Graph Transformations and Model-Driven Engineering, Volume 5765 von Lecture Notes in Computer Science, Seite 175-201. Springer, (2010)A Proof System for Verifying Composability of Abstract Implementations.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 357-374. Springer, (1984)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , und . LOPSTR, Volume 3901 von Lecture Notes in Computer Science, Seite 133-146. Springer, (2005)A General Algebraic Framework for Studying Modular Systems., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)