Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2012/13)

Tópicos

Avisos

15 Jul - Exame de recurso do módulo CSI - terá lugar dia tinynew.gif 18 de Julho (5ª-feira), às 9h30, na sala DI 1.08.

15 Jul - Publicadas as notas finais da época normal em tinynew.gif Funcionamento

6 Jul - As notas finais de AMT foram publicadas.

10 Jun - As classificações do teste de CSI encontram-se em Funcionamento.

08 Jun - Milestone 4 (PI): recomenda-se a leitura de How to write a great research paper (ver tinynew.gif Projecto) na preparação dos slides+relatório a apresentar nesta milestone final.

06 Jun - A Milestone 4 do PI terá lugar no dia 27-Jun - ver planeamento em tinynew.gif Sumários.

06 Jun - Chama-se a atenção dos alunos para o preenchimento na intranet dos inquéritos pedagógicos até tinynew.gif 3-Jul 2013.

13 Fev - Teste do módulo CSI - terá lugar dia 1 de Março (6ª-feira), às 9h00, na sala DI 1.08.

04 Jan - a milestone nr.1 do Projecto integrado terá lugar na próxima quinta-feira, 10-Jan, das 14h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI), sendo transmitidas via Skype para os supervisores nas empresas.

13 Nov - A WS de apresentação dos projectos (PI) aos alunos aulas terá lugar na próxima quinta-feira, 15-Nov, das 12h00 às 18h00, na sala DI 1.08 (1º andar do edifício do DI).

28 Set - As aulas iniciam-se na próxima quinta-feira, 4-Out, às 9h00, na sala DI 1.08 (1º andar do edifício do DI).

24 Set - A apresentaçao desta UC na Semana Inaugural MEI @ 2012/2013 terá lugar no dia 27-Set às 16h00, ver Sumários.

13 Set - Criação do site.

50 Recent Changes in TWiki Web retrieved at 23:07 (GMT)

Material 04 Mar 2015 - 13:34 - r64 MariaJoaoFrade
Material disponível ou a disponibilizar: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. ...
WebSideBar 20 Sep 2014 - 21:41 - r60 JoseNunoOliveira
Tópicos Benvindo a MFES Docentes Contacto Sumários principal Alunos Funcionamento Programa Material Projecto ...
WebHome 11 Sep 2013 - 12:03 - r41 JoseNunoOliveira
Bem vindo a MFES Bem vindo à página da edição de 2012/13 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ...
EquipaDocente 11 Sep 2013 - 11:31 - r5 JoseNunoOliveira
Equipa docente Soares Barbosa Bernardo Barros Alcino Cunha João Frade Nuno Oliveira Sousa Pinto ...
Funcionamento 23 Jul 2013 - 15:32 - r8 JoseNunoOliveira
Índice Onde As aulas desta UCE decorrem todas num só dia, à 5ª feira , das 9h00 19h00 e numa só sala, o Laboratório DI 1.08 . Os meios audiovisuais estão localizados ...
Avisos 15 Jul 2013 - 17:05 - r14 JoseNunoOliveira
15 Jul Exame de recurso do módulo CSI terá lugar dia 18 de Julho (5ª feira), às 9h30, na sala DI 1.08. 15 Jul Publicadas as notas finais da época normal ...
AMT 06 Jul 2013 - 11:32 - r19 AlcinoCunha
Análise, Modelação e Teste Método de Avaliação A nota do módulo de AMT será a média pesada dos seguintes componentes: Teste individual sobre Alloy (40%). ...
PropostasTese 28 Jun 2013 - 14:59 - r7 JoseNunoOliveira
MSc theses proposals For more details about any of these proposals please contact its proponent: (1) Enforcing model consistency with minimal repairs (Alcino Cunha ...
Alunos 08 Jun 2013 - 12:37 - r8 JoseNunoOliveira
Alunos Nome Mestrado Status Abilio R. Couto MMC G André Filipe Faria dos Santos MEI A Celso Artur Falca #771;o Silva MEI D ...
ProjectoIntegrado 08 Jun 2013 - 11:33 - r17 JoseNunoOliveira
Projecto Integrado (Cohesive Project) Interesting and useful slides for preparing the milestones: http://research.microsoft.com/en us/um/people/simonpj/papers ...
NuSMV 13 Dec 2012 - 13:51 - r2 AlcinoCunha
Exercícios sobre Model Checking Instale a ferramenta de model checking NuSMV e utilize a para resolver os seguintes exercícios: 1. Verifique que o de Peterson para ...
Programa 02 Oct 2012 - 15:10 - r2 AlcinoCunha
Módulos A UCE consta dos módulos CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
Calendario 24 Sep 2012 - 14:57 - r2 JoseNunoOliveira
Calendarização / Sumários da UCE Calendário UM 2012/13 : Despacho RT 19 2012 Formato ICS : a disponibilizar Actualização contínua no calendário: JoseNunoOliveira ...
WebPreferences 13 Sep 2012 - 11:08 - r19 AlcinoCunha
Education/MFES1213 Web Preferences The following settings are web preferences of the Education/MFES1213 web. These preferences overwrite the site level preferences ...
WebStatistics 10 Sep 2011 - 18:37 - r1184 TWikiGuest
Statistics for Education/MFES1213 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
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 ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1213 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1213 web"}% /Education/MFES1213
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 28 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

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