> > A lo mejor se podrán dar *algunas* garantías se sigue un procedimiento > específico o coo vos indicas usando especificaciones > formales pero no una garantía absoluta. Sobre lo de *probadas*, eso > requiere un tiempo muy grande como para poder decirlo. Cuando se trata > de vienes tangibles, los procedimientos se han probado por MUCHOS años, > no solo de algunos como pasa con la informática. >
Vamos a un hecho concreto, el TGV para poder operar a 560 km/h se debe confiar en la empresa que diseñó los algoritmos para el control automático de la estabilidad y opertividad del tren. (Todo desarrollado en lenguaje ADA) ahora bien si por mala suerte debido a una falla en una rutina de 4 líneas de las 15.600.000 líneas de código el tren se descarrilla y mata a 500 personas y en una investigación se descubre que el error está en la empresa desarrolladora del código, según las leyes francesas, esta es responsable por los daños y perjuicios... sea hecho en SL bajo GPL ó lo que fuere... En este caso el uso de especificaciones formales salvarían vidas y juicios innecesarios... No? o con la GPL te lavas las manos? _______________________________________________ Lugro mailing list [email protected] http://www.lugro.org.ar/mailman/listinfo/lugro
