Los puntos clave no están disponibles para este artículo en este momento.
Most agile teams use some upfront design, and most formal methods are iterative.
Vinekar et al. (Sat,) studied this question.