Resultados de la búsqueda
Apariencia
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
No hay resultados que cumplan los criterios de búsqueda en este sitio.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
Resultados de la Wikipedia en portugués.
- atividades de verificação e validação (V&V) servem para assegurar que o software funcione de acordo com o que foi especificado. A verificação tem como propósito…6 kB (756 palabras) - 14:34 27 sep 2022
- O teste do software é a investigação do software a fim de fornecer informações sobre sua qualidade em relação ao contexto em que ele deve operar, se relaciona…28 kB (3937 palabras) - 18:42 18 oct 2022
- Microsoft Defender (categoría Softwares de segurança para Windows)da verificação. Verificação Personalizada: o utilizador seleciona locais específicos do computador para serem verificados. No entanto, se um software potencialmente…10 kB (1155 palabras) - 10:11 31 may 2024
- qualidade de software Segurança de Software (Software Safety) Processos de gerência de qualidade de software Garantia de qualidade de software Verificação e validação…19 kB (2299 palabras) - 16:13 2 nov 2021
- pois, uma etapa de elaboração rumo ao produto final. Esse conjunto é denominado ciclo de vida de liberação de software. O software é sempre produzido…9 kB (1112 palabras) - 16:22 5 dic 2023
- importante classe de métodos de verificação de modelos tem sido desenvolvida para verificação de modelos de projetos de hardware e software onde a especificação…4 kB (548 palabras) - 21:43 14 abr 2020
- de Engenharia de Software, sendo considerado um dos principais mecanismos para se obter software de qualidade e cumprir corretamente os contratos de desenvolvimento…10 kB (1178 palabras) - 05:37 10 oct 2021
- O balancete de verificação é uma técnica bastante utilizada em contabilidade para verificar se os lançamentos realizados num determinado período estão…3 kB (352 palabras) - 16:02 31 ago 2023
- de verificação (em inglês, checklist) é um tipo de auxílio de trabalho usado para reduzir a falha compensando os limites potenciais de memória e de atenção…9 kB (1040 palabras) - 02:27 26 abr 2024
- axiomática e a lógica de Hoare. Atualmente existem basicamente duas abordagens para a verificação formal. A primeira é a verificação de modelos, que consiste…2 kB (228 palabras) - 14:28 15 abr 2020
- Check Point (redirección desde Check Point Software Technologies Ltd.)A Check Point Software Technologies é uma multinacional americano-israelense fornecedora de hardware e software para segurança de TI. Fundada em 1993…1 kB (158 palabras) - 20:06 17 may 2024
- Métodos formais (categoría !Artigos que carecem de notas de rodapé desde outubro de 2020)engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares…12 kB (1515 palabras) - 19:13 13 oct 2020
- Modelo em cascata (categoría Engenharia de software)modelo de desenvolvimento de software sequencial no qual o processo é visto como um fluir constante para frente (como uma cascata) através das fases de análise…10 kB (1243 palabras) - 01:37 10 nov 2021
- CMMI (categoría Qualidade de software)Engenharia de Sistemas), Software Engineering (SW - Engenharia de Software), Integrated Product and Process Development (IPPD - Desenvolvimento Integrado de Processo…26 kB (3184 palabras) - 18:44 23 may 2024
- Sistema em um chip (sección Fluxo de projeto)de software. Os chips são verificados quanto a sua exatidão lógica antes de serem enviados para fundição. Este processo é chamado de verificação funcional…9 kB (1079 palabras) - 20:11 8 oct 2023
- Desenvolvimento web (redirección desde Desenvolvimento de sites)(desenvolvedor de sistemas). O desenvolvimento refere-se a um processo de construção e testes do software especifico para a web, com a finalidade de se obter…4 kB (382 palabras) - 08:34 17 dic 2023
- Função hash (redirección desde Função de hashing)utilizado por softwares com protocolo par a par (P2P, ou Peer-to-Peer, em inglês), verificação de integridade e logins. Existem alguns métodos de ataque divulgados…7 kB (820 palabras) - 21:26 30 may 2023
- faz uma verificação com o software antivírus, caso a verificação acusar o "vírus" EICAR - The Anti-Virus test file, significa que a detecção de vírus conhecidos…2 kB (325 palabras) - 20:16 25 sep 2022
- Discord (redirección desde Discord (software))software em janeiro de 2016. A partir de junho de 2020, Discord anunciou que estava mudando o foco dos videogames especificamente para um cliente de comunicação…18 kB (1967 palabras) - 22:13 7 may 2024
- IBM Rational Unified Process (categoría Engenharia de software)proprietário de Engenharia de software criado pela Rational Software Corporation, adquirida pela IBM, ganhando um novo nome IRUP que agora é uma abreviação de IBM…25 kB (3365 palabras) - 06:41 9 nov 2022
- Corretor ortográfico (categoría Processamento de linguagem natural)No software, um corretor ortográfico é um recurso de software que verifica erros ortográficos em um texto. Os recursos de verificação ortográfica geralmente…7 kB (687 palabras) - 12:48 7 oct 2022