Barrapunto

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

Aunque como dicen por ahí arriba uno de los problemas de la verificación es que para programas grandes es costosa, lo peor creo yo que es la gran cantidad de efectos colaterales que puede tener cada acción... eso es para volver loco a cualquiera.

Para eso se inventó la programación funcional pura. Estoy seguro de que infinitamente más sencillo verificar un programa en Haskell que uno en C.

Lo primero es que la ingeniería del software es casi inexistente : puedes crear métodos de desarrollo, planificar estrategias, nuevas técnicas de modelado de problemas...

Pero no hay estándares. No hay componentes universales, no hay protocolos verdaderamente unificados ,p.ej., para acceder a datos -sino muchos, y no me vengáis con SQL porque sin driver para conectarte a la base de datos ya me diréis qué hacemos con SQL-, no hay técnicas de verificación y prueba REALMENTE ÚTILES en la práctica -más allá de muy pocos cientos de líneas-,...

Un ingeniero "de los de verdad" - léase de caminos, industriales,...- aprende a hacer puentes una vez y los puentes se hacen igual -cambiando lógicamente las medidas y materiales según las circunstancias, obviamente-, las estructuras siempre siguen las mismas leyes y no cambian los paradigmas de la noche a la mañana -y las herramientas tampoco :-D -, las técnicas permanecen bastante estables a lo largo del tiempo,... En definitiva, que tienen desarrolladas unas formas de hacer las cosas bastante estables y estandarizadas, y no les pasa como a los informáticos, que nos hacemos "ilusiones de ingeniería" cuando todavía dependemos de muchas improvisaciones y "estándares" de poquísimos años de duración salvo contadas excepciones - por inercias de mercado más que por otra cosa -.

Podemos decir que la causa es por el avance tan rápido de nuestro campo, pero es que realmente no hay nada realmente estable salvo la definición de ALGUNOS algoritmos y técnicas -muy contados-, y siempre andamos mareando la perdiz con los constantes cambios que en muchos casos son más un retroceso que un acierto -gracias otra vez al mercado y sus inercias... ¿Java p.ej, cuando hay lenguajes orientados a objetos intrínsecamente mejores por su diseño y muchísimo menos populares? -.

Puede que dentro de algunos -bastantes- años hayamos estabilizado ya nuestro campo, pero de momento, pese a que les fastidie a muchos académicos y "llamados-a-si-mismos" ingenieros, tenemos demasiado de artistas y artesanos -aquí que se reivindiquen los "juankers" :-D - .

A mi pesar, porque así nos ningunean :-( .

Aún así, ánimo...

"Si no le gustan mis ideas, tengo otras" G. Marx