Avançar para o conteúdo principal

Tesauro Brasileiro de Ciência da Computação

Idioma do conteúdo

Termo preferencial

Métodos Formais

Conteúdo
owl:NamedIndividual

Métodos Formais são métodos utilizados para elaboração de sistemas computacionais dando prioridade a sua coesão, isto porque estes métodos são desenvolvidos a partir de princípios matemáticos que garantem a sua exatidão na capacidade de expressão das ideias vinculadas ao projeto de software. (devmedia.com.br)

C.1.6 C.1.6 - Conceber soluções computacionais a partir de decisões visando o equilíbrio de todos os fatores
C.2.7 C.2.7 - Identificar e analisar requisitos e especificações para problemas específicos e planejar estratégias para suas soluções
C.3.8 C.3.8 - Identificar e analisar requisitos e especificações para problemas específicos e planejar estratégias para suas soluções
C.6.5 C.6.5 - Ser capaz de realizar trabalho cooperativo e entender os benefícios que este pode produzir
C.7.6 C.7.6 - Identificar e analisar requisitos e especificações para problemas específicos e planejar estratégias para suas soluções

Métodos Formais

espanhol
Formais Methods

inglês

URI

http://lod.unicentro.br/2017/DiretrizesSBC#metodosFormais

Baixar este conceito:

RDF/XML TURTLE JSON-LD