Buscar
Mostrando ítems 61-70 de 1896
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, ...
Método para verificação automatizada de requisitos em empreendimentos Habitacionais de Interesse Social
(ANTAC - Associação Nacional de Tecnologia do Ambiente Construído, 2018)
Especificação e verificação CSP de um sistema de intertravamento ferroviário baseado em reléCSP specification and verification of a relay-based rail interlocking system
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2023)
Verificação teórico-numérico de modelo constitutivo aplicado a fluidos tixotrópicos compostos por duas estruturas distintas
(Universidade Tecnológica Federal do ParanáCuritibaBrasilEngenharia MecânicaUTFPR, 2017-11-14)
The application of thixotropic fluids in several industrial sectors such as chemical, food and petroleum are examples of the motivation to seek the understanding of thixotropic fluid behavior. Two equations are usually ...
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...
FormAr: software architecture formalization for critical applications
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-11)
Errors during the software development may give rise to flaws in the system
that can cause important damages. One of the most important stages in the
software development process is modelling the system architecture, ...
Dinâmica de redes genéticas regulatórias do destino celular em resposta a dano ao dna contemplando senescência, autofagia e apoptose
(Universidade Federal de Santa MariaBrasilFísicaUFSMPrograma de Pós-Graduação em FísicaCentro de Ciências Naturais e Exatas, 2021-03-24)
How a cell determines a given phenotype upon damaged DNA is an open problem. Cell
fate decisions happen at cell cycle checkpoints and it is becoming clearer that the p53
pathway is a major regulator of cell fate decisions ...
UML-CAFE: um ambiente para especificar e verificar sistemas de comércio eletrônico
(Universidade Federal de Minas GeraisUFMG, 2004-03-16)
Since the last decade the internet has been growing exponentially. As a new computational infra-structure has became available, new distributed applications which were previously too expensive or too complex have become ...