The Semantic Properties Plugin is an Eclipse plugin that supports semantic properties and their refinements between BON specification and Java implementation.
FreeAndFair/BONSemanticPropertiesPlugin
An Eclipse plugin that supports semantic properties and their refinements between BON specification and Java implementation.
JavaNOASSERTION