Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
An institution theory of formal meta-modelling in graphically extended BNF - MaRDI portal

An institution theory of formal meta-modelling in graphically extended BNF

From MaRDI portal

Publication:1762177

Jump to:navigation, search

zbMath1251.68080MaRDI QIDQ1762177

Publication date: 15 November 2012

Published in: Frontiers of Computer Science (Search for Journal in Brave)

zbMATH Keywords

semantics formal logic modelling languages meta-modelling abstract syntax institution graphic extension of BNF (GEBNF)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

HOL-OCL

This page was built for publication: An institution theory of formal meta-modelling in graphically extended BNF

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1762177&oldid=14105673"