Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

Java software platform for the development of advanced robotic virtual laboratories

This article presents an interactive Java software platform which enables any user to easily create advanced virtual laboratories (VLs) for Robotics. This novel tool provides both support for developing applications with full 3D interactive graphical interface and a complete functional framework for modelling and simulation of arbitrary serial-link manipulators. In addition, its software architecture contains a high number of functionalities included as high-level tools, with the advantage of allowing any user to easily develop complex interactive robotic simulations with a minimum of programming. In order to show the features of the platform, the article describes, step-by-step, the implementation methodology of a complete VL for Robotics education using the presented approach. Finally, some educational results about the experience of implementing this approach are reported.

Estudio cualitativo sobre la sostenibilidad de los programas de violencia de género en el sistema sanitario español durante la crisis

Antecedentes/Objetivos: La Ley 1/2004 de atención a la integral a la violencia de género institucionaliza la respuesta sanitaria a este problema. En la actualidad, los servicios sanitarios se están viendo afectados por las políticas de austeridad del gobierno como respuesta a la crisis financiera, lo que puede afectar negativamente a la atención de la violencia de género. El objetivo de este estudio es explorar las percepciones de profesionales sanitarios del nivel gerencial sobre el impacto de la crisis económica en la respuesta sanitaria a la violencia de género en España. Métodos: Estudio cualitativo con 26 entrevistas individuales a informantes clave del nivel gerencial, 23 de las 17 Comunidades Autónomas y 3 del nivel nacional, entre julio de 2012 a marzo de 2013. Las transcripciones se importaron al software informático Atlas.ti-5 y se realizó un análisis de contenido cualitativo. Resultados: Se identificaron 4 categorías que explican las consecuencias de las políticas de austeridad en la atención sanitaria de la violencia de género. Tres de ellas hacen referencia a los efectos negativos: Desmotivación y pesimismo para avanzar en la integración de la respuesta a la violencia; Un sistema desbordado por los recortes y presión asistencial; y Necesidad de una mayor implicación por parte del personal sanitario para suplir las carencias del sistema. Una cuarta categoría concibe la crisis como oportunidad: El desafío es mantener y no desmantelar, una visión optimista de la crisis como un reto para afianzar lo que hay. Las personas implicadas luchan para mantener el abordaje de la violencia en las agendas, movidas por su motivación personal, pero sienten que es luchar contra un muro o ir contracorriente porque no se ha producido una integración oficial en la práctica sino sólo en la teoría, a raíz de la ley 1/2004 y las políticas de igualdad impulsadas por el anterior gobierno. Todo ello se ve dificultado por la desaparición de las subvenciones estatales para la formación y sensibilización, implantación de protocolos o creación de sistemas de información, junto a que no está en la cartera de servicios de las comunidades. Conclusiones: Continuar con la integración del abordaje de la violencia de género en el sistema de salud en época de crisis no es una prioridad. Los hallazgos sugieren que la motivación individual trata de compensar las deficiencias en el sistema existente, pero que el voluntarismo de las personas individuales no es suficiente sin estructuras organizativas que les respalden, lo que se ve especialmente dificultado en tiempos de crisis.

Graphical User Interface (GUI) for the representation of GM surfaces (using the NRTL model) and curves, including tie-lines and Hessian matrix

A single and very easy to use Graphical User Interface (GUI- MATLAB) based on the topological information contained in the Gibbs energy of mixing function has been developed as a friendly tool to check the coherence of NRTL parameters obtained in a correlation data procedure. Thus, the analysis of the GM/RT surface, the GM/RT for the binaries and the GM/RT in planes containing the tie lines should be necessary to validate the obtained parameters for the different models for correlating phase equlibrium data.

Red para la docencia especializada en cartografía digital, geomática y sistemas de información geográfica basado en software libre

