Edsger Dijkstra: La tarea del programador no es...
La tarea del programador no es solo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Edsger Dijkstra
Más frases
Me pongo de pie por lo que creo y un montón de veces estoy en contra de la opinión de la gente
Me gustaría suprimir las pompas fúnebres. Hay que llorar cuando los hombres nacen y no cuando mueren
Cualquier ser humano puede no estar a la altura de sus capacidades habituales cuando actúa movido por la prisa.
Parecía, por lo menos, que no le habían enseñado a mentir. Pero tampoco le habían enseñado a distinguir la verdad de la mentira.