StaticSemanticDemo5 - JUCMNAV/projetseg-update GitHub Wiki

jUCMNav Static Semantics Demo 5: Running static semantics checking

This video demonstrates how to run static semantics checking of selected rules on a URN model, with violations reported in the Problems view.

Difficulty: easy

Software: jUCMNav 3.1 / Windows XP / Eclipse 3.3

See also: jUCMNav Static Semantics Demos 1, 2, 3, 4, 6, 7

-- Byrne Yan - 08 Apr 2008