ELO e TRI : estimando a habilidade dos estudantes em uma plataforma online de programação

Métodos de avaliação da proficiência dos estudantes vem ganhando destaque nos últimos anos. Existe um número crescente de cursos online e plataformas que disponibilizam repositórios de questões ou exercícios onde os métodos de avaliação ocorrem de forma automática. Esse trabalho faz uma análise dos dados gerados através de dois modelos que tem por objetivo estimar a habilidade dos estudantes: ELO e TRI. O ELO foi desenvolvido para classificar jogadores através do histórico de jogo enquanto a TRI estima a habilidadeatravés de um conjunto de respostas dadas a um conjunto de itens. Utilizamos uma base de dados disponibilizada por uma plataforma Online Judge do Brasil. Os resultados obtidos nos apontam diferenças entre os modelos em relação às habilidades estimadas, diferenças que acreditamos estar relacionadas à forma com que cada modelo estima os parâmetros

Um modelo de mediação pedagógica para ambientes massivos

A personalização em ambientes educacionais demanda modelos próprios. Umfator importante na mediação é apresentar objetos de aprendizagem que catalisem o aprendizado, respeitando as necessidades educacionais do estudante. Neste trabalho apresentamos um modelo de mediação amparado em um modelo pedagógico cognitivo. A ideia central do modelo é recomendar um objeto que desafie o estudante de modo adequado, sem que ele se sinta entediado com problemas semelhantes nem se desmotive ao se deparar com problemas além de sua capacidade. Utilizamos como estudo de caso um ambiente virtual de aprendizagem de programação. Os resultados apontam que, em geral, quando os estudantes escolhem problemas com ELOs mais próximos aos seus, eles têm melhores resultados

Engenharia de protocolos com transformação de especificações formais: a ferramenta tran SP

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoAnálise de abordagens de projeto baseadas em regras de transformações que visam a automatização do processo de síntese de protocolos. Uma vez aplicadas à uma especificação formal de um serviço de comunicação realizada com a Técnica de Descrição Formal LOTOS, as regras de transformação geram automaticamente, a especificação do protocolo de comunicação correspondente a esse serviço. É então apresentado um conjunto de algoritmos de transformação de especificações, que são aplicáveis a especificações de serviço para a obtenção dos protocolos correspondentes. Tais algoritmos são implementados em linguagem C++ para Windows, constituindo uma ferramenta denominada TranSP - Transformação de especificação de Serviço em especificação de Protocolo. Esta ferramenta recebe, como entrada, uma especificação de serviço monolítica e gera, como saída, as especificações de protocolo correspondentes às duas entidades de protocolo (E1 e E2), orientadas a recursos. A ferramenta TranSP é utilizada na transformação de uma parte do serviço CMISE (Common Management Information Service Element) correspondente aos serviços M-GET e M-CANCEL-GET para o protocolo CMIP (Common Management Information Protocol) correspondente