Modelos de uso y recomendación social en entornos de enseñanza

El fin de este trabajo es el estudio y elaboración de un sistema de recomendación basado en el comportamiento de usuarios, concretamente para la página web Acepta el reto, capaz de adaptarse a las capacidades de cada usuario. Esto comprende la creación de un algoritmo para la recomendación de problemas y su implantación en un servicio web. En el tiempo de desarrollo se ha estudiado la red formada por las relaciones entre usuarios, en base a sus problemas con veredicto correcto. Este trabajo ha servido para definir las bases del algoritmo de recomendación planteado. Para el despliegue del algoritmo ha sido creado también un servicio web, usando tecnologías actuales, para demostrar su funcionalidad y posible exportación a la página web Acepta el reto.

GesInv: portal de ayuda a la gestión de la investigación

En la actualidad, la gestión de proyectos de investigación en la Universidad Complutense de Madrid se encuentra parcialmente automatizada o soportada mediante el uso de aplicaciones informáticas. No obstante, los procesos de justificación más habituales en la gestión económica de los proyectos de investigación (gestión de pagos / compras, gestión y justificación de viajes y gestión de material inventariable) se lleva a cabo en papel y manualmente. GesInv nace con objeto de facilitar y agilizar estos procesos que suponen una gran carga de trabajo a los investigadores y al personal administrativo debido a la gran cantidad de trámites que se gestionan en la UCM. GesInv proporciona un portal web que integra a todos los actores que están involucrados en los mencionados procedimientos, permitiendo la tramitación electrónica que disminuye los tiempos de tramitación y disminuye los errores cometidos al trasladar la información del papel a digital (como en la actualidad se lleva a cabo).

Aplicación de videojuegos educativos teatrales en dispositivos móviles y fijos

En un mundo dominado por las nuevas tecnologías, donde en cada casa podemos encontrar más dispositivos tecnológicos que personas, seguimos teniendo un sistema educativo basado en libros de texto, cuaderno y bolígrafo. Esto, combinado con una generación de estudiantes considerados como nativos digitales (Prensky, 2010), está haciendo que los resultados académicos sean cada vez peores, aumentando el fracaso escolar (Fernández Pérez, 1986). Sin embargo, dada la aparición de los llamados videojuegos educativos, o "serious games", y la digitalización de las aulas, se ha demostrado que aprender jugando no sólo es más divertido, sino que además es más efectivo (Wong et al., 2007). Pero, cuando un centro educativo decide invertir dinero en traer nuevas tecnologías a las aulas, surge la siguiente pregunta: ¿en qué tipo de dispositivo debo invertir? Hasta la aparición de las tablets, esta pregunta tenía una clara respuesta, ordenadores. Pero con la llegada de éstas, la respuesta no está tan clara. ¿Qué dispositivo funciona mejor en las aulas? Otro ámbito que pierde adeptos entre los más jóvenes con la llegada de tanta tecnología a los hogares, es el mundo del teatro. Cada vez son menos los jóvenes interesados en acudir al teatro, convirtiendo a éste en un espectáculo de minorías. Una vez más los videojuegos educativos pueden ser una solución, como se demuestra en la tesis doctoral de Borja Manero (Manero, Torrente, Serrano, Martínez-Ortiz, & Fernández-Manjón, 2015). Esto llamó la atención del Compañía Nacional de Teatro Clásico (CNTC), queriendo realizar más videojuegos educativos que ayuden a incrementar el interés de los más jóvenes por el teatro. Por lo tanto, tenemos dos retos por delante: el principal es encontrar el mejor dispositivo para aplicar estos videojuegos educativos. Esto nos lleva a un segundo objetivo. Desarrollar el videojuego que servirá como herramienta para el desarrollo del experimento. Desarrollamos un videojuego educativo, basado en la obra de teatro “La Cortesía de España”, representada por la CNTC. Se realizaron varios procesos de adaptación para transformar una obra de teatro clásico en un videojuego divertido y útil para la investigación. Utilizando este videojuego como herramienta educativa, realizamos un experimento en el colegio de la Comunidad de Madrid Benito Pérez Galdós (Móstoles), proporcionándonos más de 150 alumnos, de entre 9 y 11 años, para participar en el mismo. Este experimento tiene como fin demostrar qué dispositivo funciona mejor con esta generación: los dispositivos móviles (tablets) o dispositivos fijos (ordenadores). Aunque previamente los investigadores sospechaban que el resultado del experimento sería claramente a favor de las tablets, por su cercanía con los jóvenes a los que estaba dirigido, los resultados arrojan otra conclusión completamente distinta. Efectivamente los más jóvenes utilizan más las tablets que los ordenadores para jugar, pero, analizados los resultados, son los ordenadores los que mejor funcionan como herramienta de aprendizaje.

