Últimos anúncios
More information
Descrição:
Conhecer especificações formais e métodos formais para a engenharia de software, assim como as ferramentas/métodos de análise automática das propriedades dos programas. A disciplina fornece conhecimentos em: 1. Desenho e modelação de sistemas de software usando uma linguagem de especificação formal. Verificação automática de modelos e das suas propriedades. Linguagem de especificação declarativa para expressar restrições e comportamento de sistemas de software. Estados e traços. Modelação estática e dinâmica. 2. Verificação automática de programas (funcionais e imperativos) contra especificações. Verificação de propriedades funcionais. Construção de programas verificados através da anotação de código com teoremas, pré- e pós-condições, invariantes de ciclo, asserções, etc.
- 2014/2015 - 1º Semestre -- (MEIC-A)
- 2013/2014 - 1 Semestre -- (MEIC-A)
- 2012/2013 - 1 Semestre -- (MEIC-A)
- 2011/2012 - 1 Semestre -- (MEIC-A)
- 2010/2011 - 1 Semestre -- (MEIC-A)
- 2009/2010 - 1 Semestre -- (MEIC-A)
- 2008/2009 - 1 Semestre -- (MEIC-A)
- 2007/2008 - 1 Semestre -- (MEIC-A)
- 2006/2007 - 2 Semestre -- (LEIC-pB, MEIC-A)