En este curso se introduce al estudiante en el desarrollo de software. Se aprenderán las etapas que comprenden el proceso de desarrollo, así como las distintas técnicas y metodologías aplicables, además de las principales técnicas de validación y verificación del software.
En este curso se inicia a los alumnos en el conocimiento de los paradigmas:
- Programación Declarativa Funcional
- Programación Declarativa Lógica
- Programación Web
y se refuerzan y completan los conocimientos y aptitudes que adquirieron en el paradigma:
Programación estructurada.
Programación Orientada a Objetos.
El contenido mencionado prepara al alumno para poder comparar las características de los distintos modelos formales subyacentes en el desarrollo de programas en diferentes paradigmas y para abordar el desarrollo de programas usando enfoques multiparadigmas.
El curso tiene por objetivo formar a los futuros profesionales para desarrollar una ética profesional que defina la lealtad que le debe a su trabajo, profesión, empresa y compañeros de trabajo. La ética de una profesión es un conjunto de normas, en términos de los cuales definimos como buenas o malas las prácticas y relaciones profesionales. “La profesión” constituye, en sí, una comunidad dirigida al logro de una cierta finalidad: la prestación de un servicio.
El curso proporciona los elementos claves asociados a los límites legales de un profesional ligado a la Informática, así como conceptos básicos de Auditoría y Peritaje. Adicionalmente, cubre aspectos relacionados a la transición desde la Sociedad de la Información hacia la Sociedad del Conocimiento, y Ética Profesional.
Programación I para la Tecnicatura Universitaria Web. Se dicta en el segundo cuatrimestre- Año 2023
En este curso se inicia a los alumnos en el conocimiento de dos paradigmas:
- Programación Orientada a Objetos
- Programación Declarativa Funcional
y se refuerzan y completan los conocimientos y aptitudes que adquirieron en el paradigma:
- Programación estructurada.
El contenido mencionado prepara al alumno para poder comparar las características de los distintos modelos formales subyacentes en el desarrollo de programas en los tres paradigmas.
Las aptitudes desarrolladas a través de la práctica en esta materia, servirán de base tanto para el desarrollo de aplicaciones reales en los distintos paradigmas como para el análisis comparativo formal lenguajes.
También se explora el tema: Verificación de Programas, continuando con el estilo de demostración semántico funcional de Dijkstra (introducido en materia anterior), usando alguna herramienta de software existente para realizar aserciones sobre programas simples, reforzando las bases para su posterior tratamiento formal tanto en el ámbito de la ingeniería del software como en el de teoría de la computación.