50 Recent Changes in TWiki Web retrieved at 18:36 (GMT)
| WebHome |
19 Nov 2018 - 00:34 - r48 |
JoseNunoOliveira |
| Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou ... |
|
| ATS |
09 Sep 2017 - 12:00 - r22 |
JoseNunoOliveira |
| Análise e Teste de Software A disciplina de Análise e Teste de Software estuda métodos e ferramentas para a análise e teste de sistemas de software. A parte de an ... |
|
| Avisos |
04 Sep 2017 - 10:22 - r33 |
JoseNunoOliveira |
| 04 Set Lançadas a classificações do exame da época especial de E M . 15 Jul Exames da época especial: ver Sumários. 22 Jun Notas dos testes e do TP2 já sairam ... |
|
| EM |
04 Sep 2017 - 10:19 - r40 |
JoseNunoOliveira |
| Especificação e Modelação Classificações do exame da época especial: a64287 R; pg22842 R. Classificações finais: (Apenas dos alunos avaliados ... |
|
| AC |
29 Jun 2017 - 10:40 - r33 |
JoseProenca |
| Arquitectura e Cálculo Funcionamento Docentes Proença Nuno Oliveira Método de avaliação Teste individual escrito (60%) 3 trabalhos (40%) ... |
|
| LEI |
07 Jun 2017 - 13:50 - r18 |
JoseNunoOliveira |
| Cohesive Project (Laboratório de Engenharia Informática) The main aim of this course unit (10 ECTS) is for students to engage in group work around a project proposed ... |
|
| VF |
25 May 2017 - 15:37 - r12 |
MariaJoaoFrade |
| Verificação Formal Docentes: Jorge Sousa Pinto e Maria João Frade Slides Apresentação Logic and SAT solvers Logic and SMT solvers and ... |
|
| 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 ... |
|
Number of topics: 25
See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes