Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
Correcting Clafer Models with Automated Analysis
|Title||Correcting Clafer Models with Automated Analysis|
|Year of Publication||2012|
|Series Title||Generative Software Development Laboratory|
|Institution||University of Waterloo|
|Report Number||GSDLab-TR 2012-04-30|
ClaferIG is primarily a command line tool for generating instances for the Clafer modeling language. The tool is an important part of the Clafer family. This paper outlines a few big issues with writing Clafer models and how ClaferIG tackles them. The main focus of the paper is debugging models with small portions devoted to related topics. The final sections are dedicated to limitations and possible directions to extend the power of the tool.