Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2009/10)

Tópicos

Avisos

03 Set Lancamento das classificações finais - ver secção Funcionamento

19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas.

12 Jul A data de entrega dos exercícios de Coq foi adiada para o dia 29 de Julho.

29 Jun - Palestra HASLab de 30-Jun foi adiada devido à ICPC'10- detalhes aqui

27 Jun - A sessão da manhã do dia 1-Jul será dedicada à preparação da última milestone - ver Sumários

27 Jun - Data da última Milestone do PI(II): 15-Julho. Mais detalhes sobre a calendarização do mês de Julho na página de Sumários

15 Jun - Actualizada informação relativa a provas de avaliação individual (ver Funcionamento)

24 Mai Atenção à data da segunda Milestone do PI(II): 17-Junho. A terceira (e última, com participação da indústria) será em meados de Julho.

22 Abr Atenção à data da primeira Milestone do PI(II): 6-Maio. A segunda será em meados de Junho e a terceira (e última) em meados de Julho.

3 Fev Atenção à calendarização das provas de avaliação e milestones (ver sumários da UCE).

9 Dez O relatório referente à primeira Milestone (10-Dez) pode ser entregue até ao dia 17-Dez.

3 Dez O fórum dos alunos encontra-se aqui.

29 Out Está a partir de hoje on-line o repositório de ferramentas da associação FME.

29 Out A sessão de CSI de 05-Nov será ocupada pelo módulo AMT (ver sumários)

29 Set As aulas começaram no dia 1 de Outubro às 9h00.

29 Set Criação do site.

50 Recent Changes in TWiki Web retrieved at 16:40 (GMT)

WebStatistics 02 Dec 2020 - 11:24 - r2234 TWikiGuest
Statistics for Education/MFES0910 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebSideBar 26 Sep 2012 - 19:23 - r25 JoseNunoOliveira
Tópicos Benvindo a MFES Docentes Contacto principal Alunos Funcionamento Programa Sumários Material Projecto (PI) ...
Material 15 Jul 2012 - 18:12 - r51 JoseNunoOliveira
Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
Funcionamento 11 Apr 2011 - 10:52 - r15 JoseNunoOliveira
Índice: Onde As aulas desta UCE decorrem todas num só dia, à 5ª feira , das 9h00 18h00 e numa só sala, o Laboratório DI 1.08 . Os meios audiovisuais estão localizados ...
ProjectoIntegrado 19 Nov 2010 - 23:35 - r36 JoseNunoOliveira
Projecto Integrado (II) 15 July Milestone Workshop schedule Morning: Begin End Description External(s) Medium 10h00 10h30 SIG1 J.Visser ...
Avisos 06 Oct 2010 - 19:51 - r21 JoseNunoOliveira
03 Set Lancamento das classificações finais ver secção Funcionamento 19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas. 12 Jul A data de ...
Alunos 29 Jul 2010 - 21:37 - r25 JoseNunoOliveira
Alunos Número Nome Foto E mail 10934 Gonçalo Veiga gjveiga.lesi AT gmail DOT com 13405 Manuel Costa mane costa AT hotmail DOT com ...
Calendario 15 Jul 2010 - 15:40 - r4 JoseNunoOliveira
WebHome 28 Jun 2010 - 09:36 - r27 JoseNunoOliveira
Bem vindo a MFES Bem vindo à página da edição de 2009/10 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ...
EquipaDocente 28 May 2010 - 16:32 - r5 JoseNunoOliveira
Equipa docente Soares Barbosa Bernardo Barros Alcino Cunha João Frade Nuno Oliveira Sousa Pinto ...
Programa 25 May 2010 - 11:09 - r4 JoseNunoOliveira
Módulos A UCE consta dos módulos seguintes, CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
Sponsors 17 May 2010 - 12:01 - NEW JoseNunoOliveira
Parcerias JoseNunoOliveira 17 May 2010
WebPreferences 01 Oct 2009 - 11:32 - r18 JoseNunoOliveira
Education/MFES0910 Web Preferences The following settings are web preferences of the Education/MFES0910 web. These preferences overwrite the site level preferences ...
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
MetodosFormais 10 May 2007 - 22:38 - r5 JoseNunoOliveira
Métodos Formais Preâmbulo A ciência tem a ver com o perceber se como o mundo e as suas coisas funcionam e a tecnologia com o garantir que certas coisas que se ...
CalculoSistemasInformacao 10 May 2007 - 22:13 - r4 JoseNunoOliveira
Cálculo de Sistemas de Informação O objectivo deste módulo é mostrar como, de modelos abstractos, puramente declarativos, como os que se estudaram em Formais , se ...
AnaliseTesteSoftware 10 May 2007 - 11:55 - r4 JoseNunoOliveira
Análise e Teste de Software Neste módulo, convidam se os alunos a trocar a visão construtiva do arquitecto de software pela visão do avaliador , ou gestor de ...
Modulos 04 May 2007 - 10:58 - r3 AlcinoCunha
Módulos Os conteúdos programáticos desta UCE são agrupados em 4 módulos temáticos e um de projecto integrador, de acordo com a seguinte estrutura: Métodos Formais ...
ProcessosArquitecturasSoftware 04 May 2007 - 10:47 - r3 AlcinoCunha
Processos e Arquitecturas de Software Este módulo constitui uma introdução ao estudo da arquitectura dos sistemas na dupla perspectiva da estrutura das suas intera ...
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/MFES0910 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES0910 web"}% /Education/MFES0910
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 31 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