Mobile Nav

Automating Rule-Checking to Identify SysML Modeling Errors: A Preliminary Study in a Classroom Environment