Domain Specific Language Course Workshops based on K-Framework Semantics