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.

Statistics for Education/MFES1213 Web

Month: Topic
views:
Topic
saves:
File
uploads:
Most popular
topic views:
Top contributors for
topic save and uploads:
Sep 2011 446 0 0 120 Material
 64 WebHome
 34 Funcionamento
 24 WebSearch
 20 Avisos
 20 WebSideBar
 20 ProjectoIntegrado
 17 VFS?
 16 EquipaDocente
 15 Alunos
 11 Calendario
 
Aug 2011 1373 4 1 325 Material
170 WebHome
 97 ProjectoIntegrado
 87 AMT
 82 Funcionamento
 80 Alunos
 61 Avisos
 60 VFS?
 53 WebSideBar
 38 WebPreferences
 30 WebStatistics
  5 JorgeSousaPinto
Jul 2011 3255 40 3 836 WebHome
509 Funcionamento
418 VFS?
380 Material
157 ProjectoIntegrado
147 WebStatistics
143 AMT
138 Alunos
118 Calendario
 60 WebSideBar
 45 Avisos
 37 JoseNunoOliveira
  6 AlcinoCunha
Jun 2011 2397 25 1 562 WebHome
441 Material
343 VFS?
210 Funcionamento
151 ProjectoIntegrado
123 Calendario
 94 Alunos
 57 AMT
 52 EquipaDocente
 46 Avisos
 46 WebSideBar
 13 JoseNunoOliveira
 10 JorgeSousaPinto
  3 LuisSoaresBarbosa
May 2011 2243 10 4 475 Material
394 AMT
355 WebHome
180 ProjectoIntegrado
154 Alunos
120 VFS?
 89 Calendario
 84 Funcionamento
 56 WebSideBar
 47 Programa
 42 Avisos
  7 LuisSoaresBarbosa
  4 JoseNunoOliveira
  2 JorgeSousaPinto
  1 AlcinoCunha
Apr 2011 2064 26 6 406 WebHome
360 Material
232 VFS?
199 ProjectoIntegrado
 98 Calendario
 86 AMT
 86 Funcionamento
 71 Alunos
 55 EquipaDocente
 50 WebPreferences
 50 WebSideBar
 17 JoseNunoOliveira
 10 LuisSoaresBarbosa
  5 JorgeSousaPinto
Mar 2011 3233 105 16 681 WebHome
570 AMT
477 Material
377 ProjectoIntegrado
148 Calendario
148 Alunos
123 Funcionamento
 87 VFS?
 74 WebSideBar
 71 Programa
 68 EquipaDocente
 84 JoseNunoOliveira
 16 AlcinoCunha
 10 JorgeSousaPinto
  9 LuisSoaresBarbosa
  1 JoostVisser
  1 MiguelFerreira
Feb 2011 1715 27 12 483 WebHome
275 Material
175 AMT
142 ProjectoIntegrado
126 Calendario
 87 Alunos
 74 Funcionamento
 57 Programa
 42 WebStatistics
 36 EquipaDocente
 32 Avisos
 32 AlcinoCunha
  7 JoseNunoOliveira
Jan 2011 2320 21 2 494 WebHome
361 AMT
318 Material
165 Calendario
162 ProjectoIntegrado
123 Alunos
 88 WebSearch
 78 Avisos
 78 Funcionamento
 75 Programa
 72 EquipaDocente
 12 AlcinoCunha
 11 JoseNunoOliveira
Dec 2010 2365 59 12 529 Material
443 WebHome
364 AMT
199 ProjectoIntegrado
135 Alunos
122 Calendario
112 Funcionamento
 57 Programa
 52 EquipaDocente
 51 WebSearch
 42 Avisos
 51 JoseNunoOliveira
 20 AlcinoCunha
Nov 2010 2180 15 3 575 Material
478 WebHome
197 ProjectoIntegrado
167 Funcionamento
142 Calendario
103 Alunos
 71 Programa
 63 WebSearch
 50 WebStatistics
 41 EquipaDocente
 30 Avisos
 12 AlcinoCunha
  6 JoseNunoOliveira
