Modelação de interfaces gráficas no âmbito do ProjectIT

Orientador: Alberto Manuel Rodrigues da Silva

MetaSketch OCL Interpreter

No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.

A outra face dos modelos: técnicas de visualização para explorar modelos

Os modelos são tradicionalmente utilizados na engenharia de software para documentar aspetos do desenho e, em alguns casos, como base para a geração de parte ou a totalidade dos sistemas informáticos que descrevem. Embora subsista o debate sobre este tipo de abordagens e sobre o papel e qualidades que os modelos devem possuir nesta área de engenharia, a existência de modelos que estejam em conformidade com linguagens de modelação bem definidas permite outro tipo de utilizações que vão além das anteriormente referidas. Assente no conhecimento existente sobre a visualização de dados, nesta dissertação irá ser demonstrado a utilização de técnicas de visualização que permitem extrair informação sobre os modelos numa perspetiva inovadora e que contribui favoravelmente para uma melhor compreensão, análise e validação dos mesmos.

Padrões de aleatoriedade na modelação do acaso

A soma de variáveis aleatórias com número de parcelas é aleatório, para além do evidente interesse conceptual e teórico, tem larga ressonância na investigação do processo de risco e em processos de ramificação. Reformulamos a teoria de Panjer (1981), que permite o cálculo iterativo do risco agregado, com o recurso a valores médios de uniformes, descrevendo uma extensão da classe de Panjer, e estudando em detalhe a equação funcional que a caracteriza. Aplicamos essas ideias na caracterização de aleatoriedade discreta, exemplificando com o comportamento das fêmeas de pássaros que investem na promiscuidade de parceiros para garantir a diversidade genética da progénie, tendo no entanto o cuidado de manter as aparências de fidelidade, para garantir a cooperação do parceiro no sucesso da ninhada. Apresentamos as transformadas de Laplace e funções geradoras numa perspectiva que leva a uma introdção natural de transformadas de Pareto, cuja relevância exemplificamos.

Ilustração e interpretação textual: a arte como estratégia de ensino-aprendizagem na área de linguagens e códigos

Investiguei a arte como estratégia de ensino/aprendizagem e como esta prática estabelece quebra de paradigmas e incentivo à autonomia discente. Para tanto fiz uma breve descrição histórica acerca do panorama teórico correlacionado com o percurso das inovações educacionais desde o final da Idade Média até a contemporaneidade, buscando identificar de que forma o acúmulo teórico-metodológico gerado por este itinerário influenciou na disciplina Arte/Educação e no seu potencial inovador. Observei ainda como a ilustração textual, produzida pelos educandos, funciona como veículo de reelaboração crítica de suas realidades mediata e imediata. Esta investigação teve como sujeitos alunos do nono ano do Ensino Fundamental II, no decorrer de 2011, na escola autogestionária Waldorf Micael, em Fortaleza, Ceará, Brasil. Ao longo das observações, procurei responder às seguintes questões: De que maneira a ilustração textual se configura na qualidade de mediadora de processos interpretativos no contexto de ensino/aprendizagem em arte e literatura? De que forma, ela, no contexto da sistemática pedagógica, se revela como ferramenta de inovação pedagógica? Qual a sua importância no desenvolvimento do senso crítico do educando, e como tal fato se configura inovador? Como interfere na apreensão da realidade do educando, no seu aspecto estético, político e social? Os dados da investigação foram obtidos por meio de entrevistas, análise documental e observação participante; dessa forma esta pesquisa configurou-se como qualitativa, do tipo etnográfica e de base hermenêutica.