Publication:4941931
From MaRDI portal
zbMath0961.68034MaRDI QIDQ4941931
Francesco Parisi-Presicce, Marta Simeoni, Martin Grosse-Rhode
Publication date: 19 March 2000
68P15: Database theory
68R10: Graph theory (including graph drawing) in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
GETGRATS, Structured Modeling with GRACE, Parameterized Transformation Units, A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA)., Structural and behavioural compatibility of graphical service specifications, Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components, Formal software specification with refinements and modules of typed graph transformation systems, Graph Transformation Units – An Overview