Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
2.2.2 Formal Modelling
We are concerned with formalizing specifications. This allows us a more rigorous analysis (thereby improving the quality) and allows us to reuse the specification in the development an implementation. This comes at the cost of higher up-front investments.
This differs from the traditional development process. In a formal development, we transfer some effort from the test phase (where the implementation is verified) to the specification phase (where the specification in relation to the requirements is verified).
|
|
|
|
|
|