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:	DIM0436
Nome:	ESPECIFICACAO E VERIFICACAO DE PROGRAMAS
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:	( DIM0430 E DIM0110 ) OU ( ( DIM0610 OU DIM0157 ) E ( IMD0039 OU DIM0117 ) )
Co-Requisitos:
Equivalências:	( DIM0072 ) OU ( DIM0336 )
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ção informal, semi-formal e formal de programas. Uso da lógica como ferramenta de especificação. Verificação formal (provas). Testes sistemáticos. Teste de caixa-preta e de caixa-branca. Revisões.
Outros componentes que têm esse componente como equivalente DIM0336 - ESPECIFICACAO E VERIFICACAO DE PROGRAMAS
Outros componentes que têm esse componente como pré-requisito DIM0419 - ESPECIFICACOES FORMAIS
Histórico de Pré-Requisitos Expressão de Pré-Requisito Status Início da Vigência Fim da Vigência ( DIM0430 E DIM0110 ) OU ( ( DIM0610 OU DIM0157 ) E ( IMD0039 OU DIM0117 ) ) ATIVO 24/12/2022 ( ( DIM0430 ) E ( ( ( DIM0427 ) E ( DIM0426 ) ) OU ( DIM0110 ) ) ) OU ( DIM0610 E IMD0039 ) INATIVO 14/01/2014 23/12/2022 ( ( DIM0430 ) E ( DIM0427 ) E ( DIM0426 ) ) INATIVO 24/04/2008 09/07/2017 ( ( DIM0430 ) E ( DIM0427 ) E ( DIM0426 ) ) OU ( DIM0110 ) INATIVO 01/06/2010 09/07/2017 ( ( DIM0430 ) E ( ( ( DIM0427 ) E ( DIM0426 ) ) OU ( DIM0110 ) ) ) INATIVO 21/07/2010 09/07/2017 ( ( DIM0430 ) E ( DIM0427 ) E ( DIM0426 ) ) INATIVO 15/02/2008 09/07/2017
Histórico de Equivalências Expressão de Equivalência Ativa Início da Vigência Fim da Vigência ( DIM0072 ) OU ( DIM0336 ) ATIVO 24/12/2022 ( DIM0072 ) OU ( DIM0336 ) INATIVO 14/01/2014 23/12/2022 ( DIM0072 ) OU ( DIM0336 ) INATIVO 24/04/2008 09/07/2017 ( DIM0072 ) OU ( DIM0336 ) INATIVO 01/06/2010 09/07/2017 ( DIM0072 ) OU ( DIM0336 ) INATIVO 21/07/2010 09/07/2017 ( DIM0072 ) OU ( DIM0336 ) INATIVO 15/02/2008 09/07/2017
Currículos Código Ano.Período de Implementação Matriz Curricular Obrigatória Período Ativo 03 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Sim 03A 2008.2 ENGENHARIA DE COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - AUTOMACAO INDUSTRIAL - MTN Não 0 Não 03 2008.1 ENGENHARIA DE COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - AUTOMACAO INDUSTRIAL - MTN Não 7 Não 01B 2010.2 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Sim 4 Não 02 2014.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Sim 8 Não 01A 2009.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Sim 4 Não 01 2007.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Sim 4 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - COMPUTAÇÃO - MT Não 0 Não 01C 2011.1 CIÊNCIA DA COMPUTAÇÃO - NATAL - BACHARELADO - Presencial - MT Sim 4 Não 02 2019.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - DESENVOLVIMENTO DE SOFTWARE - MT Não 0 Sim 01 2014.2 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - ENGENHARIA DE SOFTWARE - MT Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS DE INFORMAÇÃO DE GESTÃO - N Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - SISTEMAS EMBARCADOS - MT Não 0 Não 02 2014.1 TECNOLOGIA DA INFORMAÇÃO - NATAL - BACHARELADO - Presencial - INFORMÁTICA EDUCACIONAL - 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 - N Não 0 Não 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 - sigaa04-producao.info.ufrn.br.sigaa04-producao v4.12.21