Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021

Tópicos

Avisos

29 Nov - Os avisos de CSI estão agora nesta página: https://haslab.github.io/MFES/CSI/2021/index

27 Out - EM: o servidor do alloy4fun já está a funcionar.

12 Out - As aulas iniciam-se esta semana.

17 Set - Vídeo de apresentação da edição 2020/21 de MFES.

Statistics for Education/MFES 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