O matUTAD é uma plataforma para um jogo de matemática online, direcionado a estudantes desde o sétimo até ao décimo segundo ano de escolaridade. Considerando que na sua implementação (em 2003) foram usadas tecnologias que nos dias de hoje já se encontram em desuso para novas implementações, assim como a metodologia ad-hoc que o seu desenvolvimento seguiu ao longo dos anos, surgiu a necessidade de redesenhar a plataforma a nível estrutural e tecnológico, fornecendo assim uma aplicação bem documentada, desenvolvida com tecnologias recentes. O conceito de aplicações web responsivas também deverá fazer parte desta reestruturação de modo a permitir uma futura implementação de uma plataforma móvel. Tendo os problemas referidos anteriormente em consideração, esta dissertação tem como objetivo o desenvolvimento do Front-End para o matUTAD, começando por uma pesquisa das tecnologias que poderão ser usadas, passando de seguida para a sua implementação num protótipo funcional, baseado nos requerimentos e diagramas estruturais estabelecidos em conjunto com o projeto de desenvolvimento do respetivo Back-End.

Os cursos de Ciência da Computação estão entre os mais procurados na atualidade, porém apresentam elevados índices de evasão, em grande parte devido às dificuldades enfrentadas pelos estudantes na compreensão de determinados conteúdos, especialmente dos algoritmos de busca. Diante desse cenário, torna-se necessário explorar novas metodologias de ensino. Uma das alternativas em ascensão é o uso de jogos digitais, embora ainda existam poucos estudos que avaliem sua eficácia em cursos da área de Computação, e os trabalhos disponíveis concentram-se, em sua maioria, apenas nos fundamentos de programação. Este trabalho surge como uma proposta para mitigar tais dificuldades, por meio do desenvolvimento do Saralk, uma aplicação web que possibilita a visualização, em tempo real, da execução dos algoritmos de busca Busca em largura (BFS), Busca em profundidade (DFS), Busca Gulosa (GS) e Busca A-estrela (A*). Para isso, foram aplicadas técnicas de ludologia, o modelo ARCS de motivação e princípios de Experiência do Usuário (UX) e Interface do Usuário (UI) voltados a jogos educacionais. O jogo foi concebido de forma a permitir a compreensão teórica dos algoritmos enquanto o estudante os executa na prática, seja por meio de uma interface visual, voltada a iniciantes, ou por uma interface programática, destinada a usuários mais avançados. O Saralk foi testado com estudantes do ensino superior e também com alunos do ensino básico, demonstrando ganhos significativos na compreensão dos algoritmos. Além de apoiar estudantes e profissionais interessados em algoritmos de busca, este trabalho contribui para o campo acadêmico ao aplicar, na prática, teorias sobre jogos educacionais voltados ao ensino de Computação, ampliando as discussões sobre sua adoção como metodologia ativa de aprendizagem.

As arquiteturas de software são fundamentais para o desenvolvimento de um software fiável, escalável e com uma fácil manutenção. Com a criação e crescimento da internet, surgiu a necessidade de criar padrões de software que permitam trocar informação neste novo ambiente. O protocolo SOAP e a arquitetura REST são, dos padrões que emergiram, os que mais se destacaram ao nível da utilização. Durante as últimas décadas, e devido ao grande crescimento daWorld WideWeb, a arquitetura REST tem se destacado como a mais importante e utilizada pela comunidade. REST (Representational State Transfer) retira partido das características do protocolo HTTP para descrever as mensagens trocadas entre clientes e servidores. Os dados na arquitectura REST são representados por recursos, que são identificados por um identificador único (p.e. URI) e que podem ter várias representações (em vários formatos), que são os dados concretos de um recurso. A interação com os recursos é feita usando os métodos HTTP: get para obter um recurso, post para adicionar um novo recurso, put para fazer uma atualização de um recurso, delete para remover um recurso; entre outros, sendo estes os principais para aplicações CRUD. As aplicações RESTful, isto é, aplicações que fornecem os seus serviços através da arquitetura REST, devem ser claras na especificação dos seus serviços de forma a que os seus clientes possam utilizá-las sem erros. Para tal, existem várias linguagens de especificação de APIs REST, como a Open API Specification ou a API Blueprint, no qual é possível descrever formalmente as várias operações fornecidas pelo serviço, como o formato dos pedidos de cada operação e as respetivas respostas. No entanto, estas linguagens apresentam uma limitação nas condições formais que se pode colocar nos parâmetros dos pedidos e no impacto que estes têm no formato e conteúdo da resposta. Deste modo, foi introduzida uma nova linguagem de especificação de aplicações REST, HeadREST, onde é adicionada a expressividade necessária para cobrir as lacunas das outras linguagens. Esta expressividade é introduzida com a utilização de tipos refinados, que permitem restringir os valores de um determinado tipo. Adicionalmente, é introduzida também uma operação que permite verificar se uma determinada expressão pertence a um determinado tipo. Em HeadREST, cada operação é especificada usando uma ou mais asserções. Cada asserção é composta por um método HTTP, um URI template da operação, uma pré-condição que define as condições onde esta operação é aceite, e uma pós-condição que estabelece os resultados da operação se a pré-condição for comprida. Deste modo, estas condições permitem expressar os dados enviados nos pedidos e a receber na resposta, assim como expressar o estado do conjunto de recursos antes e depois do pedido REST. Devido à utilização de tipos refinados não é possível resolver sintaticamente a relação de subtipos na validação de uma especificação HeadREST. Deste modo, é necessária uma abordagem semântica: a relação de subtipos é transformada em fórmulas de lógica de primeira ordem, e depois é utilizado um SMT solver para resolver a formula e, consecutivamente, resolver a relação de subtipos. Por outro lado, é também importante garantir que as chamadas às APIs REST cumprem as especificações das mesmas. As linguagens de programação comuns não conseguem garantir que as chamadas a um serviço REST estão de acordo com a especificação do serviço, nomeadamente se o URL da chamada é válido e se o pedido e resposta estão bem formados ao nível dos valores enviados. Assim, um cliente só percebe se as chamadas estão bem feitas em tempo de execução. Existem poucas soluções para análise estática deste tipo de chamadas (RESType é um raro exemplo) e tendem a ser limitadas e a depender de um único tipo de linguagem de especificação. Para além disso, os clientes de serviços REST tendem a ser maioritariamente desenvolvidos em JavaScript, que possui uma fraca análise estática, o que potencializa ainda mais o problema identificado.Numa primeiro passo para tentar resolver este problema desenvolveu-se a linguagem SafeScript, que se caracteriza por ser um subconjunto do JavaScript equipado com um forte sistema de tipos. O sistema de tipos é muito expressivo graças à adição de tipos refinados e também de um operador que verifica se uma expressão pertence a um tipo. SafeScript apresenta flow typing, isto é, o tipo de uma expressão depende da sua localização no fluxo de controlo do programa. Tal como no HeadREST, não é possível realizar uma simples análise sintática para a validação de tipos. No entanto, neste caso trata-se de uma linguagem imperativa com flow typing, logo uma abordagem igual de tradução direta para um SMT solver não é trivial. Deste modo, a validação de tipos é feita traduzido o código SafeScript para a linguagem intermédia Boogie, onde as necessárias validações são traduzidas como asserções, sendo que o Boogie utiliza internamente o Z3 SMT solver para resolver semanticamente as asserções. Devido à validação semântica, o compilador de SafeScript consegue detetar estaticamente diversos erros de execução comuns, como divisão por zero ou acesso a um array fora dos seus limites, e que não conseguem ser detetados por linguagens similares, como o TypeScript. SafeScript compila para JavaScript, com o intuito de poder ser utilizado em conjunto com este. Graças ao seu expressivo sistema de tipos, o validador de programas SafeScript é também um verificador estático. A partir deste é possível provar que um programa cumpre uma determinada especificação, que pode ser descrita usando os tipos refinados. Neste trabalho destacou-se a capacidade de prova do validador de SafeScript, concretamente resolvendo alguns desafios propostos pelo Verification Benchmarks Challange. A partir do SafeScript desenvolveu-se a extensão SafeRESTScript, que adiciona pedidos REST à sintaxe do SafeScript e valida-os estaticamente de encontro a uma especificação HeadREST. Para cada chamada REST são feitas principalmente duas validações. Em primeiro lugar, é verificado se o URL é um endereço válido do serviço para o método HTTP do pedido, isto é, se existe algum triplo na especificação com o par método e URL do pedido. De seguida, e com a tradução da especificação HeadREST importada para Boogie, é verificado se as chamadas REST cumprem os triplos da especificação, nomeadamente, se as pré-condições são cumpridas então as pós-condições também se devem verificar. Por exemplo, se uma pós-condição, cuja respetiva pré-condição é verdadeira para uma determinada chamada, asserta que no corpo da resposta existe um objeto com o campo id, então um acesso a este campo no corpo da resposta é validado. Neste trabalho, como exemplo ilustrativo das capacidades da linguagem, desenvolveu-se um cliente SafeRESTScript da API REST do conhecido repositório GitHub. Ambas as linguagens possuem um compilador e editor que estão disponíveis como plug-in para o IDE Eclipse, para além de uma versão terminal. As duas linguagens possuem várias limitações, e por isso muito trabalho ainda existe pela frente. No entanto, SafeScript e SafeRESTScript não têm ambição de ser linguagens de produção, mas sim contribuir para um melhoramento da análise estática de programas e mostrar que é possível auxiliar o desenvolvimento fiável de código cliente de serviços REST.

A forte e exponencial evolução da web faz com que esta seja cada vez mais o suporte para novas aplicações devido à sua extensibilidade, simplicidade, compatibilidade e facilidade de acesso. É então natural perceber que, ao mesmo tempo que se concentram esforços para criar novas aplicações em plataformas web, existe também o esforço de normalizar, simplificar e providenciar a web de novas e melhores ferramentas de desenvolvimento, mais capazes e mais simples. Vimos isto com a evolução do HTML, do JavaScript e até mesmo do CSS. Estas tecnologias e a sua evolução têm um impacto forte na forma como as pessoas utilizam a web. Basta lembrar que não assim a tantos anos o que existiam eram páginas simples, sem estilo, sem conteúdo dinâmico e com capacidades limitadas. Nos dias de hoje já assistimos à existência de páginas HTML5 com conteúdos dinâmicos, conteúdos multimédia, gráficos compostos, efeitos visuais, etc. Todas estas capacidades foram introduzidas com novas tecnologias web que foram surgindo e foram sendo utilizadas pela sociedade, acabando por se formarem standards pelos organismos competentes. Porém, é previsível que esta evolução não se fique por aí, e constantemente vão surgindo novas tecnologias web, com novas capacidades. O WebRTC é uma destas tecnologias web que ainda se encontra em fase de desenvolvimento, estando neste momento a IETF (Internet Engeneering Task Force) e o consórcio W3C (World Wide Web Consorcium) a concentrar esforços para a normalizar, após o seu desenvolvimento ter sido iniciado pelo Google. O objetivo desta tecnologia é permitir a comunicação direta e em tempo real entre navegadores, sem necessidade de transmitir os dados através de um servidor intermédio e sem a necessidade de extensões. Com esta tecnologia é então possível que qualquer dispositivo equipado com navegador seja capaz de comunicar de forma direta com outro para transmissão de dados, seja transmissão de áudio, vídeo ou simples ficheiros. A popularidade do WebRTC tem crescido exponencialmente nos últimos três anos, prova disso é o crescente número de soluções implementadas assim como a maior compatibilidade dos navegadores para com esta tecnologia, ainda que esta não se encontre totalmente normalizada. Com esta dissertação pretende-se que seja apresentada de forma clara a tecnologia, que seja explicado o seu funcionamento, capacidades e funcionalidades. Adicionalmente à tecnologia WebRTC, são obrigatoriamente apresentadas as tecnologias adjacentes que permitem o seu funcionamento. Pretende também que se perceba o impacto que esta tecnologia pode ter no futuro do desenvolvimento de aplicações Web e na forma em como comunicamos. Em conjunto com o estudo, é também apresentada uma aplicação desenvolvida como prova de conceito onde são apresentadas e demostradas algumas das capacidades da tecnologia. Com o desenvolvimento desta aplicação pretende-se que fique mais explicito o funcionamento da tecnologia. A aplicação apresentada servirá como protótipo para outras a desenvolver a nível empresarial.

