Saltar para:
Logótipo
This page in english Ajuda Autenticar-se
Projecto da Casa da U. Porto
Você está em: Início > EIC0039
Autenticação




Mapa das Instalações
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

Métodos Formais em Engenharia de Software

Código: EIC0039     Sigla: MFES

Áreas Científicas
Classificação Área Científica
OFICIAL Engenharia de Software

Ocorrência: 2006/2007 - 2S

Ativa? Sim
Página Web: http://paginas.fe.up.pt/~apaiva/teach/0607/MFES.htm
Unidade Responsável: Secção de Informática
Curso/CE Responsável: Mestrado Integrado em Engenharia Informática e Computação

Ciclos de Estudo/Cursos

Sigla Nº de Estudantes Plano de Estudos Anos Curriculares Créditos UCN Créditos ECTS Horas de Contacto Horas Totais
LEIC 0 Plano de estudos de transição para 2006/07 4 5 5 -
MIEIC 29 Plano de estudos oficial a partir de 2006/07 4 - 5 -
Plano de estudos de transição para 2006/07 4 - 5 -

Docência - Horas

Teórico-Práticas: 2,00
Tipo Docente Turmas Horas
Teórico-Práticas Totais 1 2,00
Ana Cristina Ramada Paiva 2,00

Língua de trabalho

Português

Objetivos

Saber aplicar métodos formais de especificação e verificação no desenvolvimento de sistemas de software, particularmente usando linguagens de especificação baseadas em modelos.
Conhecer os métodos formais existentes e saber quando devem ser aplicados e quais são mais adequados em cada caso.

Programa

1. Introdução (semana 1-2)
O que são métodos formais.
Importância e aplicabilidade dos métodos formais no desenvolvimento de software.
Métodos Formais e Engenharia de Software.
Modelos de ciclo de vida e processos de desenvolvimento de software incorporando métodos formais.
Especificação, refinamento, implementação e verificação.
Classificação de métodos formais.
Modelos explícitos vs implícitos, executáveis vs não executáveis.
Técnicas de verificação formal.
Um pequeno exemplo de desenvolvimento de software usando métodos formais.

2. Especificação baseada em modelos (semanas 3-11)
As linguagens VDM-SL e VDM++.
Representação de dados com base em estruturas matemáticas (conjuntos, sequências e funções finitas).
Especificação com estado e sem estado.
Definição de tipos, valores e funções.
Definição de classes, variáveis de instância e operações.
Expressões e instruções.
Definição de invariantes, pré-condições e pós-condições.
"Design-by-contract".
Descrição de algoritmos, especificações executáveis.
Verificação e validação dos modelos: obrigações de prova (consistência do modelo) e teste.
Ferramentas: VDMTools e/ou Spec Explorer

Bibliografia Obrigatória

Fitzgerald, John; Validated designs for object-oriented systems. ISBN: 1-85233-881-4

Bibliografia Complementar

Fitzgerald, John; Modelling systems. ISBN: 0-521-62605-6
Alagar, V. S.; Specification of software systems. ISBN: 0-387-98430-5

Métodos de ensino e atividades de aprendizagem

As aulas serão usadas para realização de um projecto e para exposição e estudo dos conteúdos programáticos.

Software

Spec Explorer
VDMTools

Palavras Chave

Ciências Tecnológicas > Tecnologia > Tecnologia de computadores > Tecnologia de software
Ciências Tecnológicas > Engenharia > Engenharia de computadores

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Descrição Tipo Tempo (Horas) Peso (%) Data Conclusão
Aulas da disciplina (estimativa) Participação presencial 26,00
Exames Exame 4,00 2007-07-31
Preparação para exames Exame 20,00 2007-06-08
Projecto de grupo Trabalho escrito 65,00 2007-06-08
Total: - 0,00

Componentes de Ocupação

Descrição Tipo Tempo (Horas) Data Conclusão
Estudo individual Estudo autónomo 20 2007-06-08
Total: 20,00

Obtenção de frequência

Nota mínima de 40% na classificação de frequência.

Fórmula de cálculo da classificação final

Avaliação distribuída com exame final, com as seguintes componentes:
a) exame final com consulta, duração 2h, peso 30%, nota mínima de 40%;
b) classificação de frequência:
- realização de um projecto em grupo, peso 60%, nota mínima de 40%;
- desempenho nas aulas, peso 10%, nota mínima de 40%.

Avaliação especial (TE, DA, ...)

No caso de alunos dispensados da frequência às aulas, não se aplica a componente de desempenho nas aulas, passando o exame final a ter um peso de 40%.
O trabalho prático é obrigatório para todos os alunos.
Recomendar Página Voltar ao Topo
Copyright 1996-2019 © Faculdade de Engenharia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2019-04-22 às 01:51:42 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais