:facetid:toc:\"db/journals/eceasst/eceasst10.bht\"
OK
:facetid:toc:db/journals/eceasst/eceasst10.bht
Karl AzabKarl-Heinz PennemannType Checking C++ Template Instantiation by Graph Programs.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/AzabP0810.14279/TUJ.ECEASST.10.148https://doi.org/10.14279/tuj.eceasst.10.148https://dblp.org/rec/journals/eceasst/AzabP08
URL#5255157
Luciano BaresiCarlo GhezziAndrea MocciMattia MongaUsing Graph Transformation Systems to Specify and Verify Data Abstractions.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/BaresiGMM0810.14279/TUJ.ECEASST.10.155https://doi.org/10.14279/tuj.eceasst.10.155https://dblp.org/rec/journals/eceasst/BaresiGMM08
URL#5255159
Enrico BiermannTony ModicaIndependence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/BiermannM0810.14279/TUJ.ECEASST.10.160https://doi.org/10.14279/tuj.eceasst.10.160https://dblp.org/rec/journals/eceasst/BiermannM08
URL#5255163
Paolo BottoniNikolay N. MirenkovYutaka WatanobeRentaro YoshiokaComposing control flow and formula rules for computing on grids.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/BottoniMWY0810.14279/TUJ.ECEASST.10.161https://doi.org/10.14279/tuj.eceasst.10.161https://dblp.org/rec/journals/eceasst/BottoniMWY08
URL#5255166
Benjamin BraatzChristoph BrandtGraph Transformations for the Resource Description Framework.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/BraatzB0810.14279/TUJ.ECEASST.10.158https://doi.org/10.14279/tuj.eceasst.10.158https://dblp.org/rec/journals/eceasst/BraatzB08
URL#5255168
Florian BrielerMark MinasAmbiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/BrielerM0810.14279/TUJ.ECEASST.10.152https://doi.org/10.14279/tuj.eceasst.10.152https://dblp.org/rec/journals/eceasst/BrielerM08
URL#5255170
Antonio BucchiaroneJuan P. GaleottiDynamic Software Architectures Verification using DynAlloy.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/BucchiaroneG0810.14279/TUJ.ECEASST.10.145https://doi.org/10.14279/tuj.eceasst.10.145https://dblp.org/rec/journals/eceasst/BucchiaroneG08
URL#5255171
Hartmut EhrigKarsten EhrigFrank Hermann 0001From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/EhrigEH0810.14279/TUJ.ECEASST.10.154https://doi.org/10.14279/tuj.eceasst.10.154https://dblp.org/rec/journals/eceasst/EhrigEH08
URL#5255180
Claudia ErmelJuan de LaraReiko HeckelPreface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/ErmelLH0810.14279/TUJ.ECEASST.10.136.135https://doi.org/10.14279/tuj.eceasst.10.136.135https://dblp.org/rec/journals/eceasst/ErmelLH08
URL#5255181
Ewa GrabskaGrazyna Maria SlusarczykTruong Lan LeVisual Design and Reasoning with the Use of Hypergraph Transformations.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/GrabskaSL0810.14279/TUJ.ECEASST.10.146https://doi.org/10.14279/tuj.eceasst.10.146https://dblp.org/rec/journals/eceasst/GrabskaSL08
URL#5255187
Davide GrohmannMarino MiculanControlling resource access in Directed Bigraphs.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/GrohmannM0810.14279/TUJ.ECEASST.10.142https://doi.org/10.14279/tuj.eceasst.10.142https://dblp.org/rec/journals/eceasst/GrohmannM08
URL#5255188
Stefan GrunerGraph Transformation Model of a Triangulated Network of Mobile Units.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/Gruner0810.14279/TUJ.ECEASST.10.144https://doi.org/10.14279/tuj.eceasst.10.144https://dblp.org/rec/journals/eceasst/Gruner08
URL#5255190
Abubakar HassanIan MackieShinya SatoInteraction nets: programming language design and implementation.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/HassanMS0810.14279/TUJ.ECEASST.10.156https://doi.org/10.14279/tuj.eceasst.10.156https://dblp.org/rec/journals/eceasst/HassanMS08
URL#5255192
Christian Koehler 0001David Costa 0001José ProençaFarhad ArbabReconfiguration of Reo Connectors Triggered by Dataflow.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/KoehlerCPA0810.14279/TUJ.ECEASST.10.138https://doi.org/10.14279/tuj.eceasst.10.138https://dblp.org/rec/journals/eceasst/KoehlerCPA08
URL#5255200
Rahul Kumar 0004Eric G. MercerImproving Live Sequence Chart to Automata Transformation for Verification.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/KumarM0810.14279/TUJ.ECEASST.10.151https://doi.org/10.14279/tuj.eceasst.10.151https://dblp.org/rec/journals/eceasst/KumarM08
URL#5255205
Leen LambersHartmut EhrigGabriele TaentzerSufficient Criteria for Applicability and Non-Applicability of Rule Sequences.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/LambersET0810.14279/TUJ.ECEASST.10.139https://doi.org/10.14279/tuj.eceasst.10.139https://dblp.org/rec/journals/eceasst/LambersET08
URL#5255206
Sonja MaierMark MinasA Static Layout Algorithm for DiaMeta.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/MaierM0810.14279/TUJ.ECEASST.10.147https://doi.org/10.14279/tuj.eceasst.10.147https://dblp.org/rec/journals/eceasst/MaierM08
URL#5255208
Greg ManningDetlef PlumpThe GP Programming System.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/ManningP0810.14279/TUJ.ECEASST.10.150https://doi.org/10.14279/tuj.eceasst.10.150https://dblp.org/rec/journals/eceasst/ManningP08
URL#5255210
Steffen MazanekMark MinasParsing of Hyperedge Replacement Grammars with Graph Parser Combinators.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/MazanekM0810.14279/TUJ.ECEASST.10.143https://doi.org/10.14279/tuj.eceasst.10.143https://dblp.org/rec/journals/eceasst/MazanekM08
URL#5255212
Anantha NarayananGabor KarsaiVerifying Model Transformations by Structural Correspondence.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/NarayananK0810.14279/TUJ.ECEASST.10.157https://doi.org/10.14279/tuj.eceasst.10.157https://dblp.org/rec/journals/eceasst/NarayananK08
URL#5255218
Alexander ReinUlrike PrangeLeen LambersKathrin HoffmannJulia PadbergNegative Application Conditions for Reconfigurable Place/Transition Systems.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/ReinPLHP0810.14279/TUJ.ECEASST.10.140https://doi.org/10.14279/tuj.eceasst.10.140https://dblp.org/rec/journals/eceasst/ReinPLHP08
URL#5255222
Arend RensinkAnneke KleppeOn a Graph-Based Semantics for UML Class and Object Diagrams.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/RensinkK0810.14279/TUJ.ECEASST.10.153https://doi.org/10.14279/tuj.eceasst.10.153https://dblp.org/rec/journals/eceasst/RensinkK08
URL#5255223
Hans VangheluweFoundations of Modelling and Simulation of Complex Systems.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/Vangheluwe0810.14279/TUJ.ECEASST.10.162https://doi.org/10.14279/tuj.eceasst.10.162https://dblp.org/rec/journals/eceasst/Vangheluwe08
URL#5255234
Erhard WeinellExtending Graph Query Languages by Reduction.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/Weinell0810.14279/TUJ.ECEASST.10.159https://doi.org/10.14279/tuj.eceasst.10.159https://dblp.org/rec/journals/eceasst/Weinell08
URL#5255236
Cong-Cong XingA Graph-Based Type Representation for Objects.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.102008Journal Articlesopenjournals/eceasst/Xing0810.14279/TUJ.ECEASST.10.149https://doi.org/10.14279/tuj.eceasst.10.149https://dblp.org/rec/journals/eceasst/Xing08
URL#5255238