Javascript is used more and more as a programming language to develop web applications in order to increase the user experience and application interactivity. Although Javascript is a powerful technology that offers these characteristics, it is also a potential web application attack vector that can be exploited to impact the end-user, since it can be maliciously intercepted and modified. Today, web browsers act as worldwide open windows, executing, on a given user machine (computer, smartphone, tablet or any other), remote code. Therefore, it is important to ensure the trust on the execution of this remote code. This trust should be ensured at the JavaScript remote code producer, during transport and also locally before being executed on the end-user web-browser. In this paper, the authors propose and present a mechanism that allows the secure production and verification of web-applications JavaScript code. The paper also presents a set of tools that were developed to offer JavaScript code protection and ensure its trust at the production stage, but also a proxy-based mechanism that ensures end-users the un-modified nature and source validation of the remote JavaScript code prior to its execution by the end-user browser.

Jscrambler offers a product named Webpage Integrity, which actively monitors and blocks client-side behaviors of third-party scripts running in web applications. The product core is an agent that runs in the webpage, with a rules engine built into it, dictating actions the agent takes based on rules defined by the customer. Both the agent and its engine are built with JavaScript. JavaScript is a weakly-typed scripting language used all over the internet, running in almost all websites. Being a weakly-typed and extremely flexible language presents some difficulties, mainly lack of compilation-time optimization. To tackle this, it has a built-in Just-in-time compiler, which does runtime optimizations based on several heuristics, such as the number of functions executions, or the data type in its arguments. JavaScript rules engines are a tricky case of performance. Being a very flexible tool makes the code also be very flexible, accepting a multitude of arguments and data types, which leads to the Just-in-time compiler not optimizing the code to its fullest potential. This work creates a rules engine different from the ones that are freely available for JavaScript. Instead of interpreting the rules in real time by a very flexible engine, the rules are compiled into Just-in-time compilation friendly JavaScript code, which has the same functionality. Based on a realistic test model created from one of Jscrambler’s biggest customers, results show that compiling rules into JavaScript source code brings a performance boost of up to 60 times. Lastly, results show that the Just-in-time compiler does not bring any significant performance gains in a pure JavaScript rules engine with Just-in-time compilation friendly code.

O projeto descrito no presente relatório enquadra-se no âmbito dos sistemas de informação, por possuir as características de armazenamento, organização e estruturação de dados, fornecendo e facilitando o acesso a informação. Surgiu com o objetivo de apresentar uma ideia, utilizando-se a tecnologia de Radio-Frequency Identification (RFID) para identificação dos equipamentos, aprimorando assim o atual modelo de controle dos empréstimos no armazém do Departamento Acadêmico de Eletrônica (DAELN) da Universidade Tecnológica Federal do Paraná (UTFPR) que utiliza formulários de papel. Desenvolvido para uma plataforma web, o sistema contém uma base de dados criada em SQL, o servidor escrito em Node.js e para execução das páginas web foi utilizada a linguagem JavaSpript. O novo sistema focou-se na resolução das deficiências anteriores e na implantação de novas funcionalidades tais quais geração de relatórios e abate de equipamentos. Este projeto contribui com a universidade fornecendo um sistema de controlo eficaz, reduzindo a quantidade papel atualmente utilizada, proporcionado maior segurança aos equipamentos e também fornecendo informações relevantes aos seus utilizadores.

The Fourth Industrial Revolution is a new phase of the textile industry. This uprising focuses on the connectivity and automation of manual processes, forcing textile companies to look for goods that make them go beyond the archaic level of outdated methods. After contacting an engineer in the textile area, with several years of experience, the need for companies in the sector to use a technology capable of handling and storing the data inherent to their methodologies was evident. Thus, the objective of idealizing and developing a solution oriented to the needs of the company in which the textile professional worked was aligned, namely Empresa Têxtil da Maganha. This document is divided into 7 chapters, each of which has its responsibilities, in more detail, the introduction, the state of the art, the value analysis, the requirements and design analysis, the implementation, the experimentation and evaluation and the conclusion. The initial part presents the context, approach, problems and objectives, in a perspective that invites the reader to understand the theme and seek a solution. Next, the planning and technical specification are presented, showing the state of the art decisions made. The technical description in the report highlights the requirements analysis and architectural design, followed by the details of the system implementation. With the development of the textile software disappearing, a quality solution was achieved, following the standards and models described.

In the domain of web application development, JavaScript plays an important role in enhancing the productivity and interactivity of web applications. However, its flexibility and dynamic nature also introduce potential security risks. Attackers can exploit vulnerabilities in JavaScript to perform various malicious activities, such as data theft, injection attacks, and unauthorized web modifications, including data tampering. This work introduces a novel approach to enhancing the security of web applications by focusing on malicious behavior executed through client-side JavaScript. The core objective of this research is to develop a model capable of identifying anomalous behaviors caused by third-party scripts on web pages. To this end, the research conducts a comparative analysis of four distinct models: One-class SVM, Isolation Forest, Local Outlier Factor, and Autoencoders. To identify the most effective solution, these models are evaluated based on specific performance metrics, including Area Under the Curve (AUC) and F-score. The selected model is used to pinpoint irregularities indicative of potential security breaches or malicious activities. This research significantly advances the field of web application security by providing actionable insights to enhance real-time response capabilities. By addressing the growing threat posed by malicious JavaScript, this work contributes to the development of more robust security measures. The dissertation employs a multi-faceted methodology to ensure a comprehensive approach. Initially, a systematic review methodology is used for a structured and unbiased literature analysis, providing a thorough understanding of the current state of the art. The CRISP-DM framework is adopted for the development phase, facilitating continuous adaptation in response to evolving insights. A Comparative Analysis methodology rigorously evaluates different anomaly detection algorithms, ensuring their possible practical applicability in real-world scenarios. The findings demonstrate that the chosen model can effectively identify anomalies with high accuracy and minimal false positives. This research highlights the importance of integrating anomaly detection with existing Data Loss Prevention (DLP) solutions to monitor and protect sensitive data against cyber-attacks.

A medida que as tecnologias relacionadas com os sistemas autónomos progridem, a quantidade de informação obtida dos mesmos também progride. Os sensores que constituem estes sistemas estão a tornar-se progressivamente mais eficientes e a cooperação entre grupos de sensores torna-se cada vez mais complexa. Tudo isto justifica a necessidade da existência de um sistema de uso simples, o qual obtém dados de um número elevado de sensores ou grupo de sensores e os interpreta e visualiza de forma imediata. Uma solução a esta necessidade deve procurar adquirir informação providenciada por sensores associados a sistemas autónomos, seja esta informação obtida através de ficheiros de log ou através de comunicação direta através de sockets, seguida da escrita para bases de dados da informação interpretada. A ferramenta de manipulação de bases de dados, desenvolvida em Python, utiliza “MySQL” queries de forma a criar, alterar ou apagar tabelas dentro de uma base de dados, tabelas as quais serão preenchidas com os dados interpretados a partir de logs ou comunicação com sensores em tempo real, via sockets. Por outro lado, a ferramenta de visualização online, desenvolvida em HTML (Hypertext Markup Language), PHP (PHP: Hypertext Preprocessor) e JavaScript, utiliza PHP de forma a obter dados através de “MySQL” queries e utiliza gráficos e outras ferramentas visuais, disponibilizadas através de JavaScript, de forma a demonstrar os dados obtidos de forma simplificada.

A iniciação análise de circuitos elétricos durante o primeiro ano de Engenharia Eletrotécnica pode revelar-se uma tarefa desafiante. Desde a correta identificação dos Ramos, Nós e Malhas, à identificação das Leis de Kirchhoff e ainda a aplicação de teoremas de simplificação de circuitos, envolvem alguma complexidade. Num curto espaço de tempo, os alunos familiarizam-se com os simuladores de circuitos elétricos, sendo que estes lhes oferecem inicialmente uma validação para exercícios teóricos e análises experimentais, e mais tarde revelam-se fundamentais para o projeto e aperfeiçoamento de circuitos elétricos. No entanto, os simuladores tradicionais não demonstram como chegar aos resultados nem sequer as leis que os fundamentam. Assim, a presente dissertação aborda o design e implementação de uma framework de análise de circuitos elétricos – U=RIsolve – que fornece uma solução mais pedagógica para o Método das Tensões nos Nós (MTN). Este método permite obter a tensão em todos os Nós do Circuito em relação a um Nó de referência, e consequentemente a corrente em todos os Ramos. A ferramenta U=RIsolve é uma aplicação web que utiliza um modelo descritivo de um determinado circuito (netlist), gerado pelo simulador QUCS, de forma a analisar e gerar uma solução por etapas, que descreve pormenorizadamente a aplicação do MTN. Para além da aplicação, este trabalho apresenta um algoritmo robusto e abrangente, baseado no paradigma dos Supernós, capaz de resolver circuitos de qualquer complexidade, ao contrário do MTN tradicional. O algoritmo proposto fornece ainda uma lógica de execução que facilita a sua implementação em sistemas computacionais e permite obter uma solução passo a passo, completa e intuitiva.

Os sistemas de informação têm estado em constante crescimento ao longo dos anos, permitindo às empresas o estabelecimento de normas e procedimentos, que agilizam as operações empresariais. Destacam-se os sistemas de gestão de frotas, com recurso à geolocalização de veículos, permitindo administrar de forma mais eficiente as atividades das empresas. Apesar de já existirem produtos com este propósito, a verdade é que são pouco intuitivos e práticos, muitas vezes pela elevada quantidade de informação apresentada, tornando-se disfuncionais. Assim, identificou-se a necessidade de criar uma interface uniforme e intuitiva, com informação precisa e de fácil consulta, para a gestão de frotas de empresa. Para colmatar esta lacuna, surge o projeto que aqui se apresenta, constituído por uma aplicação web de gestão de frotas, que futuramente será também complemento ao produto Geocar da GISGEO. A aplicação desenvolvida corresponde a uma página web de gestão de operações das empresas, que terá a forma de uma WebTV, ou seja, o seu funcionamento é automatizado e independente da interação do utilizador. O layout utilizado é maioritariamente constituído por um mapa sobre o qual é representada a frota de veículos da empresa, os serviços agendados e os respetivos estados, os alertas de irregularidades e perigos, assim como, indicadores de eficiência associados ao funcionamento da empresa e à sua frota. Apesar do cariz automático da aplicação, esta contém ainda uma interface interativa para o administrador, de modo a permitir que este possa configurar os módulos de informação a apresentar. Com o desenvolvimento deste projeto, pode-se concluir dois aspetos relevantes. Por um lado, a importância crescente da utilização de software de georreferenciação na gestão eficiente de frotas, por outro, o valor que os serviços de geolocalização representam nas empresas. Estes aspetos vêm sendo corroborados pela crescente procura nos últimos anos, deste tipo de serviços.

As redes sociais têm cada vez mais impacto no nosso dia-a-dia, sendo esta uma peça cada vez importante na comunicação entre as pessoas em todo o mundo. As grandes empresas, nomeadamente na área de tecnologia, têm reconhecido o valor destas plataformas de comunicação, e lentamente têm vindo a adotar este conceito a nível empresarial. Por estas razões a IPBRICK criou a rede social empresarial IPBRICK.CAFE, que tem como finalidade a comunicação de trabalhadores da mesma empresa, de modo a trocarem informações, conhecimentos e ideias entre si. Possui a capacidade de comunicar pelos diferentes departamentos, trocar documentos em tempo real, diminuindo a necessidade de enviar um email, e melhorar as relações entre os colaboradores, sendo estes apenas alguns dos benefícios da adoção desta ferramenta em ambiente empresarial. As exigências dos utilizadores têm obrigado as empresas a melhorar o seu produto. Dado este motivo, achou-se necessária a criação de novas funcionalidades úteis para os utilizadores do CAFE como: a criação do calendário da empresa; a moderação de posts; a modernização da interface do CAFE, de modo a tornar mais apelativa ao utilizador. A chave para a evolução bem-sucedida do CAFE durante esta Tese passou pela combinação de várias tecnologias, como a framework, linguagens web, base de dados e ambiente de desenvolvimento.

Verification regarding integrated circuit designs is an essential step in assuring that the intent of these designs is preserved in their implementation, thus meeting their initial specifications. In this context, regression testing is used in order to assert the working order of newly introduced features in a design and assure previously implemented functionalities have not been hindered. However, regression testing often generates vasts amounts of data, including failures, calling for a process in which to appropriately categorise and prioritise these so as to enable the most effective means of fixing them. This process is known as failure triage. In this project, a developed regression infrastructure for regression running and triaging purposes is presented. This aims to surpass the limitations associated with the previous solution employed at Synopsys, which possesses an in-house nature and, consequently, involves maintenance efforts on the company’s side in order to keep its infrastructure up to date and in working order. The proposed solution involves the application of a standardised regression test execution tool in VC Execution Manager. The developed work was executed alongside this tool, where customisations regarding its user interface were performed in order to provide the same functionalities as with the previous solution. Validation aimed at the developed infrastructure was executed by means of testing the customised interface’s functionalities, upon obtained regression results stemming from regression runs completed with the Execution Manager tool.

Hoje em dia existem múltiplas aplicações multimédia na Internet, sendo comum qualquer website apresentar mais de uma forma de visualização de informação além do texto como, por exemplo: imagens, áudio, vídeo e animação. Com aumento do consumo e utilização de Smartphone e Tablets, o volume de tráfego de internet móvel tem vindo a crescer rapidamente, bem como o acesso à internet através da televisão. As aplicações web-based ganham maior relevância devido à maior partilha ou consumo de conteúdos multimédia, com ou sem edição ou manipulação da mesma, através de redes sociais, como o Facebook. Neste documento é apresentado o estudo de alternativas HTML5 e a implementação duma aplicação web-based no âmbito do Mestrado de Engenharia Informática, ramo de Sistemas Gráficos e Multimédia, no Instituto Superior Engenharia do Porto (ISEP). A aplicação tem como objetivo a edição e manipulação de imagens, tanto em desktop como em dispositivos móveis, sendo este processo exclusivamente feito no lado do cliente, ou seja, no Browser do utilizador. O servidor é usado somente para o armazenamento da aplicação. Durante o desenvolvimento do projeto foi realizado um estudo de soluções de edição e manipulação de imagem existentes no mercado, com a respetiva análise de comparação e apresentadas tecnologias Web modernas como HTML5, CSS3 e JavaScript, que permitirão desenvolver o protótipo. Posteriormente, serão apresentadas, detalhadamente, as várias fases do desenvolvimento de um protótipo, desde a análise do sistema, à apresentação do protótipo e indicação das tecnologias utilizadas. Também serão apresentados os resultados dos inquéritos efetuados a um grupo de pessoas que testaram esse protótipo. Finalmente, descrever-se-á de forma mais exaustiva, a implementação e serão apontadas dificuldades encontradas ao longo do desenvolvimento, bem como indicadas futuras melhorias a introduzir.

