People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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.