"Una buena ingeniería de software requiere la diferenciación entre la especificación y la implementación." - Andrew S. Tanenbaum