Programação Certificada

Departamento de Informática
Universidade da Beira Interior

Ano lectivo 2015/2016

Esta página no formato pdf

1  Novidades

Contents

2  Docentes

Simão Melo de Sousa (regente) - Gabinete 3.17 - Laboratório (Rel)ease (6.25) - Bloco VI

3  Objectivos

3.1  Objectivos Gerais da UC

Esta disciplina visa abordar os principais vectores de que depende o projecto fiável de aplicações à escala industrial.

3.2  Competências da UC ou Resultados da Aprendizagem

Após a conclusão desta UC, o aluno deverá ser capaz de:

3.3  Conteúdos

Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, criando modelos matemáticos sobre os quais é possível raciocinar e calcular. Na sua componente prática, a disciplina ensina a conceber e animar modelos de problemas, testando-os atempada e exaustivamente antes de se proceder à fase de cálculo e implementação, por forma a evitar erros de perspectiva ou imprecisões de concepção. Em suma: ensina-se a saber modelar, calcular, verificar, testar e avaliar.

4  Programa

5  Critérios de Avaliação

A avaliação será realizada por avaliação contínua.

Fraudes

A equipa docente gostaria de realçar que qualquer tipo de fraude em qualquer dos itens desta disciplina implica a reprovação automática do aluno faltoso, podendo ainda vir a ser alvo de processo disciplinar. Listamos a seguir as diferentes componentes da avaliação.

5.1  Componente Ensino/Aprendizagem

5.2  Admissão e Avaliação por Exame

6  Datas Importantes

7  Software

Proof Assistants : COQ

Design by contract - Deductive Program Verification : Principalmente why3, mas também Frama-C

Model checking: Uppaal

Model based Specification and Verification: Atelier B

8  Material Pedagógico e Referências Bbliográficas




Enviar comentários e dúvidas para (retire os UUU) : desousaUUU@UUUdi.ubi.pt


This document was translated from LATEX by HEVEA.