Avaliação de sistemas de informações geográficas na internet através de teste de software.

A utilização de sistemas de informações geográficas via Web (Sigweb) tem crescido nos últimos anos pela facilidade na manipulação e visualização de informações de diferentes lugares através da Internet. O objetivo deste estudo é realizar testes de sistemas de informações geográficas na Internet com ênfase na técnica funcional para avaliar a funcionalidade, usabilidade, a navegabilidade dos programas conhecidos como Sigweb prontos para usar. Para tanto, foi necessária a identificação dos casos de uso dos programas propostos para o estudo. Como resultado se pode conferir o comportamento dos sistemas durante os testes, além de distinguir as características de cada SigWeb e as dificuldades encontradas.

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

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

O desenvolvimento dos sistemas de valor do sector segurador em Portugal

A investigação em apreço tem como horizonte de ocorrência o espaço inter-organizacional onde as empresas se relacionam entre si, com os seus fornecedores, canais e Clientes. É pretendido estudar o actual estado das parcerias inter-organizacionais do sector segurador nacional e definir uma estratégia de desenvolvimento integrado dos sistemas de valor. Com base num modelo de análise ancorado na (1) racionalidade económica inscrita na TCE (teoria dos custos de transacção) e (2) na óptica das Capacidades Dinâmicas, é proposto o Modelo GPS (Gestão Integrada de Parcerias) compaginável com uma visão holística e dinâmica. A metodologia de verificação empírica compreendeu (1) recolha de dados através de questionário, dirigido a Companhias e Parceiros e (2) entrevistas semi-estruturadas. A análise descritiva dos dados permitiu validar o modelo GPS e caracterizar um sistema de valor heterogéneo, complexo e diversificado relativamente à natureza e intensidade de relacionamentos. O sistema de relacionamentos foi enquadrado numa escala de maturidade onde foram posicionadas as várias práticas de gestão de parcerias. Actualmente nos seguros estamos perante um sistema mais economic-intensive, transaccional, do que knowledge-intensive. No teste de hipóteses, efectuado com a ferramenta SPSS, assinalam-se as correlações que se esperavam encontrar, bem como as (principais) ausências. De facto, a ausência de vestígios de correlação entre governance social/confiança e colaboração nos seguros não era esperada e constitui uma chamada de atenção para uma dimensão sub-explorada, conducente a um quadro tensional. No final, com base na realidade captada, foram traçadas recomendações de desenvolvimento dos sistemas de valor visando alcançar níveis colaborativos mais eficazes, assentes na força dos laços fortes. Todavia, esta nova narrativa de gestão não é neutral face aos modelos vigentes, implicando algum grau de ruptura. A continuação de especialização em actividades core, desconstruindo de forma (mais) pronunciada a cadeia de valor, secundada por maior níveis de colaboração e socialização entre pares, são elementos constitutivos da realidade futura. Vendo para além da linha do horizonte, os gestores seguradores não podem ficar indiferentes à projecção de uma matriz de fundo de relacionamentos mais colaborativos enquanto terreno fértil de inovação e renovação de fontes de vantagem competitiva.

Projeto de Marketing de Experiências para uma Empresa de Software de Recuperação de Sistemas informáticos

Trabalho de projecto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Software libre y sistemas de información geográfica: conceptos, definiciones y aspectos legales