Esta proyecto pretender crear una red docente especializada en las tecnologías de la información geográfica (TIG), con especial interés en la geomática, y en la captura, análisis y publicación de datos geográficos. Estos sistemas deben de ser sostenibles, por ello se hace especial énfasis en el uso de programas, servicios y datos libres, con el fin de poder impartir una docencia que aporte un perfil diferente al alumno, que no solo será analista, sino también productor y difusor de contenidos geográficos en forma de cartografía. Todo ello repercute en el alumnado facilitando el conocimiento de la información originados por esta red docente, elevando las posibilidades de inserción laboral, y dinamizando el emprendimiento. Por ello, las acciones colaborativas y metodológicas se centran en la creación y personalización de un aula experimental de cartografía y Sistemas de Información Geográfica (SIG) donde poder practicar los servicios y procesos que la sociedad está demandando, y que los productores están sirviendo. Estos esfuerzos requieren el concurso de un servidor de servicios y datos que también forma parte de este proyecto.

Capacitación en metodologías de desarrollo de programas interactivos para Televisión Digital

La TV Digital ha tenido en estos últimos años una gran expansión en todo el mundo (en algunos países ya se está implementando el "apagón analógico", luego del cual toda transmisión televisiva será digital) y con una creciente cobertura en toda Latinoamérica debido a las políticas activas que en los últimos años han llevado a cabo los gobiernos (por ejemplo, el sistema de TDA – Televisión Digital Abierta de Argentina tiene una cobertura actual superior al 80% de la población). Esta expansión se debe a que esta tecnología permite no sólo una mejor calidad de imagen sino también una experiencia de usuario-televidente mucho más rica gracias a que el sistema puede transmitir y procesar datos, además del video y el sonido, y permite interacciones más complejas que la TV tradicional o analógica. Sin embargo, y a pesar de su alcance cada vez más masivo, las grandes ventajas de la TV Digital no están siendo aún explotadas en todo su potencial. Esto se debe, según los estudios realizados, a dos razones principales: (1) no se ha encontrado aún un modelo de negocios superador de la TV tradicional que aproveche la interacción del usuario-televidente (el cual, generalmente por desconocimiento, tampoco exige mayor complejidad y riqueza en su interacción con la TV) y (2) no hay suficientes recursos humanos adecuadamente formados que puedan desarrollar productos que exploten la compleja interacción entre el producto de TV (serie, unitario, película, documental) y el software (que permite el procesamiento de los datos y la interacción con el usuario-televidente) para generar producciones innovadoras en el campo televisivo. El Centro Tecnológico Comunitario de la Municipalidad de Nono (CTC Nono) nos ha solicitado ser recipiente de actividades de extensión que apunten a subsanar específicamente esta segunda causa, la falta de recursos humanos que puedan apropiarse de esta tecnología. A diferencia de muchos otros Centros Tecnológicos Comunitarios, el CTC Nono pudo continuar funcionando durante estos 14 años gracias a la capacidad de sus dirigentes de adaptar permanentemente sus objetivos y su forma de funcionamiento. EL CTC Nono, como tal, comenzó siendo un centro de alfabetización informática y de acceso popular a los servicios TIC básicos, para llegar a ser hoy un activo centro generador de programas de TV regional por un lado y de desarrollos de software por otro. Sin embargo, la característica principal que ha permanecido inmutable a lo largo de estos años es la de ser un centro de atracción, contención y aprendizaje abierto para todos los vecinos con inquietudes productivas y artísticas. Es por ello que, concientes de la enorme potencialidad y alcance de la TV Digital, es que el CTC Nono realiza esta demanda de transferencia que implica proveer conocimiento teórico y práctico para el desarrollo de programas interactivos de TV Digital a grupos multidisciplinarios (de programadores, artistas y productores de TV) de toda la zona de Traslasierra que les permita expandir su producción a esta nueva tecnología de difusión masiva. Es de esperarse que de los cursos, talleres y actividades de seguimiento de proyectos, se podrán obtener productos innovadores que aprovechen todos los beneficios que brinda la TV Digital, llevando el polo de desarrollo de TV generado gracias al CTC Nono a una nueva etapa, de expansión y uso de esta novedosa tecnología.

Conhece o microsoft mathematics? Não?! Então este workshop é para si!

A vertiginosa difusão das TIC e o crescente desenvolvimento de diverso software científico estão a produzir mudanças relevantes nos processos formativos em matemática, estando estas a favorecer a criação de novos e melhores recursos didáticos e de autoaprendizagem, assim como uma nova forma de gerar e difundir conhecimento ou experiências cognitivas (Atencio, 2013). No entanto para tirar partido, a nível pessoal ou profissional, da variedade de recursos que estão ao nosso alcance para aprender/ensinar matemática, como os programas Geogebra, Surfer, GeCla, Microsoft Mathematics etc., é importante conhecê-los e saber trabalhar com eles. Tendo em vista este objetivo, neste Workshop pretende-se “apresentar” o software Microsoft Mathematics, explorá-lo como recurso na resolução de algumas tarefas de matemática, assim como discutir as suas potencialidades e limitações. O software Microsoft Mathematics, inicialmente com a designação Microsoft Math, foi lançado pela Microsoft Corporation em 2006, e surgiu para tentar resolver o problema de muitos alunos brasileiros que tinham dificuldades nas disciplinas que envolviam cálculo. No início estava apenas disponível para uso de uma comunidade estudantil que, com o apoio de empresas e universidades, visava formar alunos na área de tecnologias de informação para o mercado de trabalho. Depois de algumas melhorias, o programa passou a ser disponibilizado para o público em geral e a ser comercializado (Sousa e Araújo (s.d.)). Atualmente a versão 4.0 é a mais recente, é gratuita e está disponível para download na internet no site https://www.microsoft.com/ptpt/ download/details.aspx?id=15702. Do ponto de vista da matemática, o Microsoft Mathematics abrange domínios como a aritmética, o cálculo, a álgebra e a estatística. Por exemplo, permite executar uma diversidade de cálculos: resolver equações, inequações e sistemas de equações, converter unidades de medida, calcular estatísticas básicas (como média e desvio-padrão), efetuar operações com números complexos, calcular derivadas e integrais, realizar operações com matrizes, entre outros, e, em alguns casos, possibilita a consulta da resolução passo a passo. Tem também uma vertente gráfica, podendo representar-se gráficos a duas ou a três dimensões. Esta funcionalidade possibilita, ainda, representar graficamente equações com parâmetros, o que permite visualizar as mudanças em função da variação do valor do parâmetro, que pode ser de grande utilidade, por exemplo, na discussão de sistemas de equações lineares. Em termos de usabilidade, o Microsoft Mathematics tem uma interface simples e facilmente compreensível para o utilizador e a sintaxe para comunicar com o software é quase sempre a que se utiliza em matemática. Torna-se igualmente uma mais-valia quando se pretende produzir documentos em Word com simbologia matemática, pois permite exportar para este aplicativo o trabalho realizado. Conclui-se, assim, que o Microsoft Mathematics é um software educativo que fornece um conjunto de ferramentas que podem constituir um apoio para os estudantes do 3.º ciclo do ensino básico, do ensino secundário e ensino superior, na resolução de tarefas que exigem conhecimentos matemáticos. Pode, ainda, tornar-se um recurso útil para os professores tanto na preparação de aulas como no contexto de sala de aula, na medida em que, para além de facilitar a execução de cálculos, permite explorar alguns conteúdos de uma forma interativa e com maior profundidade.

Soluções globais para sistemas industriais-teste de software

Relatório de estágio apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Organizacionais

Análisis de software de analítica web para medir uso de recursos y servicios electrónicos de bibliotecas universitarias

Las bibliotecas universitarias recopilan, de manera rutinaria estadísticas sobre el uso de sus colecciones impresas y de la actividad in situ. Paralelamente y de manera sostenida, han ido incorporando recursos y servicios electrónicos, lo que ha motivado la elaboración de normas internacionales que definen indicadores que permiten medir su uso, no obstante contar con un software estándar es aún un asunto pendiente. Por otro lado, para medir la actividad de un sitio web existen varios programas gratuitos y de código abierto. Este trabajo tiene como objetivo determinar si los softwares de analítica web gratuitos para sitios web AWStats, Google Analytics y Piwik, pueden utilizarse para evaluar el uso de recursos y servicios electrónicos, conforme a los indicadores propuestos por las normas ANSI/NISO Z39.7-2013, ISO 2789:2003, ISO 20983:2003, BS ISO 11620:2008, EMIS, Counter e ICOLC. Para tales efectos, fueron utilizados para realizar el análisis de esta investigación sitio web y el catálogo en línea de la Biblioteca Florentino Ameghino, Biblioteca Central de la Facultad de Ciencias Naturales y Museo de la Universidad Nacional de la Plata, Argentina. Los resultados reflejan las características de los indicadores, el software y el caso de estudio. Estas características son abordadas en las conclusiones con el fin de darle contexto y perspectiva a la respuesta de la pregunta de si es viable medir el uso de recursos y servicios electrónicos de una biblioteca universitaria por medio de programas estadísticos para sitios web

