scientific article; zbMATH DE number 2016090
From MaRDI portal
Publication:4438799
zbMath1028.68509MaRDI QIDQ4438799
Publication date: 10 December 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2505/25050402.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
Categorical approach to the construction of fuzzy graph grammars ⋮ Preserving consistency in geometric modeling with graph transformations ⋮ Unnamed Item ⋮ Tutorial Introduction to Graph Transformation ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ Application of Graph Transformation in Verification of Dynamic Systems ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows ⋮ Towards automated software model checking using graph transformation systems and bogor ⋮ Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
Uses Software
This page was built for publication:
