At Samares Engineering, we are convinced that intensive usage of models can bring many benefits for system engineers. For instance, with formalizing textual requirements we accelerate maturity of specification because we can detect errors, ambiguities and inconsistencies earlier in the cycle than with “traditional” document approach.
Modeling language forces us to fully understand the requirement so that we can translate it the right way. We can not escape issues and misunderstandings are immediately revealed.