SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:

MÓDULO

Unidade Responsável:

Código:

NCC0124

Nome:

Métodos Formais (08051191)

Carga Horária Teórica:

60 h.

Carga Horária Prática:

0 h.

Carga Horária de Ead:

0 h.

Carga Horária Total:

60 h.

Pré-Requisitos:

Co-Requisitos:

Equivalências:

( MDI0124 )

Excluir da Avaliação Institucional:

Não

Matriculável On-Line:

Sim

Horário Flexível da Turma:

Sim

Horário Flexível do Docente:

Sim

Obrigatoriedade de Nota Final:

Sim

Pode Criar Turma Sem Solicitação:

Sim

Necessita de Orientador:

Não

Possui Subturmas:

Não

Exige Horário:

Sim

Quantidade de Avaliações:

Ementa/Descrição:

Aspectos formais no desenvolvimento de software e no tratamento formal de concorrência e paralelismo. Categoria de métodos formais para especificação, refinamento e verificação de software. Modelos e ferramentas de apoio no desenvolvimento formal de software. Aplicação de métodos formais na especificação de sistemas complexos.

Currículos
Código	Ano.Período de Implementação	Matriz Curricular	Obrigatória	Período	Ativo
NCP1002	2014.1	CIENCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT	Sim	5	Não
NCP1001	2019.1	CIENCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT	Sim	5	Não
NCP2023	2023.1	CIENCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT	Não	0	Sim

<< Voltar