1.Previous
3.Next

that focus on flexibility. Doing a formal specification of the whole system up front is often perceived as being the opposite of flexible. However, there is some research into the benefits of using formal specifications with "agile" development
* Complexity
** They require a high level of mathematical expertise and the analytical skills to understand and apply them effectively
** A solution to this would be to develop tools and models that allow for these techniques to be implemented but hide the underlying mathematics
*

1.Previous
3.Next