La tarea del programador no es sólo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Una buena ingeniería de software requiere la diferenciación entre la especificación y la implementación.
Cuando se dice que se rompe España, yo no me estoy refiriendo a un mapa que se cae a trozos, sino a que se fomenta la desigualdad ante la Ley.
La desigualdad económica exacerba los problemas.