Oct 2010 1621 34 7 436 WebHome
391 Material
143 ProjectoIntegrado
120 Calendario
116 Alunos
 88 Funcionamento
 69 WebStatistics
 45 Programa
 42 EquipaDocente
 28 WebSearch
 18 Avisos
 28 AlcinoCunha
 13 JoseNunoOliveira
Sep 2010 2302 13 0 525 WebHome
444 Funcionamento
375 WebStatistics
221 Material
151 Alunos
 95 ProjectoIntegrado
 55 WebSearch
 55 Programa
 50 EquipaDocente
 38 Avisos
 33 Calendario
 10 JoseNunoOliveira
  2 AlcinoCunha
  1 MariaJoaoFrade
Aug 2010 3054 1 0 1163 Funcionamento
472 WebHome
307 WebStatistics
230 ProjectoIntegrado
226 Material
146 Alunos
 55 Programa
 53 WebSearch
 40 Calendario
 38 EquipaDocente
 33 WebSideBar
  1 MariaJoaoFrade
Jul 2010 329 0 0  94 WebHome
 57 Funcionamento
 51 Material
 34 ProjectoIntegrado
 24 WebSearch
 15 Calendario
  9 Alunos
  8 Programa
  6 WebLeftBar
  6 EquipaDocente
  4 Avisos
 
Jun 2010 2860 35 0 629 WebHome
434 Funcionamento
426 Material
236 Alunos
210 ProjectoIntegrado
179 Calendario
115 WebSearch
 96 Programa
 87 WebPreferences
 82 EquipaDocente
 62 Avisos
 28 JoseNunoOliveira
  7 JorgeSousaPinto
May 2010 2462 90 26 519 WebHome
403 Funcionamento
389 Material
193 ProjectoIntegrado
139 EquipaDocente
131 Alunos
105 Calendario
 92 Programa
 89 WebSearch
 45 Avisos
 41 WebStatistics
 93 JoseNunoOliveira
 12 MariaJoaoFrade
 11 LuisSoaresBarbosa
Apr 2010 1702 46 15 414 WebHome
367 Material
200 Funcionamento
148 ProjectoIntegrado
 76 Calendario
 68 WebSearch
 66 Programa
 59 Alunos
 39 EquipaDocente
 38 Avisos
 22 WebStatistics
 21 JoseNunoOliveira
 20 LuisSoaresBarbosa
 20 MariaJoaoFrade
Mar 2010 2305 25 8 592 WebHome
388 Material
314 ProjectoIntegrado
184 Funcionamento
143 Alunos
129 Calendario
119 Programa
 86 EquipaDocente
 46 WebStatistics
 33 Avisos
 32 WebSideBar
 20 MariaJoaoFrade
  8 JoseNunoOliveira
  5 LuisSoaresBarbosa
Feb 2010 2391 40 8 661 WebHome
544 Material
223 Alunos
149 ProjectoIntegrado
123 Calendario
 79 Programa
 72 EquipaDocente
 63 Funcionamento
 61 Avisos
 54 WebPreferences
 49 WebSideBar
 26 JoseNunoOliveira
 20 AlcinoCunha
  2 LuisSoaresBarbosa
Jan 2010 1627 4 1 488 WebHome
244 Material
104 Calendario
103 Alunos
 88 ProjectoIntegrado
 61 Programa
 54 WebStatistics
 51 WebPreferences
 51 Funcionamento
 50 EquipaDocente
 46 WebSideBar
  3 AlcinoCunha
  2 JoseNunoOliveira
Dec 2009 2156 29 4 646 WebHome
267 Material
248 ProjectoIntegrado
191 Alunos
133 Calendario
 83 Funcionamento
 82 Programa
 76 EquipaDocente
 59 WebStatistics
 45 Avisos
 37 WebSideBar
 19 AlcinoCunha
 14 JoseNunoOliveira
Nov 2009 2036 10 0 506 WebHome
264 Material
176 ProjectoIntegrado
134 Calendario
127 Alunos
119 WebPreferences
 71 EquipaDocente
 71 Programa
 66 Funcionamento
 62 WebStatistics
 57 WebSideBar
 10 JoseNunoOliveira
Oct 2009 2843 81 11 834 WebHome
554 Material
279 Alunos
177 Calendario
166 Programa
165 Funcionamento
139 ProjectoIntegrado
133 EquipaDocente
 38 MetodosFormais?
 35 Avisos
 35 WebSideBar
 57 AlcinoCunha
 35 JoseNunoOliveira
Sep 2009 381 0 0  47 WebHome
 39 WebPreferences
 28 Modulos?
 24 ProcessosArquitecturasSoftware?
 23 MetodosFormais?
 23 WebStatistics
 21 WebLeftBar
 19 Avisos
 17 ProjectoIntegrado
 16 WebTopicList
 16 AnaliseTesteSoftware?
 
Aug 2009 528 0 0  71 WebHome
 38 WebPreferences
 34 WebIndex
 34 WebLeftBar
 33 WebCss
 32 MetodosFormais?
 32 WebStatistics
 32 Modulos?
 29 WebSideBar
 27 Avisos
 18 ProjectoIntegrado
 
Jul 2009 483 0 0  97 WebHome
 46 Modulos?
 41 MetodosFormais?
 33 WebPreferences
 31 WebSideBar
 29 ProjectoIntegrado
 28 AnaliseTesteSoftware?
 28 ProcessosArquitecturasSoftware?
 24 WebLeftBar
 21 CalculoSistemasInformacao?
 19 WebStatistics
 
Jun 2009 440 0 0  60 WebStatistics
 45 WebHome
 29 MetodosFormais?
 27 ProcessosArquitecturasSoftware?
 24 WebPreferences
 23 Modulos?
 21 ProjectoIntegrado
 20 AnaliseTesteSoftware?
 19 Avisos
 19 WebLeftBar
 19 CalculoSistemasInformacao?
 
May 2009 379 0 0  54 WebHome
 32 WebPreferences
 23 WebIndex
 23 Modulos?
 21 MetodosFormais?
 21 CalculoSistemasInformacao?
 20 WebLeftBar
 20 WebStatistics
 18 WebCss
 17 Avisos
 16 ProcessosArquitecturasSoftware?
 
Apr 2009 439 0 0  77 WebHome
 41 WebPreferences
 30 WebStatistics
 27 ProcessosArquitecturasSoftware?
 26 WebLeftBar
 26 Modulos?
 24 MetodosFormais?
 23 WebIndex
 19 WebSideBar
 16 AnaliseTesteSoftware?
 16 Avisos
 
Mar 2009 466 0 0  87 WebHome
 41 WebPreferences
 40 MetodosFormais?
 32 WebStatistics
 27 WebLeftBar
 25 AnaliseTesteSoftware?
 24 Modulos?
 22 CalculoSistemasInformacao?
 17 WebSideBar
 15 ProcessosArquitecturasSoftware?
 14 WebCss
 
Feb 2009 306 0 0  38 WebHome
 25 MetodosFormais?
 24 WebPreferences
 23 WebStatistics
 19 WebLeftBar
 16 WebSideBar
 16 WebChanges
 15 Modulos?
 14 WebIndex
 14 WebCss
 13 AnaliseTesteSoftware?
 
Jan 2009 277 0 0  52 WebHome
 23 ProcessosArquitecturasSoftware?
 23 CalculoSistemasInformacao?
 22 MetodosFormais?
 20 WebStatistics
 19 AnaliseTesteSoftware?
 15 ProjectoIntegrado
 14 WebSideBar
 11 Modulos?
 10 Avisos
 10 WebTopBar
 
Dec 2008 467 0 0  62 WebStatistics
 55 WebHome
 44 MetodosFormais?
 29 ProcessosArquitecturasSoftware?
 29 CalculoSistemasInformacao?
 27 Modulos?
 23 WebSideBar
 22 ProjectoIntegrado
 20 AnaliseTesteSoftware?
 20 WebCss
 20 Avisos
 
Nov 2008 282 0 0  52 WebHome
 35 MetodosFormais?
 24 AnaliseTesteSoftware?
 24 ProcessosArquitecturasSoftware?
 16 Avisos
 15 CalculoSistemasInformacao?
 14 Modulos?
 13 ProjectoIntegrado
 10 WebStatistics
  9 WebPreferences
  8 WebChanges
 
Oct 2008 456 0 0  66 WebHome
 56 ProcessosArquitecturasSoftware?
 41 MetodosFormais?
 37 AnaliseTesteSoftware?
 31 CalculoSistemasInformacao?
 31 ProjectoIntegrado
 23 WebStatistics
 22 Modulos?
 21 WebPreferences
 17 Avisos
 15 WebSideBar
 
Sep 2008 453 0 0  82 WebHome
 45 MetodosFormais?
 30 ProcessosArquitecturasSoftware?
 29 WebPreferences
 29 CalculoSistemasInformacao?
 28 AnaliseTesteSoftware?
 25 ProjectoIntegrado
 24 WebStatistics
 21 Modulos?
 18 WebSideBar
 15 WebLeftBar
 
Aug 2008 325 0 0  53 WebHome
 45 WebStatistics
 26 MetodosFormais?
 24 AnaliseTesteSoftware?
 22 CalculoSistemasInformacao?
 19 ProcessosArquitecturasSoftware?
 18 ProjectoIntegrado
 16 Avisos
 14 Modulos?
 11 WebTopBar
 10 WebTopicList
 
Jul 2008 452 0 0  83 WebHome
 40 WebStatistics
 36 MetodosFormais?
 29 ProcessosArquitecturasSoftware?
 28 AnaliseTesteSoftware?
 26 WebPreferences
 25 Modulos?
 24 Avisos
 24 ProjectoIntegrado
 23 CalculoSistemasInformacao?
 14 WebSideBar
 
Jun 2008 516 0 0  79 WebHome
 76 WebStatistics
 47 MetodosFormais?
 39 AnaliseTesteSoftware?
 38 ProcessosArquitecturasSoftware?
 31 CalculoSistemasInformacao?
 26 Modulos?
 23 ProjectoIntegrado
 21 Avisos
 19 WebPreferences
 15 WebSideBar
 
May 2008 480 0 0  79 WebStatistics
 77 WebHome
 45 ProcessosArquitecturasSoftware?
 40 MetodosFormais?
 29 CalculoSistemasInformacao?
 25 Modulos?
 24 AnaliseTesteSoftware?
 24 ProjectoIntegrado
 23 Avisos
 14 WebPreferences
 13 WebTopicActions
 
Apr 2008 521 0 0  72 WebStatistics
 69 WebHome
 47 ProcessosArquitecturasSoftware?
 39 MetodosFormais?
 26 WebPreferences
 26 CalculoSistemasInformacao?
 24 Modulos?
 23 AnaliseTesteSoftware?
 22 Avisos
 18 WebSearch
 17 WebTopicList
 
Mar 2008 694 0 0 132 WebHome
 63 MetodosFormais?
 53 ProcessosArquitecturasSoftware?
 50 WebStatistics
 38 AnaliseTesteSoftware?
 38 ProjectoIntegrado
 35 WebPreferences
 35 CalculoSistemasInformacao?
 34 Modulos?
 28 Avisos
 21 WebNotify
 
Feb 2008 614 0 0 110 WebHome
 62 MetodosFormais?
 50 ProcessosArquitecturasSoftware?
 47 AnaliseTesteSoftware?
 40 CalculoSistemasInformacao?
 40 WebStatistics
 35 ProjectoIntegrado
 32 WebPreferences
 30 Modulos?
 25 Avisos
 19 WebSideBar
 
Jan 2008 602 0 0  99 WebStatistics
 86 WebHome
 49 MetodosFormais?
 36 AnaliseTesteSoftware?
 33 ProcessosArquitecturasSoftware?
 31 CalculoSistemasInformacao?
 25 WebPreferences
 24 ProjectoIntegrado
 24 Modulos?
 22 Avisos
 22 WebSideBar
 
Dec 2007 617 0 0  85 WebStatistics
 81 WebHome
 50 MetodosFormais?
 49 WebPreferences
 39 ProcessosArquitecturasSoftware?
 30 AnaliseTesteSoftware?
 26 ProjectoIntegrado
 24 Avisos
 24 CalculoSistemasInformacao?
 23 WebTopicList
 23 Modulos?
 
Nov 2007 392 0 0  68 WebHome
 36 MetodosFormais?
 34 WebStatistics
 29 WebPreferences
 27 CalculoSistemasInformacao?
 26 AnaliseTesteSoftware?
 26 ProcessosArquitecturasSoftware?
 16 Avisos
 16 ProjectoIntegrado
 16 Modulos?
 12 WebTopicList
 
Oct 2007 687 0 0 147 WebHome
 63 MetodosFormais?
 59 ProcessosArquitecturasSoftware?
 45 WebStatistics
 44 WebPreferences
 42 AnaliseTesteSoftware?
 41 CalculoSistemasInformacao?
 33 Modulos?
 28 ProjectoIntegrado
 22 WebSideBar
 17 Avisos
 
Sep 2007 458 0 0  78 WebHome
 52 WebStatistics
 44 MetodosFormais?
 35 AnaliseTesteSoftware?
 33 CalculoSistemasInformacao?
 28 ProcessosArquitecturasSoftware?
 26 WebPreferences
 25 ProjectoIntegrado
 25 Modulos?
 17 Avisos
 15 WebSideBar
 
Aug 2007 645 0 0 104 WebHome
 59 WebStatistics
 52 MetodosFormais?
 43 AnaliseTesteSoftware?
 40 ProcessosArquitecturasSoftware?
 36 WebPreferences
 33 CalculoSistemasInformacao?
 30 WebChanges
 27 ProjectoIntegrado
 25 Modulos?
 23 WebSideBar
 
Jul 2007 646 0 0 126 WebHome
 51 MetodosFormais?
 48 CalculoSistemasInformacao?
 42 AnaliseTesteSoftware?
 41 ProcessosArquitecturasSoftware?
 40 WebPreferences
 39 ProjectoIntegrado
 28 Avisos
 25 Modulos?
 23 WebTopBar
 20 WebSideBar
 
Jun 2007 581 0 0  79 WebHome
 67 MetodosFormais?
 51 AnaliseTesteSoftware?
 46 ProcessosArquitecturasSoftware?
 40 CalculoSistemasInformacao?
 34 Modulos?
 31 WebPreferences
 27 ProjectoIntegrado
 26 WebSearch
 20 WebSideBar
 19 Avisos
 
May 2007 784 61 9 200 WebHome
104 MetodosFormais?
 75 AnaliseTesteSoftware?
 50 Modulos?
 49 ProcessosArquitecturasSoftware?
 45 CalculoSistemasInformacao?
 35 ProjectoIntegrado
 22 WebSearch
 18 WebSideBar
 18 WebPreferences
 17 WebStatistics
 40 AlcinoCunha
 30 JoseNunoOliveira
Apr 2007 144 16 1  19 WebHome
 12 MetodosFormais?
 10 Modulos?
  9 CalculoSistemasInformacao?
  8 AnaliseTesteSoftware?
  8 WebPreferences
  8 WebChanges
  8 ProcessosArquitecturasSoftware?
  7 WebSideBar
  7 ProjectoIntegrado
  6 Avisos
 17 AlcinoCunha
Mar 2007 1244 15 5 417 WebHome
352 MaterialApoio?
 89 Projectos?
 71 Programa
 66 Sumarios?
 56 Funcionamento
 19 WebSideBar
 18 WebPreferences
 17 Avisos
 13 WebTopicList
 13 WebChanges
 20 AlcinoCunha
Feb 2007 1223 135 8 397 WebHome
150 MaterialApoio?
115 Funcionamento
115 Programa
 88 Sumarios?
 85 WebPreferences
 57 Projectos?
 39 WebSideBar
 31 WebCSS?
 13 WebSearch
 13 ViewSkinAlcinoTemplate?
140 AlcinoCunha
  3 LuisSoaresBarbosa

Notes:

  • Do not edit this topic, it is updated automatically. (You can also force an update)
  • TWikiDocumentation tells you how to enable the automatic updates of the statistics.
  • Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

r1184 - 10 Sep 2011 - 18:37:19 - TWikiGuest
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM