Patterns to build reusable and testable software

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.