Barrapunto

"Pero que, por el estado actual de la ciencia, hoy no pueda hacerse (o porque sea muy costoso) no significa que la cosa no sea así (eso es lo que molesta a más de uno, y por lo que tantos se niegan a ver)."

Y aún molesta más a algunos que mientras esto no pueda hacerse así (bajo el principio de "construcción formal"), la del software será una artesanía, no una ingeniería (pero claro, vete a llamar a cierta gente "artesanos de software" en lugar de ingenieros, con todo lo que han estudiado, y se te comen).

http://www.praxis-his.com/publications/