Revista Abierta de Informática Aplicada

Computación en la Nube: Fundamentos, Críticas y Desafíos

2022-12-22T23:18:13-03:00

Cluod Computing o Computación en la Nube es un término amplio que describe un gran abanico servicios tecnológicos. Para entender realmente cómo la nube puede ser valiosa para una organización, es importante entender qué es realmente la nube y cuáles son sus diferentes componentes. Dado que la nube es un amplio conjunto de servicios, las organizaciones pueden elegir dónde, cuándo y cómo utilizar la computación en la nube. En este trabajo se explican los diferentes tipos de servicios de computación en la nube denominados SaaS (Software as a Service), PaaS (Platform as a Service) e IaaS (Infrastructure as a Service) englobados bajo el concepto de “La Pila de Servicios en la Nube” y se presentan ejemplos de casos de estudio. Se describen los modelos de despliegue e implementación de diferentes tipos de nube, algunas implementaciones para tecnologías disruptivas (Machine Learning, IOT, robótica ubicua, Blockchain). Se presentan también, inconvenientes, posturas críticas y desafíos relacionadas con este concepto.

La gamificación como metodología activa del aprendizaje. Propuestas en la formación docente y para estudiantes de educación media

2022-12-23T00:03:48-03:00

El aislamiento social, preventivo y obligatorio determinado a raíz de la pandemia por COVID 19, configuró un escenario distinto para enseñar y aprender. La clase se trasladó a ambientes virtuales o híbridos de aprendizaje. Así, se establecieron implícitamente transformaciones en la forma de desarrollar las prácticas pedagógicas abordando modelos y propuestas basadas en e - learning y con el apoyo de las tecnologías digitales. Este artículo describe el diseño de dos propuestas de aprendizaje con la gamificación como metodología activa, una para el nivel medio y la otra para la formación docente, con el propósito de dar continuidad a estas prácticas innovadoras más allá del contexto de emergencia. Concluye que como metodología activa promueve la motivación de estudiantes y docentes y propicia la transformación de los modos de enseñar y aprender acordes al siglo XXI.

Tipos de Métricas de calidad para validar datasets gubernamentales Argentinos

2022-12-23T12:43:26-03:00

Hoy en día, los datos son un recurso esencial para toda actividad de la administración pública, y es necesario que estén actualizados, claros y completos. Si bien varios trabajos relacionados con este tema se centran en la apertura de los datos públicos en los portales de las instituciones gubernamentales, existen pocas investigaciones centradas en el contenido de los conjuntos de datos disponibilizados. El énfasis en el estudio de la calidad de los datos permite que las tecnologías mejoren su uso, manipulación y distribución a los ciudadanos. Lo que a su vez permite, una mayor participación ciudadana y transparencia de los entes estatales. Este trabajo se centra en la implementación de varias métricas estándares, que sostienen principios de criterios de calidad para ayudar en el correcto procesamiento e interoperabilidad de los datos. La utilización de métricas de calidad favorece al encuadre de indicadores que permitan obtener un dato más limpio para ayudar en el análisis final a través de análisis cuantitativo.

Verificación de Programas no Determinísticos

2022-12-23T13:23:56-03:00

Continuando con nuestra serie de artículos intoductorios sobre la verificación axiomática de programas, en este segundo trabajo nos enfocamos en el paradigma secuencial no determinístico, siempre en el marco de los programas imperativos de entrada/salida. Como el no determinismo se manifiesta en la concurrencia, el artículo sirve también como introducción a la verificación de programas concurrentes, en los que más se justifica por su complejidad un tratamiento formal de las pruebas de correctitud. Trabajamos con un clásico lenguaje de programación, con selección condicional y repetición no determinísticas, al que luego se incorporan asignaciones aleatorias. Para las pruebas de los programas planteamos una adaptación del método axiomático de verificación descripto en la publicación previa, limitado a la programación secuencial determinística. Presentamos ejemplos de aplicación del método e incluimos un desarrollo sistemático de programa, volviendo a destacar el approach de utilizar los axiomas y reglas para programar al mismo tiempo que verificar, con el objeto de obtener programas correctos por construcción. Finalmente introducimos el concepto de fairness, cuyo efecto es reducir el grado de no determinismo de un programa en base a determinados criterios de equidad en el entorno de ejecución, y describimos un par de adaptaciones en las reglas de prueba para contemplar este aspecto.

Nota Editorial

2022-12-22T15:01:57-03:00

Esta edición de la revista RAIA contiene cuatro artículos de actualidad en el área de las ciencias informáticas:

El especialista en Tecnología Informática y Licenciado en Matemática, Jorge Kamlofsky, investigador del CAETI de la Universidad Abierta Interamericana, explica los diferentes tipos de servicios de Cluod Computing o Computación en la Nube denominados SaaS (Software as a Service), PaaS (Platform as a Service) e IaaS (Infrastructure as a Service) englobados bajo el concepto de “La Pila de Servicios en la Nube” y discute inconvenientes, posturas críticas y desafíos relacionadas con este concepto.