Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [17/18]

Tópicos

Avisos

11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na tinynew.gif Sala de Reuniões do DIUM do 3º andar (não foi possível obter nenhuma sala comum, está tudo cheio nesse dia).

11 Dez - tinynew.gif Preparação em casa ('Flipped Classroom') das aulas de CSI desta semana (2 dias): ler até ao slide 172 (para 4ª-feira) e daí fazer os exercícios que estão nesta folha.

04 Dez - CSI: sessão de dúvidas - amanhã à tarde, após as 16h30, o docente estará disponível para tirar dúvidas para o mimi-teste.

03 Dez - CSI: pf vejam as FAQs que vão aparecendo ao fundo da página de CSI.

27 Nov - CSI: Por colisão de agenda com um júri da FEUP em que o docente participa, o miniteste terá que ser adiado 1 semana. Esta semana apenas permanece a aula T das 17h-18h.

13 Nov - As aulas de reposição da próxima 4ª-feira dia 15 terão lugar no Anfiteatro DI-1.01 (vulg. A2).

12 Out - Preparação em casa das aulas de CSI desta semana (2 dias): ler até ao slide 114 e preparar os exercícios 28-31 e 43-44. NB: há uma nova versão dos slides, com algumas alterações (204 slides no total).

29 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 92 e preparar os exercícios 19, 21, 22 e

16 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.

7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.

30 Set - Os slides de UC2 - CSI já estão disponíveis.

22 Set - tinynew.gif Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.

19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).

17 Set - Início das aulas: 19-Set.

09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.

06 Set - Slides da apresentação do perfil.

Bem-vindo ao Perfil de MFES

Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software. youtube Este perfil de especialização do MiEI conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software. logo mfes Todos fazemos parte do Laboratório HASLab/U.Minho (Formal Methods for High-Assurance Software), em que se vem consolidando know-how em métodos formais desde há mais de 30 anos. haslab.jpg

As disciplinas que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial. Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.


Classificação ACM

Número de ECTS por área de conhecimento, segundo as IEEE/ACM Curriculum Guidelines for Software Engineering:

  • Software/SOFTWARE ENGINEERING/Metrics --- 2
  • Software/SOFTWARE ENGINEERING/Requirements/Specifications --- 6
  • Software/SOFTWARE ENGINEERING/Software Architectures --- 6
  • Software/SOFTWARE ENGINEERING/Software/Program Verification --- 6
  • Software/SOFTWARE ENGINEERING/Testing and Debugging --- 4
  • Theory of Computation/LOGICS AND MEANINGS OF PROGRAMS/Specifying and Verifying and Reasoning about Programs --- 6


Divulgação


Parcerias


Citações

In late 1967 the Study Group recommended the holding of a working conference on Software Engineering. The phrase `software engineering' was deliberately chosen as being provocative, in implying the need for software manufacture to be based on the types of theoretical foundations and practical disciplines, that are traditional in the established branches of engineering.

There are two ways of constructing a software design: one way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

It is easier to write an incorrect program than understand a correct one.

Program testing can be used to show the presence of bugs, but never to show their absence!

Simplicity does not precede complexity, but follows it.


Humor

(Source: Software Development: A Rigorous Approach by C.B. Jones)

r50 - 17 Sep 2017 - 12:30:31 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM