El 12/05/09 20:59, Horacio escribió: >> 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...
¿Y no tienen que probarlo en un juicio acaso?. > En este caso el uso de especificaciones formales salvarían vidas y > juicios innecesarios... No? o con la GPL te lavas las manos? Entiendo lo que vos indicas. Pero yo entiendo que se haría un juicio por negligencia. No te olvides que la GPL es una licencia de Copyright y es un contrato entre dos partes. Podrá decir que no da garantía, pero vos tenes la libertad de hacerle juicio al desarrollador del código sin importar lo que diga la licencia. Lo que yo creo que es que si se quieren dar ciertas garantías se tiene que *certificar* y allí entra el software libre y el no libre, independientemente de lo que indique el Copyright. En el caso que vos mencionas estoy seguro que no importara si dice que no brinda garantía. Seguro que se le puede iniciar un juicio por negligencia u otra cosa que los cuervos saben muy bien. Saludos.- -- [email protected] - GPG: 1024D/FB208AA2 797A 6D01 B7FC B8C7 AD5E|counter.li.org: #146768 2A50 66E6 2FFB FB20 8AA2|http://www.lugro.org.ar http://noalamatricula.wordpress.com/about/ read! "Si el Universo fuera un programa estaría hecho en C, y correría sobre un sistema UNIX" Anónimo. _______________________________________________ Lugro mailing list [email protected] http://www.lugro.org.ar/mailman/listinfo/lugro
