Buscar
Itens para a visualização no momento 1411-1413 of 1413
Refinamento de especificações de requisito pela detecção de inconsistências, ambiguidades e incompletudes através do processamento de linguagem natural
(Universidade Federal de Santa Maria, 2024-04-17)
Context: The poor definition of requirements is a recurring issue in software projects, resulting
in inconsistent, ambiguous, and incomplete specifications. These problems contribute
to uncertainty in development, leading ...
Máquinas de Turing, decidibilidade e computabilidade
(Universidade Federal de Santa Maria, 2024-02-16)
In this dissertation we look in detail at the mathematical theory of Turing machines,
which serve as a tool for study in the fields of Mathematics and Computing. Alongside
them, we deal with the types of functions that ...
Rack: proposta de configuração para garantia de entrega de mensagens no Apache Kafka
(Universidade Federal de Santa Maria, 2022-04-11)
Nowadays, one of the ways to achieve scalability and flexibility during implementation of applications
is by adopting the microsservices paradigm. Through microservices, applications
can be fragmented into isolated and ...