Menu Conteúdo Rodapé
  1. Início
  2. Cursos
  3. Engenharia Informática
  4. Programação Certificada

Programação Certificada

Código 14498
Ano 1
Semestre S1
Créditos ECTS 6
Carga Horária OT(15H)
Área Científica Informática
Tipo de ensino Presencial
Objectivos de Aprendizagem Esta disciplina visa abordar os principais vectores de que depende o projecto fiável de aplicações à escala industrial.

Após a conclusão desta UC, o aluno deverá ser capaz de:
- Estudar os diferentes aspectos de fiabilidade
- escolher a tecnologia, o formalismo e as ferramentas adequada a cada projecto de software fiável
- modelar, implementar sistemas fiáveis
- certificar, ou seja demonstrar com a ajuda do computador resultados de fiabilidade.
Conteúdos programáticos 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, demonstrar, verificar, testar e avaliar.
Metodologias de Ensino e 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

A avaliação contínua mede em termos práticos a aquisição dos conceitos expostos. Como tal é baseada na realização de exercícios entregue à equipa docente e que concluem a exposição de cada capítulo do programa previsto. Alguns exercícios poderão ter uma parte opcional que, se realizada, poderá valorizar a nota do exercício.
A Nota da Componente Avaliação Contínua (NCAC, 20 valores) é a média das notas dos exercícios.
5.2 Admissão e Avaliação por Exame

Mínimos: são seguidas as disposições aprovadas pelo Conselho Científico da Universidade aplicadas individualmente as duas componentes de avaliação.
Bibliografia principal
José Carlos Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification. Series: Undergraduate Topics in Computer Science, Springer. 1st Edition., 2011, XIII, 307 p. 52 illus. ISBN: 978-0-85729-017-5.

Development An Introduction to Program Verification. Springer Verlag, 2010.
Yves Bertot and Pierre Casteran. Interactive Theorem Proving and Program Development. Springer Verlag, 2004.

J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.

Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.

J-F. Monin. Understanding Formal Methods. Springer Verlag, 2002. Translation editor M. Hinchey.
H. R. Nielson, F. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Língua Português
Data da última atualização: 2021-06-24
As cookies utilizadas neste sítio web não recolhem informação pessoal que permitam a sua identificação. Ao continuar está a aceitar a política de cookies.