stLogotudLogorewerseLogo modelplexLogo
ReusewareLogo
HomeNewsScreencastsSyntax-ZooDownloadDocumentationPublicationsContact
crimsonBG
EMFText
The fastest way to refinable, durable and evolution-resistant textual syntaxes for EMF models!
 View source Page history Log in / create account Special pages

Formal Methods Language: B

B (or the B Method) is a formalism that can be used to define abstract machines. The metamodel and the EGL scripts are provided by courtesy of Edward Turner and Helen Treharne, The University of Surrey, United Kingdom (see http://www.csp-b.org/).

Contents

Screenshot

Image:EMFText Language B.gif

CS Specification

B.cs

Metamodel

B.ecore

B.genmodel

Plugins

org.emftext.language.b

org.emftext.language.b.resource.mch

FH

Retrieved from "http://www.emftext.org/index.php/EMFText_Concrete_Syntax_Zoo_B"

This page has been accessed 353 times. This page was last modified 16:02, 20 February 2010.