Fundamental Approaches to Software Engineering
From MaRDI portal
Publication:5316443
DOI10.1007/b107062zbMath1119.68344OpenAlexW2479217507MaRDI 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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (15)
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation ⋮ Combining Graph Transformation and Algebraic Specification into Model Transformation ⋮ Attributed graph transformation with node type inheritance ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Graph Multiset Transformation as a Framework for Massively Parallel Computation ⋮ 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 ⋮ Grammar-based model transformations: definition, execution, and quality properties ⋮ Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing ⋮ Finding a universal execution strategy for model transformation networks ⋮ Termination Criteria for DPO Transformations with Injective Matches ⋮ Undecidable Control Conditions in Graph Transformation Units
Uses Software
This page was built for publication: Fundamental Approaches to Software Engineering
