Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Declarativos
Dominios de aplicacin
Aplicaciones de los aos sesenta. Durante la dcada de 1960, casi toda la programacin se poda dividir en cuatro modelos bsicos de programacin:
De procesamiento de negocios (COBOL). Cientficos (FORTRAN). De sistemas (ALGOL, JOVIAL, etc.): Para construir sistemas operativos. De Inteligencia Artificial (LISP).
Proceso en el desarrollo de normas: Un grupo decide que un lenguaje requiere una definicin estndar. El organismo normativo organiza un grupo de trabajo de voluntarios para desarrollar esa norma. Cuando el grupo de trabajo llega a un acuerdo sobre su norma, se somete a votacin por parte de un bloque ms grande de individuos interesados. Los desacuerdos se resuelven y se produce el estndar del lenguaje.
Construccin de software
Para facilitar la construccin de un programa es necesario tener en cuenta lo siguiente: Estilo de Programacin Indica las caractersticas en cuanto a la forma en que se usan las instrucciones para elaborar un programa.
Extensibilidad
Generalidad Eficiencia Elegancia Interfaz Amigable
Ariane 501
Proyecto de la ESA para poner satlites en rbita (1996)
Fallo: Conversin de un flotante de 64 bits relativo a la velocidad horizontal a un entero de 16 bits. El nmero era mayor de 32,768 Reutilizacin de cdigo del Ariane 4 Efecto: Explosin a los 40 segundos del despegue Valor estimado con la carga: 500 millones de dlares
Mars PathFinder
Proyecto de la NASA para analizar la superficie de Marte(1997). Vehculo para toma de muestras.
Fallo: Implementacin errnea mecanismo de acceso a memoria compartida junto con prioridades. Inversin de prioridades Efecto: Reset del software de forma inesperada.
2. Armamento
Misiles Patriot
Un misil Patriot de EEUU falla al interceptar un misil Scud Iraqui (1991) Fallo:
Calculo errneo del tiempo desde
que se arranc el ordenador por errores aritmticos al aproximar el reloj. Los errores se deben al uso de slo 24 bits para representar 1/10. Efecto: 28 soldados muertos y 100 heridos
Fallos en AT&T
Software de las centrales de EEUU (1990). conmutacin de AT&T en
Fallo: Sentencia Break mal empleada en una lnea de cdigo incluida como patch.
Efecto: 9 horas sin servicio telefnico en varias ciudades. otro error similar corta comunicaciones con Grecia (1979). Desarrollo de herramientas propias.
3. Salud
Therac-25
Acelerador de electrones para tratamiento del cncer (1985- 1987).
Fallo: Sentencias muy seguidas de modo X y modo b (menos de 8 segundos). El sistema no lo haba hecho antes. l equipo emite radicacin potente sin protector. Efecto: 6 muertos
4. Aviacin Civil
Deadlock en F16, confusin entre
derecha e izquierda volando invertido Vuelo de Air New Zealand cae al detectarse un error software pero sin informar a la tripulacin (1979) Piloto automtico de China Airlines 747 hace caer el avin cerca de San francisco (1985) Errores en el nuevo software causan la caida de Korean Air Lines B747 en Guam (1997) Versin militar de Boeing B737-200 cae en Dubrovnik (Croacia). (1996)