Ukraine, EU and Russia: soft power versus Realpolitik?

The relationship between the European Union (EU) and Ukraine began in 1998 with the signature of the Partnership and Cooperation Agreement. Afterwards, in 2003 Ukraine joined the European Neighbourhood Policy and in 2004 EU was already the major trade partner with Ukraine, bigger than Russia. Anticipating the approach of former soviet republics towards Euro Atlantic structures and the foreseen loss of influence in its near abroad, Putin’s Russia launched in 2011 the Eurasian Economic Union, an economic bloc formed by some of the Russia’s former satellite States - Belarus and Kazakhstan – and through a carrot and stick policy tried to attract also Ukraine and Kyrgyzstan, in order to thwart the Chinese economic development and to impose itself in the regional and global markets. In November 2013, during the 3rd EU’s Eastern Partnership Summit, in Vilnius, Lithuania, Ukraine’s President, Viktor Yanukovych surprised the world refusing to sign the Commercial Agreement with EU, turning back to a EU possible integration. On the other hand, Russia offered to reduce the natural gas rates plus a fifteen billion dollars loan, throwing Ukraine in a quasi civil war, and leaving EU and Russia on opposite sides. Considering this situation what to expect from Ukraine? To continue being a Russian satellite or head towards the Euro Atlantic geopolitical space? This paper intents to analyse the actual situation in Ukraine following Barry Buzan’s approach of multidimensional security, focusing on the different postures assumed by each one of the actors - EU and Russia - which have been between complementarity and division. The scope of the analysis is to contribute to the academic debate about security dynamics between EU, Russia and Ukraine during the post-USSR period, arguing that in the geopolitical dispute for the post-soviet space where Ukraine is integrated, the Russian Realpolitik prevails the EU soft power

Is Ambient Intelligence a truly Human-Centric Paradigm in Industry? Current Research and Application Scenario

The use of pervasive networked devices is nowadays a reality in the service sector. It impacts almost all aspects of our daily lives, although most times we are not aware of its influence. This is a fundamental characteristic of the concept of Ambient Intelligence (AmI). Ambient Intelligence aims to change the form of human-computer interaction, focusing on the user needs so they can interact in a more seamless way, with emphasis on greater user-friendliness. The idea of recognizing people and their context situation is not new and has been successfully applied with limitations, for instance, in the health and military sectors. However its appearance in the manufacturing industry has been elusive. Could the concept of AmI turn the current shop floor into a truly human centric environment enabling comprehensive reaction to human presence and action? In this article an AmI scenario is presented and detailed with applications in human’s integrity and safety.Ambient Intelligence, networks, human-computer interaction

Pricing of Reverse Mortgages : an application exercise to the portuguese market : does it make sense?

Pricing Reverse Mortgages (RM) is particularly challenging for loan providers, especially due to the uncertainty related with termination timing and the volatility of economic variables such as interest rates and house prices. When a no negative equity guarantee is offered, as Reverse Mortgages do, these variables are the ones that most significantly impact the size of the losses and the timing on termination for the lenders. This Master Thesis studies the risks that a lenders faces when providing this type of loan and the pricing of RMs applied to the Portuguese case, by estimating the house price and the required reverse mortgage interest rate when considering a RM annuity and a RM lump sum

Anthropometric data analytics: a portuguese case study

Tese de mestrado em Bioinformática e Biologia Computacional, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2017Durante o período neonatal, para produzir corretamente um diagnóstico patológico e permitir assim uma reposta adequada, é imperativo realizar uma rigorosa estimação acerca da idade gestacional do feto. Esta previsão é aplicada como ferramenta essencial para o aconselhamento parental de modo a providenciar um plano de cuidados perinatais apropriado. Durante uma autópsia fetal, a idade gestacional é uma variável a ter em consideração, particularmente utilizada aquando de situações de terminação de gravidez medicamente assistida e/ou infanticídios. No nosso caso, foram colecionadas observações representativas da população Portuguesa da região Centro-Sul de Portugal através do procedimento de várias autópsias fetais, provenientes do Hospital de Egas Moniz (CHLO – Centro Hospitalar de Lisboa Ocidental). Desde há vários anos que o sector de fetopatologia deste hospital tem vindo a analisar e avaliar os casos de mortalidade fetal pertencentes à região Centro-Sul de Portugal. Cada caso de autópsia fetal produz um relatório representativo das medidas e pesos associados ao indivíduo em causa, entre outras informações médicas relevantes; após a sua conclusão, cada relatório é arquivado num dossier (organizado cronologicamente). Este tipo de processamento e armazenamento de informação não proporciona um acesso direto nem estruturado aos valores antropométricos específicos previamente registados, derivados de relatórios médicos elaborados durante um ou mais procedimentos de autópsia fetal. Cada relatório arquivado é, então, tido em consideração como independente de todos os outros casos, tornando trabalhoso e demorado qualquer abordagem ao estudo do seu conteúdo. Para enfrentar este desafio primário, foi necessário desenvolver uma base de dados, assim como toda a metodologia relacionada com a inserção de dados na mesma. Neste presente estudo, um banco de dados nada mais é senão um depósito seguro para informação, servindo o propósito de acomodar estruturalmente dados. Foram registados 24 parâmetros fetais para cada caso individual, incluindo idade gestacional e medições de distâncias e pesos de características antropométricas e órgãos, respetivamente. Obtidas de acordo com o protocolo em vigor, segue a exaustiva lista de medições fetais registadas em cada autópsia: idade gestacional, comprimento total, comprimento craniocaudal, perímetro cefálico, perímetro torácico, perímetro abdominal, comprimento de pé, comprimento da mão, comprimento do dedo médio, distância intercomissural, comprimento do filtro, distância entre os cantos internos, distância entre os cantos externos, comprimento da fenda palpebral esquerda, comprimento da fenda palpebral direita, comprimento do pavilhão auricular esquerdo, comprimento do pavilhão auricular direito, peso corporal, peso dos rins, peso do timo, peso do baço, peso do fígado, peso dos pulmões, e peso doas glândulas suprarrenais. Órgãos emparelhados (pulmões, por exemplo) são representados pelo seu peso combinado. Como unidades, são utilizadas semanas (idade gestacional), centímetros (comprimentos e distâncias), e gramas (pesos). Foi gerado código base para produzir programas capazes de criar e interagir com o construto. Após estipular a estrutura da base de dados, todos os processos de inserção e consulta de informação são geridos por algoritmos especificamente engendrados de modo a prevenir a adulteração não propositada dos dados registados. A linguagem de programação adotada foi Python, versão 2.7 devido às suas bibliotecas (notavelmente: SQLite3, NumPy, e SciPy) e por ser uma linguagem multiparadigmática. A estrutura da base de dados é simples, apesar de relacional. É constituída por uma tabela em que linhas e colunas representam, respetivamente, os indivíduos e os valores dos seus parâmetros fetais registados durante a autópsia (incluindo uma chave primária). Assim, cada linha é representativa de um relatório de autópsia fetal, com a sua própria identidade, e medidas e pesos associados. Tal como a nossa base de dados, simples é também o mecanismo de inserção de dados. Todos os relatórios escritos tiveram de ter a sua informação transferida para o formato digital. Para esse efeito, foi desenvolvido um programa de apoio à inserção de dados. Aquando da sua execução, surge uma interface compreensível que solicita iterativamente ao utilizador os valores registados de cada variável de um relatório de autópsia fetal. Assim que todos os campos estejam preenchidos, a informação recolhida é automaticamente inserida na base de dados, simbolizando um indivíduo e os seus respetivos atributos. Uma vez preenchida a base de dados com toda a informação necessária, é possível propor uma análise adequada. Na totalidade, recolhemos a informação referente a 450 fetos entre as 13 e as 42 semanas de idade (gestacional). Para o devido efeito, a manipulação de informação foi executada utilizando objetos abstratos baseados em tabelas de dispersão (Python) e SPSS. Este trabalho procurou abordar a precisão de diferentes parâmetros fetais em termos de estimação da idade gestacional, fazendo uso de técnicas de regressão e análise em componentes principais (ACP). Na computação dos 2 modelos de regressão linear múltipla, foram utilizados algoritmos específicos de retenção de variáveis baseados na análise de variância (estatística-F). Enquanto ACP e regressões múltiplas foram processadas em SPSS, regressões polinomiais foram executadas em Python. Para cada uma das 23 variáveis (referente a todos os parâmetros fetais selecionados com a exceção de idade gestacional), foram calculadas regressões polinomiais de grau k, k ∈ {1, 2, 3, 4, 5}, derivadas de cada conjunto de pares de pontos variável-idade. Para todas as regressões, múltiplas e polinomiais, os valores de R2 (coeficiente de determinação) foram registados com um valor-p significativo contra a hipótese nula de que os coeficientes estimados de cada parâmetro são iguais zero. Os modelos de regressão foram comparados entre si, com base na proporção de variância da variável dependente (idade gestacional) previsível pela(s) variável(eis) independente(s), isto é, o erro associado a cada modelo (soma do quadrado dos resíduos). Tendo sido estabelecido um nível de significância de α = 0.05, cada modelo de regressão linear múltipla foi comparado a cada um dos outros modelos de regressão (polinomial e linear múltipla); modelos polinomiais foram comparados a outros modelos derivados do mesmo tipo de regressão se e só se partilhassem o mesmo grau k. Relativamente à ACP (com um índice de KMO de 0.972 e um valor de significância próximo de 0 para a homocedasticidade), a proporção de variância partilhada entre cada variável (comunalidade) apresentou maior valor para as variáveis comprimento total, comprimento craniocaudal, comprimento do pé. Associativamente, o único componente principal retido (com valor próprio maior ou igual a 1) apresenta valores de correlação maiores entre esses mesmos parâmetros originais (loadings) do que com qualquer outra variável. Podemos colocar a hipótese, então, de que essas variáveis sejam consideradas possíveis marcadores de desenvolvimento (preditores confiáveis de idade gestacional). De acordo com os algoritmos de seleção de variáveis (SPSS) utilizados para a computação de regressões lineares múltiplas, foram criados 2 modelos explicativos de idade gestacional. Estes modelos apresentaram valores de coeficiente de determinação semelhantes (R2 ≈ 0.953), assim como valores de teste Durbin-Watson adequados. As variáveis retidas apresentadas pelos 2 algoritmos foram semelhantes entre si, exceto para as variáveis representativas de comprimentos total e craniocaudal, que se verificaram como sendo mutualmente exclusivas. Em ambos os modelos, as variáveis selecionadas foram, em ordem decrescente de pesos-β: peso corporal (β ≈ 0.393), comprimento do pé (β ≈ 0.347), comprimento total (β ≈ 0.266), comprimento craniocaudal (β ≈ 0.199), pavilhão auricular esquerdo (β ≈ 0.16), peso dos pulmões, e peso das glândulas suprarrenais. Para as últimas duas variáveis mencionadas, o valor absoluto do peso-β foi menor ou igual a 0.1. Através de comparações entre modelos polinomiais foi possível estabelecer um sistema de classificação para variáveis ou grupos de variáveis, indicativa da qualidade de cada variável (associada a um grau de polinómio) em estimar, de acordo com os nossos dados, a idade gestacional. O grupo de variáveis com maior valor para o coeficiente de determinação, para cada grau polinomial, conteve sempre as variáveis comprimento total, comprimento craniocaudal, e comprimento do pé. De entre todas as regressões, comprimentos total, craniocaudal, e do pé estão constantemente presentes nos grupos de melhores previsores de idade gestacional. Mediante o tipo de regressão aplicada, o peso corporal e o comprimento da mão são também variáveis pertencentes à categoria preditiva anterior.Large amounts of information are systematically generated throughout the course of scientific research and progress. In our case, observations representing the Portuguese population within the central-southern region of Portugal were collected throughout various foetal autopsy procedures. Gestational age (GA) and measured distances and weights of numerous anthropometric features and organs, respectively, were recorded per singleton (24 variables in total). This work seeks to elaborate on the accuracy of different foetal parameters in terms of GA estimation, making use of principal component analysis (PCA) and regression techniques. We created a dataset of 450 foetuses, ranging from 13 to 42 weeks of age, to compute both PCA and regression models. Initial exploratory analysis shed light onto which variables are most explanatory in terms of foetal development, and are thus most likely suitable for predictive rolls. We produced clusters of models, based on coefficient of determination values (R2), by comparing the squared sum of residuals between models (significance level α = 0.05). Models comprised of linear combinations of different variables exhibited significantly higher values of R2 (p-value ≤ 0.05) when compared to single variable models. Multiple linear regression models, however, did not exhibit the same statistical significance when compared internally. Across all regression models (both polynomial and multiple linear), crown-heel length (CHL), crown-rump length (CRL), and foot length (FL) are constantly present within the cluster of best predictors of GA. Depending on the type of regression analysis applied, body weight (Body), hand length (HL) also fall onto the same category. Consistent with previously peer-reviewed work, variables such as CHL, CRL, and FL are found to be the most reliable sources of information for estimating developmental age. In cases where such measurements are impossible to obtain, other foetal features can be utilized (although less reliable) such as HL, HC, body weight, and ear length

The merger of Total Portugal and CEPSA

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and EconomicsThe main objective of the case is to understand the rationale of the merger between Total Portugal and CEPSA Portugal, with special focus in the motivations and integration process. The project is divided in two parts. In the first part the case is presented through an overview of the companies and the oil industry, description of the merger, motivations and integration process. The second part is related to the discussion of the topics employing the findings of the literature review related with M&A’s, and it addresses the following topics: synergies, integration, and performance and consequences

Production of membranes for filtration of biomolecules

Plasmids are autonomously replicating entities that can be found in all bacterial species and contribute for bacterial adaption and evolution. The demand of highly purified biomolecules has triggered the development of new separation technologies. Herein, plasmid DNA (pDNA) purification process has been extensively investigated, in order to obtain highly purified molecules for gene therapy applications and DNA (deoxyribonucleic acid) vaccines. The purification of plasmid DNA is currently performed by different techniques, namely chromatography (anion-exchange, hydrophobic interaction, reversed phase, affinity and sizeexclusion), enzymatic and membrane processes. Membrane technology is a broad and highly interdisciplinary field, where process engineering, material science and chemistry meet to produce membranes that have a wide range of applications, such as water, biomolecules and plasmid DNA purification. Furthermore, membrane systems take advantage of their selectivity, high surface-area-per-unit-volume. Herein, the main goal was to produce membrane systems - electrospinning membranes: poly ε-caprolactone, polyethylene oxide and k-carrageenan; modified-nylon membranes: nylon membrane impregnated with agarose - in order to perform microfiltration and ultrafiltration processes, respectively. The produced membranes were characterized by Scanning Electron Microscopy, Attenuated Total Reflectance-Fourier Transform Infrared Spectroscopy and Energy Dispersive Spectroscopy. The water contact angles were also determined and the results obtained showed that the produced membranes presented a hydrophilic character, which is in agreement with the date previously described in literature. Porosity studies were also performed and the results demonstrated that the electrospun membranes have porosity around to 80% and the modified-nylon membranes have porosities of approximately 40%. These values can be considered to be very high, when comparing these membranes to conventional microfiltration and ultrafiltration membranes produced by phase inversion. The plasmid DNA rejection was determined on the membranes produced and the experimental results showed that the modified-nylon membrane presented rejection values up to 100%, depending on the imposed permeate flux, which is an attractive feature for its application on plasmid DNA purification by ultrafiltration. In respect to the electrospun membranes produced the observed rejections were found to be lower, up to 30%, which demonstrates that this membranes need to be optimized or modified (post-synthesis modification).Os plasmídeos são entidades auto-replicantes que podem ser encontrados em todas as espécies de bactérias e que têm um papel fundamental na adaptação e evolução das bactérias. A necessidade de obter biomoléculas com um elevado grau de pureza desencadeou o desenvolvimento de novas técnicas de separação. Os processos de optimização da purificação de ADN plasmídico têm sido estudados exaustivamente, para que estes possam ser usados em aplicações de terapia génica ou em vacinas de ADN (ácido desoxirribonucleico). A purificação do ADN plasmídico tem sido realizada usando, nomeadamente a tecnologia de membranas. A tecnologia de membranas abrange uma vasta área do conhecimento, altamente interdisciplinar, onde engenharia de processos, a ciência dos materiais e a química permitem a produção de membranas aplicadas em diferentes áreas, tais como purificação de águas, biomoléculas e de ADN plasmídico, entre muitas outras. Os sistemas de separação com membranas caracterizam-se por oferecer geralmente elevada selectividade nas separações, elevadas áreas superficiais por unidade de volume do equipamento; e oferecem a possibilidade de controlar o nível de contacto e/ou mistura entre duas fases. O presente estudo teve como objectivo produzir membranas de micro e ultrafiltração para purificação de ADN plasmídico - membranas de electrospinning: poli ε-caprolactona, óxido de polietileno e k-carragenano; membranas de nylon modificadas: membrana nylon impregnada com agarose. As membranas produzidas foram caracterizadas por Microscopia Electrónica de Varrimento, Espectroscopia de Infravermelho com Transformada de Fourier Atenuada e Espectroscopia de Raio X por Dispersão de Energia. Os ângulos de contacto com água também foram determinados e os resultados obtidos mostraram que as membranas produzidas apresentam caracter hidrofílico. Estudos de porosidade foram igualmente efectuados e os resultados demonstraram que as membranas produzidas por electrospinning têm porosidades próximas de 80% e a membrana de nylon modificada tem uma porosidade próxima de 40%. Estes valores podem ser considerados bastante elevados, se os compararmos com valores típicos de membranas de microfiltração e ultrafiltração convencionais, produzidas por inversão de fase. A rejeição de ADN plasmídico foi determinada para ambas as membranas. Os valores obtidos mostraram que a membrana de nylon modificada apresentou valores de rejeição até 100%, dependendo do fluxo de permeação imposto, o que é uma característica promissora para a sua aplicação em purificação de ADN plasmídico por ultrafiltração. Relativamente às membranas produzidas por electrospinning a rejeição foi menor, apenas até 30%, o que demonstra que estas membranas precisam ser optimizadas ou eventualmente modificadas (modificação por síntese)

Influence of Social Media Influencers, Attitudes Toward Luxury Counterfeits, and Self-Gift-Giving on Luxury Purchase Intention

Dissertation presented as the partial requirement for obtaining a Master's degree in Data Driven Marketing, specialization in Digital Marketing and AnalyticsThis study focused on the luxury sector and aimed to understand the relationship between four key variables: motivation to follow social media influencers, attitude toward luxury counterfeits, luxury purchase intention, and self-gift-giving. Using Structural Equation Modeling, it was possible to analyze data from an online questionnaire, which included 204 respondents, and relevant conclusions were drawn. Consumers that are more motivated to follow social media influencers because of their perceived power are more likely to develop a positive attitude toward luxury counterfeiting. Additionally, consumers with a favorable attitude towards counterfeit luxury goods do not experience less satisfaction when self-gifting. The intention to purchase luxury products acts as a mediator between the attitude towards counterfeit luxury goods and the act of self-gift-giving. This means that the intention to purchase luxury goods impacts the relationship between the perception of counterfeit luxury goods and the act of self-gifting. Consumers with a positive attitude towards luxury counterfeits are more likely to purchase genuine luxury goods. The same is true of self-gift-giving: consumers with a higher intention to buy authentic luxury goods are more likely to self-gift. The conclusions found in this study add value to previously established findings regarding the luxury sector and consumer behavior

Métodos de melhoria da disponibilidade e da resiliência a desastres em redes de telecomunicações

In current societies, telecommunication networks are one of its essential components, in which different services depend on. Critical service requires these networks to provide high levels of availability between their nodes and high levels of resilient to large-scale natural disasters, either by avoiding them or quickly recover from them. Different techniques can be used to reach these goals. In this dissertation, it is considered the use of geodiversity routing to reduce the impact of large-scale disasters, with the downside of utilizing longer paths which, in turn, reduces the resulting end-to-end availability. This downside can be corrected if the availability of some network elements are upgraded so that the availability required by critical services is met, while maintaining the geodiversity required to prevent the impact of disasters. In this dissertation, different upgrade strategies are implemented to efficiently identify the network elements required to be upgraded, so that the network can provide critical services with high availability and high resilience to natural disasters.As redes de telecomunicações são um dos componentes essenciais na atual sociedade, no qual vários serviços dependem da sua funcionalidade para operarem eficientemente. O suporte de serviços críticos exige que as redes ofereçam altos níveis de disponibilidade entre os seus nós e sejam altamente resilientes a desastres de larga escala, tais como os provocados por fenómenos naturais (tremores de terra, tsunamis, etc.). Algumas técnicas podem ser implementadas para atingir estes objetivos. Nesta dissertação, considera-se o uso de encaminhamento com geodiversidade para reduzir o impacto de desastres de larga escala, com a desvantagem de exigir percursos de encaminhamento mais longos, reduzindo a disponibilidade resultante entre os nós origem-destino do encaminhamento. Assim, para obter simultaneamente alta disponibilidade e alta resiliência a desastres, é necessário melhorar a disponibilidade em alguns elementos da rede. Nesta dissertação são introduzidas diferentes estratégias para identificar eficazmente os elementos da rede que precisam de ser melhorados em termos de disponibilidade, para que a rede suporte os requisitos de disponibilidade e resiliência a desastres requeridos por serviços críticos.Mestrado em Engenharia Informátic

Public Policy for Sustainability and Retail Resilience in Lisbon City Center

International organizations, public authorities and researchers have increasingly been concerned with urban resilience and sustainability. We focus on the triangle retail, urban resilience and city sustainability, aiming to uncover how cities have coped with retail challenges to increase their resilience towards a sustainable path, highlighting the role played by public policy. The case study asks, is Central Lisbon strongly affected by processes of regeneration, touristification and gentrification, simultaneously with changes in retail. The analysis of planning and other policy documents complemented by fieldwork evidence shows a close link between public initiatives and private entrepreneurship and their impacts in the vitality of the core. The text shows that the policy outlined by local authorities to overcome the decline of the city center and to meet the aims of sustainability implies urban resilience. The transformation of retail is aligned with that vision and is supported its achievement, while the commercial fabric suffered an evolution from shopping to consumption spaces, polarized by culture and entertainment, targeting new consumers and lifestyles. However, new social and economic challenges arise due to escalating housing prices, change in retail supply, the excessive dependence of tourism and the danger of losing part of the city’s identity.info:eu-repo/semantics/publishedVersio

Invariants and Code Contracts in an Online Classroom Environment

Programming education has evolved significantly with the advent of online classroom environments, offering both advantages and challenges. This dissertation explores the integration of code contracts and invariants into programming education, with a focus on the OCaml language. The primary objective is to develop a tool that translates student-written code contracts and invariants into executable assertions, enhancing software reliability and correctness. In the pursuit of this objective, several key contributions are presented. First, an in-depth analysis of online classroom environments, highlighting the importance of addressing software reliability in this context. The Learn-OCaml platform is introduced as a valuable educational resource, offering a unique blend of contest-like challenges and comprehensive lessons. The dissertation delves into code contracts and invariants, elucidating their significance in ensuring code behaves as intended. It surveys existing code contract tools and the relevance of online classroom environments. The research demonstrates how a modified Gospel specification language can be harnessed to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining the process of translating components like preconditions, postconditions, invariants, and variants from Gospel specifications into actionable OCaml code. Limitations of the tool, especially in handling quantifiers, are acknowledged. The dissertation concludes with a summary of achievements and contributions, addressing the research problem of enhancing software reliability and correctness in online programming education. Future work is proposed, including the addition of quantifier support and the incorporation of the developed tool into the Learn-OCaml platform, fostering automated grading and assertion comparison. This work represents a significant step toward improving the quality of programming education in online classrooms, empowering students to write more reliable and correct code while offering educators enhanced tools for assessment and feedback.A educação em programação evoluiu significativamente com o surgimento de ambientes de sala de aula online, oferecendo vantagens e desafios. Esta dissertação explora a integração de contratos de código e invariantes na educação em programação, com foco na linguagem OCaml. O principal objetivo é desenvolver uma ferramenta que traduza os contratos de código e invariantes escritos pelos alunos em assertions executáveis, melhorando a confiabilidade e correção do código. Para atingir esse objetivo, são apresentadas várias contribuições-chave. Primeiramente, uma análise aprofundada dos ambientes de sala de aula online, destacando a importância de abordar a confiabilidade do software nesse contexto. A plataforma Learn-OCaml é introduzida como um recurso educacional valioso, oferecendo uma combinação única entre plataformas de concursos e Massive Open Online Courses (MOOCs). A dissertação explora os contratos de código e invariantes, elucidando a sua importância para garantir que o código se comporte conforme o previsto. Examina as ferramentas de contrato de código existentes e a relevância dos ambientes de sala de aula online. É ainda discutido como a linguagem de especificação Gospel modificada pode ser usada para integrar contratos de código em programas OCaml. A fase de implementação do projeto é detalhada, delineando o processo de tradução de componentes como précondições, póscondições, invariantes e variantes a partir de especificações do Gospel em código OCaml executável. São ainda reconhecidas as limitações da ferramenta, nomeadamente na manipulação de quantificadores. A dissertação conclui com um resumo das conquistas e contribuições, abordando o objetivo da investigação de melhorar a confiabilidade e correção do software na educação em programação online. Trabalhos futuros são propostos, incluindo o suporte a quantificadores e a incorporação da ferramenta desenvolvida na plataforma Learn-OCaml, promovendo a avaliação automatizada e a comparação de assertions. Este trabalho representa um passo significativo em direção à melhoria da qualidade da educação em programação em salas de aula online, capacitando os alunos a escreverem código mais confiável e correto, ao mesmo tempo oferecendo aos educadores ferramentas melhoradas para avaliação e feedback