On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

A construção de um currículo de project-based learning: o currículo ideal e o currículo formal

O objetivo deste trabalho é apresentar os resultados da análise das concepções de dois protagonistas de uma reforma curricular que está sendo implementada numa escola de engenharia. A principal característica do novo currículo é o uso de projetos e oficinas como atividades complementares a serem realizadas pelos estudantes. As atividades complementares acontecerão em paralelo ao trabalho realizado nas disciplinas sem que haja uma relação de interdisciplinaridade. O novo currículo está sendo implantado desde fevereiro de 2015. Segundo Pacheco (2005) há dois momentos, dentre outros, no processo de mudança curricular, o currículo “ideal”, determinado por dimensões epistemológica, política, econômica, ideológica, técnica, estética, e histórica e, que recebe influência direta daquele que idealiza e cria o novo currículo e, o currículo “formal” que se traduz na prática implementada na escola. São essas duas etapas estudadas nesta pesquisa. Para isso serão considerados como fontes de dados dois protagonistas, um mais ligado à concepção do currículo e outro da sua implementação, a partir dos quais se busca compreender as motivações, crenças e percepções que, por sua vez, determinam a reforma curricular. Entrevistas semiestruturadas foram utilizadas como técnica de pesquisa, com o propósito de se entender a gênese da proposta e as mudanças entre essas duas etapas. Os dados revelam que mudanças aconteceram desde a idealização até a formalização do currículo, motivadas por demandas do processo de implementação, revela ainda diferenças na visão de currículo e a motivação para romper com padrões na formação de engenheiros no Brasil.

A avaliação institucional como instrumento de racionalização e o retorno à escola como organização formal

O papel central da avaliação, da avaliação institucional e dos processos de garantia da qualidade de escolas e universidades nas políticas educacionais é objeto de discussão, também considerando a reforma do Estado. As teorias da nova gestão pública e as perspectivas gestionárias são consideradas como algumas das principais fontes de inspiração e de legitimação no contexto dominante de uma educação contábil. Dados empíricos preliminares resultantes do processo de avaliação externa de escolas básicas e secundárias portuguesas são apresentados e interpretados de acordo com os principais conceitos e representações organizacionais de escola presentes nos relatórios externos. Examinando algumas das imagens e dos significados de escola, cultura de escola, autonomia, objetivos, liderança e eficácia presentes nos relatórios de avaliação, o autor releva a importância das imagens formais, racionais e burocráticas de escolas. Várias questões de investigação são apresentadas tendo por base aquilo a que o autor chama o processo da hiperburocratização das organizações educativas. Algumas dimensões do conceito de burocracia de Max Weber são revisitadas, em articulação com perspectivas neocientíficas de garantia da qualidade e com as tecnologias da informação e comunicação. O autor sugere que maior relevância deve ser atribuída aos modelos formais e racionais de interpretação das organizações educativas, pois os processos de avaliação e de garantia da qualidade estão a contribuir para a formalização de escolas e universidades e para a intensificação do seu processo de racionalização, isto é, para a emergência de uma imagem analítica das escolas como hiperburocracias.

Infância escolarizada – corpos confinados

Problematizar a relação infância-criança-corpo e brincadeira é uma necessidade inadiável para os que assumem o compromisso com a emergência da voz e com a afirmação da cidadania de uma a categoria social estrutural (QVORTRUP, 2001), que permanece como “rebanho” no imaginário de uma cultura entrópica. Reter em zona periférica uma das estruturas vitais à própria composição social faz-se um fator de auto-limitação civilizacional. O brincar, um direito da infância, sem nunca ter sido, no contexto da educação formal, é alvo autorizado de uma ação invasiva e, orientada por decisões de uma geração que não mais o protagoniza, entretanto sobre ele insiste em legislar. Tolerado, enquanto um mal necessário, pela benevolência educativa – e até certo ponto -, encolhe no currículo da escola de educação da infância. Reiterado, através de práticas educativas da geração profissionalizada nas funções de ensinar, como manifestação anômala ao contexto das aprendizagens formais, é rapidamente percebido, pela categoria social geracional mais nova, como espaço-tempo transgressor. O desafio de interrogar as políticas públicas para a educação ou o modelo de escola que representa a vigência de um Estado de bem estar social, deflagra a percepção de uma crise que penetra, com força avassaladora, o campo da educação da infância. Essa consciência deve suscitar o desejo de ousar pensar para além de um modelo de escola que veicula de forma homogênea a cultura hegemônica e, desconsidera as culturas “não legítimas”. (LAHIRE, 2006). A apropriação da autonomia de uma categoria social em nome da sua redenção naturaliza a lógica do “rebanho” dependente de um “agente emancipador” ou de um “pastor” a preceituar sobre sua soberania. Desta legitimação não precisa a infância.

Saber cooperar para saber aprender: contributos da aprendizagem cooperativa na promoção de competências sociais e no sucesso educativo através do desenvolvimento de um projeto curricular integrado

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico

Hand gesture recognition system based in computer vision and machine learning

"Lecture notes in computational vision and biomechanics series, ISSN 2212-9391, vol. 19"

À descoberta do livro-brinquedo: objetos e práticas de promoção do gosto pelo livro e pela leitura em contexto de jardim de infância

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico

A trust model for cloud computing environment

This paper presents a proposal for a management model based on reliability requirements concerning Cloud Computing (CC). The proposal was based on a literature review focused on the problems, challenges and underway studies related to the safety and reliability of Information Systems (IS) in this technological environment. This literature review examined the existing obstacles and challenges from the point of view of respected authors on the subject. The main issues are addressed and structured as a model, called "Trust Model for Cloud Computing environment". This is a proactive proposal that purposes to organize and discuss management solutions for the CC environment, aiming improved reliability of the IS applications operation, for both providers and their customers. On the other hand and central to trust, one of the CC challenges is the development of models for mutual audit management agreements, so that a formal relationship can be established involving the relevant legal responsibilities. To establish and control the appropriate contractual requirements, it is necessary to adopt technologies that can collect the data needed to inform risk decisions, such as access usage, security controls, location and other references related to the use of the service. In this process, the cloud service providers and consumers themselves must have metrics and controls to support cloud-use management in compliance with the SLAs agreed between the parties. The organization of these studies and its dissemination in the market as a conceptual model that is able to establish parameters to regulate a reliable relation between provider and user of IT services in CC environment is an interesting instrument to guide providers, developers and users in order to provide services and secure and reliable applications.

Escola, democracia e autonomia: uma análise das políticas e práticas no cotidiano escolar

Tese de Doutoramento em Ciências da Educação - Especialidade em Política Educativa

A relational algebra approach to ETL modeling

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

Avaliação de programas de inovação: a importância dos impactos indiretos

Programa Doutoral em Engenharia Industrial e de Sistemas

Enteroscopia por cápsula e doença de Crohn: Caminhos para a otimização

Tese de Doutoramento em Medicina

Uma ontologia para os processos de negócio da Administração

O órgão coordenador da política arquivística portuguesa promoveu a constituição de uma Lista consolidada (LC) de processos de processos de negócio da Administração Pública (AP). Esta lista de natureza incremental e colaborativa foi desenvolvida a partir da identificação de uma macroestrutura representativa das funções exercidas pela AP, a Macroestrutura Funcional (MEF). Concretizado este produto e colocado à disposição da comunidade, na página oficial da Direção-Geral do Livro, dos Arquivos e das Bibliotecas (DGLAB), importa potenciar a sua aplicabilidade. Neste sentido, encontra-se em curso um projeto que envolve os autores, em contexto universitário, orientado para o desenvolvimento de um vocabulário formal, um modelo de dados que represente este conjunto de conceitos referentes aos processos de negócio e aos relacionamentos entre eles. Pretende-se que esta ontologia possa vir a ser disponibilizada em listas ou diretórios de ontologias com mecanismos de pesquisa (bibliotecas de ontologias) de modo a incrementar a sua utilização na websemântica, para além da sua utilização como esquema de classificação em sistemas eletrónicos de gestão de arquivos (SEGA), businesse intelligence systems e sistemas de gestão do conhecimento. Com esta comunicação pretende-se dar a conhecer à comunidade de profissionais um projeto de aplicação transversal para todas as entidades públicas e para as empresas com interesse na área.

Da gestão da informação à gestão do conhecimento: uma proposta para a e-Administração em Portugal

O trabalho proposto tem como objetivo apresentar um projeto de elaboração de um sistema de informação que visa gerir o desenvolvimento de uma ontologia promovida pelo organismo de coordenação da política arquivística para a classificação e avaliação da informação na Administração Central e Local, em Portugal. Entre os produtos propostos a partir do referido sistema, conta-se um website no qual é possível consultar toda a informação contida na ontologia, bem como descarregar versões da mesma, com níveis diferentes de semântica. A referida ontologia foi promovida pelo órgão coordenador da política arquivística portuguesa, e tem por base uma Lista consolidada (LC) de processos de processos de negócio da Administração Pública (AP). Esta lista de natureza incremental e colaborativa foi desenvolvida a partir da identificação de uma macroestrutura representativa das funções exercidas pela AP, a Macroestrutura Funcional (MEF). Concretizado este produto e colocado à disposição da comunidade, na página oficial da Direção-Geral do Livro, dos Arquivos e das Bibliotecas (DGLAB), importa potenciar a sua aplicabilidade. Neste sentido, encontra-se em curso um projeto que envolve os autores, em contexto universitário, orientado para o desenvolvimento de um vocabulário formal, um modelo de dados que represente este conjunto de conceitos referentes aos processos de negócio e aos relacionamentos entre eles. Pretende-se que esta ontologia possa vir a ser disponibilizada em listas ou diretórios de ontologias com mecanismos de pesquisa (bibliotecas de ontologias) de modo a incrementar a sua utilização na web semântica, para além da sua utilização como esquema de classificação em sistemas eletrónicos de gestão de arquivos (SEGA), businesse intelligence systems e sistemas de gestão do conhecimento. Com esta comunicação pretende-se dar a conhecer à comunidade de profissionais um projeto de aplicação transversal para todas as entidades públicas e para as empresas com interesse na área.

A violência sexual e de género nos campos de população refugiada: análise e enquadramento legal

Dissertação de mestrado em Direitos Humanos