Resumo do Componente Curricular

Dados Gerais do Componente Curricular

Tipo do Componente Curricular:	DISCIPLINA
Unidade Responsável:	CCET - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA (12.05)
Código:	DIM0516
Nome:	MÉTODOS FORMAIS DE ENGENHARIA DE SOFTWARE
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:	DIM0505 OU ( ( DIM0610 OU DIM0157 ) E ( IMD0039 OU DIM0117 ) )
Co-Requisitos:
Equivalências:	( DIM0419 )
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:	Não
Necessita de Orientador:	Não
Possui Subturmas:	Não
Exige Horário:	Sim
Quantidade de Avaliações:	3
Ementa/Descrição:	Especificações formais baseadas em conjuntos. Especificação de dados e operações. Refinamentos sucessivos e implementação. Ferramentas para desenvolvimento de especificações formais. Outras técnicas de especificação formal.
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência DIM0505 OU ( ( DIM0610 OU DIM0157 ) E ( IMD0039 OU DIM0117 ) ) ATIVO 24/12/2022 DIM0505 OU ( DIM0430 E ( ( DIM0427 E DIM0426 ) OU DIM0110 ) ) OU ( DIM0610 E ( IMD0039 OU DIM0117 ) ) INATIVO 30/06/2019 23/12/2022 ( DIM0505 ) INATIVO 10/08/2010 29/06/2019 ( DIM0505 ) INATIVO 06/11/2009 09/07/2017
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( DIM0419 ) ATIVO 24/12/2022 ( DIM0419 ) INATIVO 30/06/2019 23/12/2022 ( DIM0419 ) INATIVO 10/08/2010 29/06/2019 ( DIM0419 ) INATIVO 06/11/2009 09/07/2017
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 01 2010.1 ENGENHARIA DE SOFTWARE - NATAL - BACHARELADO - Presencial - MT Sim 5 Não 02 2014.2 ENGENHARIA DE SOFTWARE - NATAL - BACHARELADO - Presencial - MT Sim 7 Sim 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Não 02 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - DESENVOLVIMENTO DE SOFTWARE - MT Sim 7 Sim 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS EMBARCADOS - MT Não 0 Não 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Sim 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMAÇÃO DE GESTÃO - N Não 0 Não 01 2014.2 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - ENGENHARIA DE SOFTWARE - MT Sim 7 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - INFORMÁTICA EDUCACIONAL - N Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - N Não 0 Não 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - N Não 0 Sim 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Sim 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Não 03 2023.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Não 0 Sim

SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa06-producao.info.ufrn.br.sigaa06-producao v4.12.24