This article covers some of the principal legal aspects of free and open software applied to Geographic Information Systems. Starting out form basic concepts in FOSS licensing, it aims to deal with questions such as "who is responsible for FOSS projects'", "how are they developed?", "who is the owner of the software?" and discusses the legal issues and problems that may arise during the course of creating, distributing or deploying a FOSS-based GIS

Sistemas de apoyo a la Gestión de Servicios Urbanos, basados en software libre. Web de apoyo a la campaña "Un alcorque, un árbol" del Ayuntamiento de Madrid

Tecnigral, S.L. (consultoría medioambiental) ha buscado desde su origen apoyar a los técnicos en la gestión diaria de servicios urbanos. ¿Cómo? Proporcionándoles tanto software de gestión como servicios de análisis y de control de calidad. (...)

Desarrollo de sistemas groupware basado en modelos : integración con el Proceso de Desarrollo de Software.

Resumen basado en el de la publicación

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Desenvolvimento de sistemas de informação com base em objetos de negócios : um protocolo de análise com vistas à reutilização de software

O objetivo da pesquisa atém-se primeiramente em elaborar um protocolo que permita analisar, por meio de um conjunto de indicadores, o processo de reutilização de software no desenvolvimento de sistemas de informação modelando objetos de negócios. O protocolo concebido compõe-se de um modelo analítico e de grades de análise, a serem empregadas na classificação e tabulação dos dados obtidos empiricamente. Com vistas à validação inicial do protocolo de análise, realiza-se um estudo de caso. A investigação ocorre num dos primeiros e, no momento, maior projeto de fornecimento de elementos de software reutilizáveis destinados a negócios, o IBM SANFRANCISCO, bem como no primeiro projeto desenvolvido no Brasil com base no por ele disponibilizado, o sistema Apontamento Universal de Horas (TIME SHEET System). Quanto à aplicabilidade do protocolo na prática, este se mostra abrangente e adequado à compreensão do processo. Quanto aos resultados do estudo de caso, a análise dos dados revela uma situação em que as expectativas (dos pesquisadores) de reutilização de elementos de software orientadas a negócio eram superiores ao observado. Houve, entretanto, reutilização de elementos de baixo nível, que forneceram a infra-estrutura necessária para o desenvolvimento do projeto. Os resultados contextualizados diante das expectativas de reutilização (dos desenvolvedores) são positivos, na medida em que houve benefícios metodológicos e tecnológicos decorrentes da parceria realizada. Por outro lado, constatam-se alguns aspectos restritivos para o desenvolvedor de aplicativos, em virtude de escolhas arbitrárias realizadas pelo provedor de elementos reutilizáveis.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Suporte à reengenharia de processos e negócios com base em sistemas de workflow

O mundo globalizado de hoje conduz as organizações a buscarem, cada vez mais, a Reengenharia de Processos de Negócio ou BPR – Business Process Reengineering como uma solução para se manterem competitivas em seus respectivos mercados. Uma das tecnologias de informação que aparece como habilitadora da BPR é a tecnologia de Workflow (fluxos de trabalho), onde os WfMS – Workflow Management Systems ou Sistemas de Gerenciamento de Workflow, através de metodologias e software, facilitam a transformação que está sendo exigida às empresas para se manterem competitivas. Existem, atualmente, muitos estudos sobre WfMS, o que evidência esta como sendo uma área bastante próspera e em desenvolvimento. Apesar de existirem diversos WfMS comerciais com ferramentas para dar suporte à modelagem e, posterior, reengenharia dos processos de negócio, os recursos fornecidos para a reengenharia de processos que são voltados para a análise, teste e monitoramento de workflow, não levam em consideração os mecanismos de coordenação de atividades, inerentes à estrutura organizacional existente. Busca-se, através deste trabalho, estudar o problema do processo de reengenharia e da otimização de processos, a partir da análise de (sub)processos de WfMS, considerando alguns aspetos estruturais das organizações. Neste contexto, o objetivo deste trabalho é identificar e descrever, de forma sistemática, o relacionamento existente entre (sub)processos de workflow e mecanismos de coordenação de atividades. Com isso, pretende-se que com os resultados obtidos possam ser utilizados como ponto de partida para o desenvolvimento de um sistema automatizado para auxiliar na reengenharia de processos com base em WfMS.