An institution theory of formal meta-modelling in graphically extended BNF (Q1762177)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An institution theory of formal meta-modelling in graphically extended BNF |
scientific article |
Statements
An institution theory of formal meta-modelling in graphically extended BNF (English)
0 references
15 November 2012
0 references
meta-modelling
0 references
modelling languages
0 references
abstract syntax
0 references
semantics
0 references
graphic extension of BNF (GEBNF)
0 references
formal logic
0 references
institution
0 references
