Correctness of Incremental Model Synchronization With Triple Graph Grammars

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-08789-4_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2015English

Triple Graph Grammars in the Large for Translating Satellite Procedures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Matrix Graph Grammars With Application Conditions

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

An Economical Transformation of Graph Grammars

RAIRO - Theoretical Informatics and Applications
MathematicsComputer Science ApplicationsSoftware
1993English

Incremental Parsing With Parallel Multiple Context-Free Grammars

2009English

Adaptive Star Grammars for Graph Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On the General Theory of Graph Grammars.

English

Incremental Evaluation for Attribute Grammars With Unrestricted Movement Between Tree Modifications

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1988English

Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammars

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy