Formal software specification with refinements and modules of typed graph transformation systems
type: Item
instance of: scholarly article
title: Formal software specification with refinements and modules of typed graph transformation systems
zbMATH Open document ID: 1013.68066
author: Marta Simeoni
author: M. Große-Rhode
author: Francesco Parisi-Presicce
published in: Journal of Computer and System Sciences
publication date: 2002-08-04T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68R10
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1775694
zbMATH Keywords: graph transformation systems
describes a project that uses: PROGRES
describes a project that uses: DIEGO
MaRDI profile type: Publication
cites work: Algebraic specification of modules and their basic interconnections
cites work: Amalgamation of graph transformations: a synchronization mechanism
cites work: Q4222787
cites work: Q4890710
cites work: Pragmatic and semantic aspects of a module concept for graph transformation systems
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: Q4194478
cites work: Q4951112
cites work: Q3995131
cites work: Q4218129
cites work: Q4941931
cites work: Q4502818
cites work: Q5284549
cites work: Q4890712
cites work: On the interleaving semantics of transformation units — A step into GRACE
cites work: Transformations of graph grammars
cites work: Q3718136
cites work: Q4023261
cites work: Q2728879
cites work: Q4222818
Recommended article: Q4941931
Recommended article: Q4222807
Recommended article: Specification and Verification of Graph-Based Model Transformation Properties
Recommended article: Verification of Graph Transformation Systems with Context-Free Specifications
Recommended article: Q5748897
Recommended article: Graph transformation for specification and programming
Recommended article: Formalized program specifications and transformation synthesis
Recommended article: Graph Transformation with Dependencies for the Specification of Interactive Systems
Recommended article: Q4924961
description: scientific article; zbMATH DE number 1775694