Extension Points and Extensions
From Event-B
Revision as of 09:50, 7 May 2010 by imported>Pascal (→Creation)
This tutorial describes the definition and usage of the Eclipse extension point mechanism.
This tutorial describes the definition and usage of the Eclipse extension point mechanism.