Na instalação do sistema de gestão de bibliotecas Koha, as bibliotecas têm de pensar como deve ser desenhado o OPAC (Catálogo de Acesso Público Online) e a importância deste na comunicação com os utilizadores. Pretende-se com este workshop dar a conhecer algumas das funcionalidades das ferramentas HTML para criar o layout do catálogo bibliográfico online, em particular a programação do OPACUserCSS, do OPACUserJS, e atualização das Notícias do Koha. Apresenta-se, também, como se pode implementar um Chatbot no Koha.

This research seeks to design and implement a WebGIS application allowing high school students to work with information related to the disciplinary competencies of the competency-teaching model, in Mexico. This paradigm assumes knowledge to be acquired through the application of new technologies and to link it with everyday life situations of students. The WebGIS provides access to maps regarding natural risks in Mexico, e.g. volcanism, seismic activities, or hurricanes; the prototype's user interface was designed with special emphasis on scholar needs for high school students.

The evolution of technology in interconnection solutions such as Networks or the Internet, have allowed many communication architectures to be born and a varied interconnectivity. Here, we present a project that relies on the mobile agent computing paradigm. A middleware using the JavaScript language that allows the execution and ability to move mobile agents through the local network and Internet. This initiative arose as a way of dealing with problems raised by the considerable amount of existing Java based mobile agents middleware, which force the installation of the Java Virtual Machine in the devices, making complicated its execution in operating systems like macOS, iOS and others non-java friendly O.S. Our middleware works steadily in all operating systems, requiring only the installation of node.js. For mobile platforms the middleware is developed using React-native that allows it to run on mobile operating systems such as Android and iOS.

The evolution of technology in interconnection solutions, such as networks or the Internet, and the emergence both of wireless sensors networks and distributed systems allowed many communication architectures to appear, being the Client-server architecture the most common. Here, we present a dissertation work about the mobile agents computing paradigm. A middleware and a mobile agent framework have been developed using the JavaScript language that allows the development, execution and the ability to move JavaScript mobile agents through the local network and Internet using Node.js for desktop operating systems and React Native for mobile operating systems, such as Android and iOS. This initiative arose as a way of dealing with problems raised by the considerable amount of existing Java based mobile agents platforms, which force the installation of the Java Virtual Machine on the devices, making complicated its execution in operating systems like macOS, iOS and others operating systems not compatible with Java.

O presente relatório enquadra-se no âmbito da unidade curricular de Projeto do mestrado em Engenharia Informática – Computação Móvel da Escola Superior de Tecnologia e Gestão do Instituto Politécnico de Leiria. O objetivo deste relatório é descrever o processo referente aos 9 meses do estágio que foi realizado na empresa Sinmetro, Lda e o trabalho desenvolvido nesse estágio. Neste relatório poderão ser encontradas informações sobre o local de estágio, o trabalho desenvolvido e as conclusões tiradas após o término do estágio. O objetivo do estágio foi o de criar uma aplicação Web que facilite a gestão e controlo da produção de produtos pré-embalados por parte dos produtores e fornecedores, focando-se maioritariamente na apresentação de dados visuais na forma de tabelas e gráficos. Esta aplicação complementa o software ACCEPT, criado pela Sinmetro, apresentando muitas das funcionalidades já existentes, transportando-o para o ambiente Web.