Acesso mais rápido do que o navegador!
29 relações: Algoritmo, Anfibologia, Caso de uso, Ciência da computação, Confiabilidade, Confiança, Desenvolvimento de software, Engenharia aeroespacial, Engenharia de software, Especificação formal, Formalismo de Backus-Naur, Hardware, John Backus, Língua natural, Lógica clássica, Matemática, Máquina de estados abstratos, Microprocessador, Morte, Processo de desenvolvimento de software, Prova matemática, Rede de Petri, Segurança, Semântica formal, Software, Verificação, Verificação de modelos, Verificação formal, Z notation.
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Métodos formais e Algoritmo · Veja mais »
Anfibologia
A anfibologia (do grego amphibolia) é considerada um vício de linguagem que vem a ser, na lógica e na linguística moderna, um sinônimo de ambiguidade (do latim ambiguitas, atis), isto é, a duplicidade de sentido em uma construção sintática.
Novo!!: Métodos formais e Anfibologia · Veja mais »
Caso de uso
Na Engenharia de Software, um caso de uso (do inglês use case) é um tipo de classificador representando uma unidade funcional coerente provida pelo sistema, subsistema, ou classe manifestada por sequências de mensagens intercambiáveis entre os sistemas e um ou mais atores.
Novo!!: Métodos formais e Caso de uso · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Métodos formais e Ciência da computação · Veja mais »
Confiabilidade
Na engenharia de sistemas, confiabilidade é uma medida da disponibilidade, confiabilidade e manutenção de um sistema, e desempenho do suporte de manutenção e, em alguns casos, outras características como durabilidade, proteção e proteção.
Novo!!: Métodos formais e Confiabilidade · Veja mais »
Confiança
Em psicologia, confiança pode ser entendida como "um estado psicológico que se caracteriza pela intenção de aceitar a vulnerabilidade, com base em crenças otimistas a respeito das intenções (ou do comportamento) do outro".
Novo!!: Métodos formais e Confiança · Veja mais »
Desenvolvimento de software
Na computação, o desenvolvimento de software é o ato de elaborar e implementar um sistema computacional, isto é, transformar a necessidade de um utilizador ou de um mercado em um produto de software.
Novo!!: Métodos formais e Desenvolvimento de software · Veja mais »
Engenharia aeroespacial
Um motor Pratt & Whitney F100 turbofan para o F-15 Eagle e o F-16 Falcon em teste na Robins Air Force Base, Georgia, Estados Unidos. O túnel atrás do motor reduz o ruído e escoa os produtos da combustão. Engenharia aeroespacial é o ramo da engenharia que, com base em diversas áreas da física, como a termodinâmica, a mecânica dos fluidos, a eletrônica, a mecânica clássica e outras, lida com o projeto, construção e aplicação de aeronaves, espaçonaves e satélites.
Novo!!: Métodos formais e Engenharia aeroespacial · Veja mais »
Engenharia de software
acessodata.
Novo!!: Métodos formais e Engenharia de software · Veja mais »
Especificação formal
Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.
Novo!!: Métodos formais e Especificação formal · Veja mais »
Formalismo de Backus-Naur
O Formalismo de Backus-Naur (BNF, do inglês Backus-Naur Form ou Backus Normal Form) é uma metassintaxe usada para expressar gramáticas livres de contexto, isto é, um modo formal de descrever linguagens formais.
Novo!!: Métodos formais e Formalismo de Backus-Naur · Veja mais »
Hardware
Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.
Novo!!: Métodos formais e Hardware · Veja mais »
John Backus
John Warner Backus (Filadélfia, — Ashland) foi um cientista da computação estadunidense.
Novo!!: Métodos formais e John Backus · Veja mais »
Língua natural
Língua natural (língua humana, língua idiomática, ou somente língua ou idioma) é qualquer linguagem desenvolvida naturalmente pelo ser humano, de forma não premeditada, como resultado da facilidade inata para a linguagem possuída pelo intelecto humano.
Novo!!: Métodos formais e Língua natural · Veja mais »
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.
Novo!!: Métodos formais e Lógica clássica · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Métodos formais e Matemática · Veja mais »
Máquina de estados abstratos
Em ciência da computação, uma máquina de estados abstratos (ASM) é uma máquina de estados finitos operando em estados que são estruturas de dados arbitrárias (estruturas no sentido de lógica matemática, que é um conjunto não-vazio juntamente com um número de funções (operações sobre o conjunto) e relações).
Novo!!: Métodos formais e Máquina de estados abstratos · Veja mais »
Microprocessador
O microprocessador, geralmente chamado apenas de processador, é um circuito integrado que realiza as funções de cálculo e tomada de decisão de um computador.
Novo!!: Métodos formais e Microprocessador · Veja mais »
Morte
Morte (do termo latino mors), óbito (do termo latino obitu), falecimento (falecer+mento), passamento (passar+mento), ou ainda desencarne (deixar a carne), são sinônimos usados para se referir ao processo irreversível de cessamento das atividades biológicas necessárias à caracterização e manutenção da vida em um sistema orgânico.
Novo!!: Métodos formais e Morte · Veja mais »
Processo de desenvolvimento de software
Um processo de desenvolvimento de software é um conjunto de atividades, parcialmente ordenadas, com a finalidade de obter um produto de software.
Novo!!: Métodos formais e Processo de desenvolvimento de software · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Métodos formais e Prova matemática · Veja mais »
Rede de Petri
Uma rede de Petri ou rede de transição é uma das várias representações matemáticas para sistemas distribuídos discretos.
Novo!!: Métodos formais e Rede de Petri · Veja mais »
Segurança
Grades de segurança. Grades de segurança para uma planta. A palavra segurança tem vários significados, a depender do ponto de vista.
Novo!!: Métodos formais e Segurança · Veja mais »
Semântica formal
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.
Novo!!: Métodos formais e Semântica formal · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Métodos formais e Software · Veja mais »
Verificação
Verificação é o ato intrínseco de verificar se algum conhecimento filosófico, jurídico, político, científico ou educacional está condizente com as realidade e verdade, ou se precisa de maior embasamento técnico-científico, de mais estudos.
Novo!!: Métodos formais e Verificação · Veja mais »
Verificação de modelos
No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.
Novo!!: Métodos formais e Verificação de modelos · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Métodos formais e Verificação formal · Veja mais »
Z notation
A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais.
Novo!!: Métodos formais e Z notation · Veja mais »
Redireciona aqui:
Método formal, Métodos Formais.
