Fundamental Approaches to Software Engineering
From MaRDI portal
Publication:5316443
DOI10.1007/b107062zbMath1119.68344MaRDI QIDQ5316443
Dániel Varró, Juan de Lara, Hartmut Ehrig, Karsten Ehrig, Szilvia Varró-Gyapay, Gabriele Taentzer
Publication date: 13 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107062
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Towards a Systematic Method for Proving Termination of Graph Transformation Systems, Graph Transformation Semantics for a QVT Language, Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars, A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams, Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs, Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing, Attributed graph transformation with node type inheritance, Grammar-based model transformations: definition, execution, and quality properties, Finding a universal execution strategy for model transformation networks, Termination Criteria for DPO Transformations with Injective Matches, Undecidable Control Conditions in Graph Transformation Units, Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation, Combining Graph Transformation and Algebraic Specification into Model Transformation, Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings, Graph Multiset Transformation as a Framework for Massively Parallel Computation
Uses Software