Análisis de software de analítica web para medir uso de recursos y servicios electrónicos de bibliotecas universitarias

Las bibliotecas universitarias recopilan, de manera rutinaria estadísticas sobre el uso de sus colecciones impresas y de la actividad in situ. Paralelamente y de manera sostenida, han ido incorporando recursos y servicios electrónicos, lo que ha motivado la elaboración de normas internacionales que definen indicadores que permiten medir su uso, no obstante contar con un software estándar es aún un asunto pendiente. Por otro lado, para medir la actividad de un sitio web existen varios programas gratuitos y de código abierto. Este trabajo tiene como objetivo determinar si los softwares de analítica web gratuitos para sitios web AWStats, Google Analytics y Piwik, pueden utilizarse para evaluar el uso de recursos y servicios electrónicos, conforme a los indicadores propuestos por las normas ANSI/NISO Z39.7-2013, ISO 2789:2003, ISO 20983:2003, BS ISO 11620:2008, EMIS, Counter e ICOLC. Para tales efectos, fueron utilizados para realizar el análisis de esta investigación sitio web y el catálogo en línea de la Biblioteca Florentino Ameghino, Biblioteca Central de la Facultad de Ciencias Naturales y Museo de la Universidad Nacional de la Plata, Argentina. Los resultados reflejan las características de los indicadores, el software y el caso de estudio. Estas características son abordadas en las conclusiones con el fin de darle contexto y perspectiva a la respuesta de la pregunta de si es viable medir el uso de recursos y servicios electrónicos de una biblioteca universitaria por medio de programas estadísticos para sitios web

Effective affective user interface design in games

It is proposed that games, which are designed to generate positive affect, are most successful when they facilitate flow (Csikszentmihalyi 1992). Flow is a state of concentration, deep enjoyment, and total absorption in an activity. The study of games, and a resulting understanding of flow in games can inform the design of non-leisure software for positive affect. The paper considers the ways in which computer games contravene Nielsen's guidelines for heuristic evaluation ( Nielsen and Molich 1990) and how these contraventions impact on flow. The paper also explores the implications for research that stem from the differences between games played on a personal computer and games played on a dedicated console. This research takes important initial steps towards de. ning how flow in computer games can inform affective design.

A reference architecture for instructional educational software

Our extensive research has indicated that high-school teachers are reluctant to make use of existing instructional educational software (Pollard, 2005). Even software developed in a partnership between a teacher and a software engineer is unlikely to be adopted by teachers outside the partnership (Pollard, 2005). In this paper we address these issues directly by adopting a reusable architectural design for instructional educational software which allows easy customisation of software to meet the specific needs of individual teachers. By doing this we will facilitate more teachers regularly using instructional technology within their classrooms. Our domain-specific software architecture, Interface-Activities-Model, was designed specifically to facilitate individual customisation by redefining and restructuring what constitutes an object so that they can be readily reused or extended as required. The key to this architecture is the way in which the software is broken into small generic encapsulated components with minimal domain specific behaviour. The domain specific behaviour is decoupled from the interface and encapsulated in objects which relate to the instructional material through tasks and activities. The domain model is also broken into two distinct models - Application State Model and Domainspecific Data Model. This decoupling and distribution of control gives the software designer enormous flexibility in modifying components without affecting other sections of the design. This paper sets the context of this architecture, describes it in detail, and applies it to an actual application developed to teach high-school mathematical concepts.