Especificação e Modelação

Métodos Formais em Engenharia de Software

Tópicos

Avisos

23 Fev - Classificações após exame de recurso: serão publicadas em Alunos amanhã.

09 Fev - Por ter faltado, por lapso, a resolução de uma questão do teste de 28-Jan, acrescentou-se essa resolução ao PDF publicado em Material.

08 Fev - Exame de recurso: Sala CPII-208, dia 12-02-2015 (quinta-feira) das 09h00 às 11h00.

08 Fev - Correcção do teste de 28-Jan: está publicada em Material.

05 Fev - Classificações após correcção do teste: estão publicadas em Alunos.

26 Jan - Sala do teste: CPII-201, dia 28-01-2015 (quarta-feira) das 15h00 às 17h00.

19 Jan - Classificações do mini-teste: estão publicadas em Alunos.

19 Jan - Correcção do mini-teste: está publicada em Material.

14 Jan - *Preparação em casa ('Flipped Classroom') da aula de amanhã: estudar o caso de estudo VFS ('Verified File System') e os invariantes 'pc' e 'ri' (228) do respectivo modelo.

06 Jan - Perfil MFES: no final da aula da próxima 5ª-feira (12h) será feita uma breve apresentação dos temas que o perfil MFES tem para oferecer no 2º semestre, na disciplina Laboratório de Engenharia Informática.

06 Jan - Sala do mini-teste: CPII-208, dia 07-01-2015 das 16h00 às 17h00.

14 Dez - O mini-teste de 7-Jan (16h-17h, com consulta) constará de 4 questões (cada uma valendo 2.5 valores) e versará sobre toda a matéria até ao exercício 57, inclusivé.

14 Dez - 'Flipped Classroom' para 18 Dez : estudar os exercícios 47, 48, 56 e 57.

11 Dez - Mini-teste: 7-Jan, das 16h às 17h, sala e matéria a indicar.

09 Dez - (Anúncio) Bolsa BIL 6 meses em Programação funcional avançada : eventuais alunos desta disciplina interessados devem contactar o docente da disciplina ou o Prof. M.M. Barbosa (mbb@di.uminho.pt) até à próxima quinta-feira o mais tardar.

06 Dez - 'Flipped Classroom' para 11 Dez : estudar os exercícios 64, 67 e 68.

29 Nov - 'Flipped Classroom' para 04 Dez : estudar cuidadosamente a ficha Exercícios sobre caso de estudo "O novo plano de estudos do MEI" que está prevista para essas aulas.

22 Nov - 'Flipped Classroom' para 27 Nov : estudar a prova de (79) (anexo dos slides) e os exercícios 40 e 52.

14 Nov - 'Flipped Classroom' para 20 Nov : fazer os exercícios 49, 50, 51, 53 e 54.

10 Nov - No próximo dia 13-Nov vai haver uma aula TP suplementar de EM no horário de ATS (resolução de exercícios).

10 Nov - 'Flipped Classroom' para 13 Nov : fazer os exercícios 44 e 45; derivar a versão PF do invariante do "problema MEI" da aula anterior.

05 Nov - As aulas desta disciplina regressam a partir de hoje à sala DI-0.03.

01 Nov - 'Flipped Classroom' para 6 Nov : fazer os exercícios 31, 33, 34 e 36.

24 Out - 'Flipped Classroom' para 30 Out : (a) fazer os exercícios 25, 26, 27, 29 e 31; (b) completar o modelo 'Propositio de homine et capra et lvpo' em Alloy com factos (slide 35) e correr no Alloy analyser.

22 Out - As aulas desta disciplina passam a partir de hoje a ter lugar na sala DI-0.05.

15 Out - As aulas desta disciplina passam a partir de hoje a ter lugar na sala DI-0.03.

23 Set - As aulas iniciam-se no próximo dia 25 de Setembro, às 9h00, na sala DI 1.08.

22 Set - Criação do site.

Education/EM Web Changed Changed by
Alunos 09 Sep 2017 - 19:32 - r5 JoseNunoOliveira
Classificações finais Por ordem de número mecanográfico: a48392 13 . id4065 12 ; pg12449 F ; pg18306 R ; pg25312 13 ; pg25314 12 ; pg25317 13 ; pg26342 ...
Avisos 09 Sep 2017 - 19:33 - r32 JoseNunoOliveira
23 Fev Classificações após exame de recurso: serão publicadas em Alunos amanhã. 09 Fev Por ter faltado, por lapso, a resolução de uma questão do teste de ...
Calendario 18 Dec 2014 - 09:02 - r3 JoseNunoOliveira
Calendarização / Sumários da disciplina Calendário escolar: Despacho RT 06/2014 Actualização contínua no calendário: JoseNunoOliveira 23 Sep 2014
Material 09 Feb 2015 - 17:24 - r19 JoseNunoOliveira
Material disponível ou a disponibilizar: Bibliografia D. Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. C.B ...
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EM web
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebCss 16 Feb 2007 - 14:32 - r3 AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
WebHome 29 Oct 2014 - 23:19 - r38 JoseNunoOliveira
Benvindo a Especificação e Modelação Bem vindo à página da edição de 2014/15 da disciplina de e Modelação do perfil de especialização em Métodos Formais em Engenharia ...
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 23 Sep 2014 - 10:54 - r17 AlcinoCunha
Education/EM Web Preferences The following settings are web preferences of the Education/EM web. These preferences overwrite the site level preferences in ...
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/EM web"}% /Education/EM
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSideBar 09 Sep 2017 - 19:34 - r109 JoseNunoOliveira
Tópicos Apresentação Sumários Alunos Alunos Material Avisos
WebStatistics 29 Oct 2020 - 15:24 - r2331 TWikiGuest
Statistics for Education/EM Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebTopicActions 18 May 2007 - 08:03 - r2 AlcinoCunha
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
Found 21 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