DamMod
The objective of DamMod is to support formal modelling specialized users in producing new dam models that can be loaded by tool BeDam. To use DamMod, it is necessary to know the internal structure and architecture of BeDam. In consequence, the expected users of the tool are not dam managers, but software technician with experience using BeDam. The tool is not only able to automatically produce the code of a dam model, but it also allows the user manually to modify the model to include extra functionality, not considered in the original specification. In addition, the tool generates some default management policies.