scientific article; zbMATH DE number 1418368
From MaRDI portal
Publication:4941931
zbMath0961.68034MaRDI QIDQ4941931
Francesco Parisi-Presicce, Marta Simeoni, Martin Grosse-Rhode
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Structural and behavioural compatibility of graphical service specifications ⋮ Graph Transformation Units – An Overview ⋮ 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). ⋮ Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ GETGRATS ⋮ Structured Modeling with GRACE ⋮ Parameterized Transformation Units ⋮ Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
