| 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
|