https://repositorio.ufsc.br/handle/123456789/76362 Sat, 17 Oct 2026 21:31:16 GMT 2026-10-17T21:31:16Z https://repositorio.ufsc.br/handle/123456789/277131 Resilient real-time wireless communications Souza, Jeferson Luiz Rodrigues O uso de meios de comunicação sem fios está a tornar-se cada vez mais presente em nosso dia a dia, a invadir a esfera dos ambientes com restrições espaciais e temporais severas. Em meio às necessidades de realizar operações computacionais em um ambiente crítico, onde a corretude dos resultados obtidos obedece restrições impostas nos domínios do espaço e tempo, redes de comunicação têm fundamental contribuição no suporte à operação de sistemas distribuídos de tempo-real, compostos por diferentes partes a cooperar na direção de um objetivo comum. O simples ato de transmitir uma mensagem torna-se um requisito; a necessidade de garantir a transmissão e recepção da(s) trama(s) que levam o seu conteúdo até o destino esperado, uma obrigação; e a capacidade de estabelecer uma rede de computadores como um dos pilares de sustentação de uma operação confiável e pontual de todas as partes envolvidas, essencial. Das redes cabeadas pode-se extrair uma vasta experiência na lida com dificuldades observadas durante, e.g., a transmissão/recepção de dados; desde a perda de tramas até a presença de períodos de inacessibilidade, a afetar a operação da rede em ambos os seus domínios de dados e controle. Entretanto, as mesmas estratégias utilizadas nas redes cabeadas não podem ser aplicadas diretamente nas redes sem fios, onde o meio de comunicação é aberto, partilhado e mais susceptível às dificuldades impostas pela mobilidade dos nós da rede. Mesmo o 5G?uma das mais recentes tecnologias de comunicação sem fios?e suas evoluções possuem inconsistências e limitações quando as propriedades de confiança no funcionamento e pontualidade do sistema de comunicação tornam-se os principais requisitos desejados. Evolução na oferta e garantia das referidas propriedades, e tudo que envolve o aumento da confiança no funcionamento da rede, é o que a comunidade científica está urgentemente à espera no domínio das redes sem fios. Logo, de forma a suprir a necessidade de uma rede sem fios que possa oferecer um serviço com alto grau de confiança no seu funcionamento, esta tese de doutorado apresenta uma forma inovadora onde o desenho de sistemas de comunicação é realizado sob uma perspectiva invertida, a tornar as camadas mais baixas da rede extremamente confiáveis, e como consequência, a simplificar os protocolos e aplicações como resultado do uso de um serviço de rede mais robusto e confiável. A garantia da corretude dos resultados obtidos com o uso desta perspectiva invertida é assegurada pela primeira contribuição apresentada por esta tese de doutorado, um teorema poderoso e simples chamado de Teorema da Inacessibilidade. É por meio deste teorema que pode-se descrever o comportamento temporal das comunicações de forma simples e intuitiva, a permitir que esta tese de doutorado vá além de tudo que existe no domínio das redes sem fios aplicadas aos ambientes de restrições espaciais e temporais severas. É sabido que o foco deste trabalho é a garantia, e eventualmente o aumento, da confiança no funcionamento da rede de comunicação sem fios, a ter o seu desempenho como um objetivo secundário, e portanto, a implicar na apresentação do que chamou-se de Princípios de Comunicação de Alta Confiabilidade (TWCPs), a definir três regras fundamentais e centrais ao fornecimento da segunda contribuição desta tese de doutorado chamada de Alta Confiabilidade de Comunicação Sobre o Ar (TOTA). O conceito de TOTA tem quatro pilares fundamentais: confiança no funcionamento, determinismo, durabilidade, e previsibilidade. Estes pilares sustentam e ajudam a pavimentar o caminho para sedimentar o que o autor desta tese de doutorado chama de Comunicações Resilientes de Tempo-Real sobre Redes Sem Fios, tudo fundamentado sobre a arquitetura Wi-STARK, de onde surge a terceira contribuição desta tese de doutorado, um serviço de rede chamado de Serviço de Rede Altamente Confiável e Pontual da Wi-STARK. O referido serviço de rede é estabelecido sobre a interface exposta da Camada de Acesso ao Meio (MAC), a sustentar a concepção e desenho de infraestruturas de rede sólidas e robustas, ao mesmo tempo que se mantém resilientes para oferecer um suporte fidedigno à construção de sistemas distribuídos de tempo real?o que inclui os sistemas Ciber-Físicos. O serviço de rede proposto por esta tese de doutorado apresenta uma forma inovadora no fornecimento de comunicações resilientes de tempo-real sobre redes sem fios, a permitir lidar de forma transparente com as faltas de todos os componentes envolvidos nas referidas comunicações, e ajudar no restabelecimento da intrínseca proteção que o modelo de rede em camadas oferece, de forma a evitar que aplicações, protocolos, e outras entidades de software que podem estar a utilizar Inteligência Artificial (IA) ou não?sejam diretamente prejudicadas por faltas ocorridas nos níveis mais baixos das camadas de rede, e vice-versa. O objetivo a ser atingido é muito claro: ou se consegue realizar com sucesso uma transmissão a respeitar as restrições impostas, ou realiza-se uma parada segura aquando da impossibilidade de manter as comunicações de rede em conformidade com as restrições impostas pelos níveis de serviço e criticalidade observados no momento. Resultados de simulação são apresentados como parte dos estudos de caso realizados sobre as tecnologias de rede IEEE 802.15.4 e 5G, a gerar e complementar discussões e conclusões interessantes a respeito da aplicabilidade da abordagem proposta por esta tese de doutorado no contexto das referidas tecnologias de rede, o que também deu origem a separação do que conhece-se simplesmente como latência em dois termos distintos porém complementares definidos como latência de comunicação e latência de rede. Derivada e relacionada com as contribuições anteriores, essa tese de doutorado também apresenta uma nova e inovadora ferramenta de simulação de rede chamada Motor de Simulação Genérico (GCSE: JS-Dragon), a qual está em estado de desenvolvimento e foi utilizada na obtenção e análise dos resultados associados ao 5G no contexto deste documento de tese. Logo, como consequência da abordagem proposta e investigação científica realizada, pode-se dizer que comunicações resilientes de tempo-real sobre redes sem fios podem vir a substituir redes cabeadas no fornecimento de sistemas de comunicação em ambientes com restrições espaciais e temporais severas, a contribuir ainda para a redução do Tamanho, Peso, e Consumo Energético (SWaP) no desenho de sistemas e redes de computadores aplicados ao controle e monitoramento dos referidos ambientes.; Abstract: Wireless communications have become so present into our lives that the natural flow of its use is materialising itself, more and more, into the world of safety- and mixed-critical environments. In such type of environment, real-time is the term to pay attention to, not because it is ?fancy? or ?elegant? but essential to ensure the safe operation of the entire ecosystem. In the middle of computations where correctness is denoted by the production of intended results within bounded periods of time, networking communications have their fundamental contribution for sustaining the operation of distributed real-time systems, which are composed by different parts cooperating to achieve a shared goal. The act of transmitting a message becomes a requirement; the need to successfully guarantee both the transmission and reception of the frame(s) carrying the content of such a message mandatory; and the capability to establish the network as the foundation for dependable and timely operation of the entire ecosystem, essential. From the wired realm we can extract huge experience of dealing with communication disturbances, considering common yet relevant problems on both network data and control domains, such as frame corruption and network inaccessibility. However, the same strategies created and developed within the wired realm cannot be applied ?out-of-the-box? into the wireless counterpart, where the communication medium is open, shared, less isolated, and prone to disturbances caused by the mobile nature of network nodes. Even the fashionable atmosphere created around 5G technologies and beyond has its flaws the moment securing a dependable- and timely-operation of the entire network infrastructure becomes the main dreamed requirement to be provided. Therefore, we need evolution in the way dependability, timeliness, and related wireless networking properties are both provided and secured, implying in the attainment of a trustworthy network as the natural evolution wireless realm requires the most. In order to address such a dreamed requirement, we have shifted the way computer-based networked systems should be designed, presenting an innovative bottom-up approach that makes the lowest levels of the network protocol stack more trustworthy, namely offering a networking service to higher layers protocols and applications as an asset at hand they can rely on. Such an innovative bottom-up approach has the assessment of its design secured by the first contribution of this Ph.D. thesis work, which is the materialisation of a safe ground through a powerful yet simple formalisation we dubbed Theorem of Inaccessibility, enabling us to perform a simple and direct characterisation of all temporal aspects of networking communications, guaranteeing the correctness of all the research work and advances in the state-of-the-art proposed and presented in this document. Based on the formalisation of such a robust theorem, we went beyond from what the wireless realm had to offer in the domain of safety-and mixed-critical environments, presenting three TrustWorthy Communication Principles (TWCPs) that characterise the focus of our approach on trustworthiness?i.e., communications performed on top of a dependable and timely network operation?instead of performance, being part of our second contribution dubbed Trustworthiness Over-the-Air (TOTA). The TOTA concept is based on four fundamental trustworthy design settlements: dependability, determinism, durability, and predictability. Those design settlements both sustain and help paving the path to establish what we call Resilient Real-Time Wireless Communications on top of a well-designed architecture dubbed Wi-STARK, from where the Wi-STARK Dependable and Timely Networking Service emerges as the third contribution of the research work developed in the domain and context of this Ph.D. thesis. The aforementioned networking service is offered on top of the Medium Access Control (MAC) exposed service interface, enabling the conception of a solid, robust, yet resilient wireless network infrastructure for building distributed real-time systems on top?Cyber-Physical Systems included. Our proposed networking service presents an innovative way for providing resilient real-time wireless communications, allowing the transparent handling of faults of its components, which helps restoring the intrinsic layered-model protection of applications, protocols, and other software parts?whether using Artificial Intelligence (AI)?from dangerous cross-layer designs and faults occurred on lowest levels of the network protocol stack, and vice-versa. The clear goal is to ensure that either we perform a successful transmission respecting the constrains imposed, or enable the execution of a safe-stop operation when the network itself is not able to support networking communications respecting the aforementioned restrictions associated with the level of service and criticality required for the moment. We show simulation-based results as part of case studies performed on both IEEE 802.15.4 and 5G, promoting interesting discussions and conclusions concerning the application of our approach to those networking technologies, which also implies the segregation of what we simply known as latency into two distinguished yet complementary terms we have defined as communication latency and network latency. A side contribution also introduced by this Ph.D. thesis is a brand new network simulation tool we dubbed Generic Commons Simulation Engine (GCSE: JS-Dragon), which is an under-development tool used in the analysis and assessment of 5G in the context of this document. Thus, based on both our approach and research work, resilient real-time wireless communications may eventually replace its wired counterpart in the provision of a strong and trustworthy foundation for a communication system targeting safety- and mixed-critical environments, contributing to reduce Size, Weight, and Power (SWaP) consumption in the design of safety- and mixed critical computer-based systems and networks. Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2026. Thu, 01 Jan 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/277131 2026-01-01T00:00:00Z https://repositorio.ufsc.br/handle/123456789/276950 Arquitetura interoperável para prescrição e dispensação digital de medicamentos baseada em HL7 FHIR, assinatura digital e blockchain Severo, Liverson Paulo Furtado A fragmentação de dados entre centros médicos, farmácias e órgãos reguladores gera fra gilidades no processo de prescrição e dispensação de medicamentos controlados, aumen tando o risco de falsificações e dificultando a rastreabilidade. Casos recentes de fraudes evidenciam a necessidade de um sistema integrado, seguro e juridicamente válido. Este trabalho propõe o desenvolvimento e análise de viabilidade de uma plataforma digi tal para prescrição e dispensação de medicamentos. O objetivo é analisar a viabilidade de uma abordagem capaz de mitigar falsificações, promover a padronização de dados clínicos e oferecer mecanismos de rastreabilidade ao longo do ciclo de vida dos medicamentos. Para isso, o estudo se baseia em três pilares tecnológicos: (i) HL7 FHIR, como padrão de interoperabilidade de dados de saúde; (ii) JAdES (JSON Advanced Electronic Sig natures), para assegurar a validade jurídica das prescrições; e (iii) Hyperledger Fabric, como infraestrutura de blockchain permissionada para registro distribuído e imutável das transações. A proposta é uma Prova de Conceito (PoC), simulando interações entre médicos, pacientes e farmacêuticos em ambiente controlado. Para isso foram implementadas APIs de assina tura digital, verificação de conformidade e validação de credenciais, além de mecanismos de integração com bases profissionais. O sistema gera documentos digitais autocontidos no formato JSON, acompanhados de uma representação em PDF com QR Code para facilitar o acesso do paciente. Como resultados esperados, o trabalho busca demonstrar a viabilidade técnica e regula tória da proposta, apresentar um modelo de arquitetura integrado e avaliar sua eficácia em termos de segurança, interoperabilidade e rastreabilidade. Espera-se que a solução contribua para o fortalecimento da saúde digital no Brasil e para a redução de fraudes em prescrições médicas.; Abstract: The fragmentation of data among prescribers, pharmacies, and regulatory agencies cre ates vulnerabilities in the prescription and dispensing process of controlled medications, increasing the risk of forgery and hindering traceability. Recent cases of fraud highlight the need for an integrated, secure, and legally valid system. This work proposes the development and feasibility analysis of a digital platform for med ical prescription and dispensing. The main goal is to mitigate falsifications, standardize clinical data, and ensure full traceability of the medication lifecycle, especially for con trolled substances. The study relies on three technological pillars: (i) HL7 FHIR, as the interoperability standard for health data; (ii) JAdES (JSON Advanced Electronic Signa tures), to guarantee the legal validity of prescriptions; and (iii) Hyperledger Fabric, as a permissioned blockchain infrastructure for distributed and immutable transaction records. The methodology will adopt a Proof of Concept (PoC), simulating interactions among physicians, patients, and pharmacists in a controlled environment. Dedicated APIs for digital signatures, compliance verification, and credential validation will be implemented, along with integration mechanisms with professional registries. The system will generate self-contained digital documents in JSON format, accompanied by a PDF representation with a QR Code to facilitate patient access. The expected results include demonstrating the technical and regulatory feasibility of the proposal, presenting an integrated architectural model, and evaluating its effectiveness in terms of security, interoperability, and traceability. The solution is expected to strengthen digital health in Brazil and reduce fraud in medical prescriptions. Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2026. Thu, 01 Jan 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/276950 2026-01-01T00:00:00Z https://repositorio.ufsc.br/handle/123456789/276649 Uma abordagem automatizada para a análise de conformidade contratual em contratos de licitação pública Correia, José Silvestre A transparência nos processos de contratação pública constitui um elemento central para a promoção da integridade governamental e o uso eficiente dos recursos do Estado. No Brasil, a promulgação da Lei n.º 14.133/2021 Nova Lei de Licitações e Contratos estabeleceu um conjunto de cláusulas obrigatórias que devem estar presentes em todos os contratos públicos, impondo novos desafios de conformidade à administração pública. Contudo, a verificação sistemática do cumprimento dessas exigências jurídicas enfrenta obstáculos significativos: o volume crescente de documentos contratuais, a ausência de padronização estrutural entre órgãos públicos e o caráter não estruturado dos arquivos em formato PDF tornam a análise manual morosa, custosa e propensa a erros.Diante desse cenário, a presente dissertação propõe uma abordagem computacional para a detecção automatizada de cláusulas obrigatórias e a análise de conformidade em contratos públicos de licitação. A solução desenvolvida integra técnicas de Processamento de Linguagem Natural (PLN),regras heurísticas estruturadas por meio de Expressões Regulares (REGEX), com o modelo de linguagempré-treinadoBERTimbau(Souza et al., 2020),versão adaptada ao português brasileiro do modelo BERT,O pipeline de processamento de dados foi segmentado em duas etapas consecutivas e complementares. Inicialmente, aplicaram-se regras heurísticas fundamentadas em Expressões Regulares (REGEX) para a triagem e filtragem preliminar do corpus, visando isolar estruturas textuais padronizadas com baixo custo computacional. Em seguida, os segmentos refinados foram submetidos aoBERTimbau, modelo de linguagem estado da artepré-treinado para o português.Ametodologia adotada seguiu as etapas de uma Revisão Sistemática de Literatura (RSL), adaptada deKitchenham(2004),para fundamentar teoricamente a pesquisa em estudos correlatos sobre segmentação e extração de informações em documentos jurídicos. Em seguida, procedeu-se à coleta de contratos reais provenientes de portais de transparência governamental, os quais foram submetidos a um processo de pré-processamento que envolverama conversão dePDFspara texto, tokenização, lematização e o Reconhecimento de Entidades Nomeadas (NER) com foco em valores monetários, prazos e cláusulas específicas. Para garantir a avaliação rigorosa do sistema, foi construído umDatasetOuro (Gold Standard), anotado manualmente, que serviu como referência para o treinamento e a validação dosmodelos.Osresultados demonstraram que a abordagemproposta supera métodos tradicionais como o REGEX puro e modelosSVMnaidentificação de cláusulas com alta variabilidade semântica. O modeloBERTimbau, ao capturar a semântica contextual do texto jurídico em português, mostrou-se particularmente eficaz na detecção de padrões linguísticos complexos, que escapam às regras rígidas de expressões regulares. A avaliação por métricas de Precisão, Revocação e F1-Score evidenciou ganhos expressivos de desempenho, validando a viabilidade da inteligência artificial como ferramenta de auditoria e controle da conformidade contratual.Este trabalho contribui para o avanço da pesquisaem PLN aplicado ao domínio jurídico em língua portuguesa e oferece uma solução tecnológica concreta para o fortalecimento da transparência e do combate à corrupção nas contratações públicas brasileiras. Como perspectivas futuras, destacam-se o aprimoramento do pipeline de extração, a ampliação do corpus de treinamento e o desenvolvimento de uma interface de auditoria acessível a gestores públicos e órgãos de controle.; Abstract: Transparency in public procurement processes is a central element for promoting governmental integrity and the efficient use of state resources. In Brazil, the enactment of Law No. 14,133/2021, the New Law on Bidding and Contracts, established a set of mandatory clauses that must be present in all public contracts, imposing new compliance challenges on public administration. However, the systematic verification of compliance with these legal requirements faces significant obstacles: the growing volume of contractual documents, the lack of structural standardization among public bodies, and the unstructured nature of PDF files make manual analysis slow, costly, and prone to errors. In this context, this dissertation proposes a computational approach for the automated detection of mandatory clauses and compliance analysis in public procurement contracts. The developed solution integrates Natural Language Processing (NLP) techniques, heuristic rules structured through Regular Expressions (REGEX), with the pre-trained BERTimbau language model (Souza et al., 2020), a Brazilian Portuguese-adapted version of the BERT model. The data processing pipeline was segmented into two consecutive and complementary stages. Initially, heuristic rules based on Regular Expressions(REGEX) were applied for preliminary screening and filtering of the corpus, aiming to isolate standardized textual structures with low computational cost. Subsequently, the refined segments were submitted to BERTimbau, a state-of-the-art language model pre-trained for Portuguese. The methodology adopted followed the steps of a Systematic Literature Review (SLR), adapted from Kitchenham (2004), to theoretically ground the research in related studies on segmentation and information extraction in legal documents. Next, real contracts from government transparency portals were collected and subjected to a pre-processing process involving PDF conversion to text, tokenization, lemmatization, and Named Entity Recognition (NER) focusing on monetary values, deadlines, and specific clauses. To ensure a rigorous system evaluation, a manually annotated Gold Standard dataset was constructed, serving as a reference for training and validating the models. The results demonstrated that the proposed approach outperforms traditional methods such as pure REGEX and SVM models in identifying clauses with high semantic variability. The BERTimbau model, by capturing the contextual semantics of legal text in Portuguese, proved particularly effective in detecting complex linguistic patterns that escape the rigid rules of regular expressions. Evaluation using Precision, Recall, and F1-Score metrics showed significant performance gains, validating the viability of artificial intelligence as a tool for auditing and controlling contractualcompliance. This work contributes to the advancement of NLP research applied to the legal domain in the Portuguese language and offers a concrete technological solution for strengthening transparency and combating corruption in Brazilian public procurement. Future perspectives include improving the extraction pipeline, expanding the training corpus, and developing an audit interface accessible to public managers and oversight bodies. Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2026. Thu, 01 Jan 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/276649 2026-01-01T00:00:00Z https://repositorio.ufsc.br/handle/123456789/276639 Coldest neighbor: algoritmo de desinfecção de superfícies utilizando luz UVGI Pfleger, Sergio Genilson Esta tese aborda o desenvolvimento de estratégias autônomas para a desinfecção de ambientes por meio de radiação ultravioleta (UV-C), motivada pela necessidade de soluções tecnológicas seguras evidenciada pela pandemia de COVID-19. O trabalho propõe algoritmos de desinfecção que garantem a aplicação adequada da dose sobre as superfícies, apresentam eficiência operacional e possuem compatibilidade com sistemas de navegação autônoma. Inicialmente, realiza uma revisão sistemática da literatura sobre robôs de desinfecção, identificando lacunas relacionadas à ausência de garantias formais de dose mínima, à dependência de trajetórias predefinidas e à limitada integração entre desinfecção, localização e exploração. A partir dessa análise, propõe uma classificação original de robôs de desinfecção que contribui para a organização do estado da arte. Em paralelo, analisa os princípios físicos da radiação UV-C, estabelecendo restrições fundamentais para o desenvolvimento de soluções fisicamente consistentes. Com base nessa fundamentação, desenvolve um algoritmo de desinfecção baseado em sweeping e, posteriormente, propõe o algoritmo Coldest Neighbor, principal contribuição da tese. Esta solução utiliza um mapa de dose para direcionar o robô às regiões com menor exposição acumulada, assegurando a aplicação da dose mínima alvo. O algoritmo mostra-se compatível com técnicas de SLAM, permite a realização simultânea da exploração e da desinfecção do ambiente e apresenta baixo custo computacional. A avaliação ocorre por meio de simulações em espaços livres desobstruídos e em ambientes estruturados com múltiplos cômodos, utilizando um simulador dedicado e o ecossistema ROS/Gazebo. Os resultados demonstram que a abordagem proposta reduz o tempo total de operação e minimiza a energia aplicada à dose alvo quando comparada a estratégias tradicionais. Conclui-se que a abordagem proposta introduz garantias quantitativas à desinfecção robótica por UV-C, ao integrar modelagem física da radiação e navegação autônoma orientada por mapas de dose, tornando o processo verificável, reproduzível e fundamentado em critérios científicos objetivos.; Abstract: This doctoral thesis addresses the development of autonomous strategies for environmental disinfection using ultraviolet radiation (UV-C), motivated by the need for safe technological solutions highlighted during the COVID-19 pandemic. The work proposes disinfection algorithms that ensure adequate dose delivery to surfaces, provide operational efficiency, and are compatible with autonomous navigation systems. Initially, a systematic literature review on disinfection robots is conducted, identifying gaps related to the lack of formal guarantees of minimum dose delivery, the reliance on predefined trajectories, and the limited integration between disinfection, localization, and exploration. Based on this analysis, an original classification of disinfection robots is proposed, contributing to the organization of the state of the art. In parallel, the physical principles of UV-C radiation are analyzed, establishing fundamental constraints for the development of physically consistent solutions. Building upon this foundation, a sweeping-based disinfection algorithm is developed, followed by the proposal of the Coldest Neighbor algorithm, which constitutes the main contribution of this thesis. This approach employs a dose map to guide the robot toward regions with lower accumulated exposure, ensuring the delivery of the target minimum dose. The algorithm is compatible with SLAM techniques, enables simultaneous exploration and disinfection of the environment, and presents low computational cost. The evaluation is carried out through simulations in unobstructed open spaces and in structured environments with multiple rooms, using a dedicated simulator and the ROS/Gazebo ecosystem. The results demonstrate that the proposed approach reduces overall operation time and minimizes the energy applied to achieve the target dose when compared to traditional strategies. It is concluded that the proposed approach introduces quantitative guarantees to UV-C robotic disinfection by integrating physical radiation modeling with dose-map-guided autonomous navigation, thereby making the process verifiable, reproducible, and grounded in objective scientific criteria. Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2026. Thu, 01 Jan 2026 00:00:00 GMT https://repositorio.ufsc.br/handle/123456789/276639 2026-01-01T00:00:00Z