"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
En sentido general, este trabajo trata sobre la construcción formal de programas. La necesidad de construir los programas formalmente ha sido ampliamente discutida a lo largo de los últimos años, y ha adquirido una importancia cada vez mayor. En los comienzos, la programación se realizaba de una for...
Guardado en:
| Autor principal: | Martínez López, Pablo E. |
|---|---|
| Otros Autores: | Baum, Gabriel Alfredo |
| Formato: | Tesis Tesis de grado |
| Lenguaje: | Español |
| Publicado: |
1996
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/2139 |
| Aporte de: |
Ejemplares similares
-
Uso de la programación neurolingüística en el proceso de elicitación de requerimientos
por: Luzuriaga, Juan Manuel, et al.
Publicado: (2003) -
Análisis de disciplinas de las Ciencias de la Conducta como aporte a la Ingeniería
de Requerimientos
por: Aranguren, Silvia Mónica, et al.
Publicado: (2013) -
Modelo matemático para la programación de las operaciones de abastecimiento interno de materias primas en industrias de alimentos concentrados tipo premolienda
por: Rojas Trejos, Carlos Alberto, et al.
Publicado: (2015) -
A 3D visualization approach to validate requirements
por: Teyseyre, Alfredo Raúl
Publicado: (2002) -
Handling Dynamic Requirements in Cloud Computing
por: Zalazar, Ana Sofía, et al.
Publicado: (2015)