Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

4 Fev - tinynew.gif As notas finais de UC2 - CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente.

30 Jan - tinynew.gif As notas finais de UC1 - EM já se encontram na respectiva página. Os exames podem ser consultados dia 2 de Fevereiro às 14:00 no gabinete do docente.

25 Jan - A aula de dúvidas de UC2 - CSI já está narcada no calendário (30-Jan de tarde, na sala do costume).

24 Jan - A hora do exame de UC1 - EM foi alterada para as 9h00 do dia 25 de Janeiro (sala CP2 111).

24 Jan - A hora do exame de UC2 - CSI foi alterada para as 11h00 do dia 1 de Fevereiro (sala CP2-105).

18 Jan - A entrega do trabalho de Alloy foi adiada para o dia 21 de Janeiro.

18 Jan - As notas do teste de UC1 - EM já se encontram na respectiva página. Os testes podem ser consultados dia 19 de Janeiro às 14:00 no gabinete do docente.

10 Jan - As notas do teste de UC2 - CSI já se encontram na respectiva página.

8 Jan - Colocados na página de CSI os enunciados das provas de avaliação com propostas de resolução .

4 Jan - A aula suplementar de hoje terá lugar na sala DI 1.09

23 Dez - As notas do miniteste de UC2 - CSI já se encontram na respectiva página.

11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na 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 - 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 - 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.

Education/MFES1718 Web Changed Changed by
AC 14 Feb 2018 - 13:56 - r2 JoseProenca
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...
ATS 16 Feb 2018 - 10:59 - r17 JoaoSaraiva
Análise e Teste de Software Docentes João Saraiva homepage Alunos Afonso João Borges Cabral Cerejeira da Silva a70387 Afonso Pires Pontes pg35389 ...
Avisos 05 Feb 2018 - 00:42 - r23 JoseNunoOliveira
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ...
CSI 21 Nov 2018 - 21:01 - r22 JoseNunoOliveira
UC2 Cálculo de Sistemas de Informação E Learning Docente / Horário Docente Foto Horário Sala Nuno Oliveira 5a feira, 14h 17h Sala ...
Calendario 09 Sep 2017 - 11:35 - NEW JoseNunoOliveira
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 09 Sep 2017
EM 30 Jan 2018 - 09:38 - r17 AlcinoCunha
Especificação e Modelação Docente e horário Docente Foto Horário Sala Alcino Cunha 5a feira, 9h 12h Sala 1.16 (antiga 1.08) Método ...
EquipaDocente 15 Sep 2018 - 11:20 - r3 JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Oliveira Sousa Pinto Alexandre Saraiva ...
LEI 07 Mar 2018 - 08:38 - r6 JoseNunoOliveira
Cohesive Project (Lab. EI) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj/papers ...
VF 01 Feb 2018 - 16:45 - r2 JorgeSousaPinto
UC3 Verificação Formal (2ª semestre) de Verificação Formal 2018 JoseNunoOliveira 11 Sep 2017
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1718 web
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebCss 03 May 2007 - 08:33 - r4 AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
WebHome 19 Oct 2020 - 10:42 - r51 JoseNunoOliveira
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 . Este perfil de especialização do conta ...
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
WebPreferences 08 Sep 2017 - 10:06 - r22 AlcinoCunha
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ...
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1718 web"}% /Education/MFES1718
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSideBar 13 Feb 2018 - 18:12 - r88 JoseNunoOliveira
Tópicos Bem vindo a MFES principal Docentes Contacto Sumários OC Análise e Teste de Software UC1 Especificação e Modelação ...
WebStatistics 10 Sep 2011 - 18:37 - r1184 TWikiGuest
Statistics for Education/MFES1718 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
Found 26 topics.

See also the faster WebTopicList

r4 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM