Buscar
Mostrando ítems 11-20 de 124
Geração de cenários de teste com base em casos de uso
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2011-02-25)
Around 37% of unsuccessfully software projects have their cause related to issues on how to software requirements are collected and manipulated. Requirement Management activities help on getting this scenario better, however ...
Design e validação formal de sistemas de controle de voo fly-by-wire
(Universidade Federal de Pernambuco, 2014)
Using formal methods for content validation of medical procedure documents.
(Elsevier Science Ireland Ltd, 2018)
Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes
(Universidade Federal da Bahia. Escola Politécnica/Instituto de MatemáticaMecatrônicaUFBAbrasil, 2016-01-14)
Sistemas computacionais são utilizados atualmente em aplicações consideradas criticas e com alto grau de complexidade, como e o exemplo da automação industrial, controle de navegação em aeronaves, equipamentos médicos, ...
Avaliação do grau da implementação do Programa Vida no Trânsito em municípios brasileiros e verificação do desempenho do Record Linkage da "Plataforma Digital do PVT"
(Universidade Federal de Minas GeraisBrasilMEDICINA - FACULDADE DE MEDICINAPrograma de Pós-Graduação em Saúde PúblicaUFMG, 2020-02-14)
Introduction: In 2020, the cycle of the Decade of Actions for Traffic Safety proposed by the United Nations Organization ends. In order to reach the goal of reducing deaths caused by the UN, in 2010, the Program Vida no ...
Introdução ao teste funcional de software no paradigma orientado a notificações
(Universidad Inca Garcilaso de la Vega, 2014-10)
O Paradigma Orientado a Notificações (PON) para desenvolvimento de software surgiu como uma solução
que aplica os melhores conceitos do Paradigma Imperativo (PI) e Paradigma Declarativo (PD), ao mesmo tempo em
que objetiva ...
Validação de modelos e detecção de erros de modelagem em sistemas elétricos utilizando medição fasorial e simulação dinâmica híbrida
(2019)
Neste trabalho é proposta uma metodologia para validação e detecção de erros de modelagem aplicada em Sistemas Elétricos de Potência (SEP). É utilizada a validação sistêmica para identificar a necessidade de calibração dos ...