![](https://www.techbarcelona.com/wp-content/uploads/image-878.jpeg)
Exploraremos cómo diversos patrones de diseño aumentan la reusabilidad de nuestro código al generalizar operaciones y, simultáneamente, facilitan su prueba y testeo formal.
—
We will explore how various design patterns increase the reusability of our code by generalising operations while simultaneously facilitating formal testing and proof.