500 Recent Changes in TWiki Web retrieved at 17:26 (GMT)

MenuTopics	19 Sep 2008 - 13:37 - r46	JoseBacelarAlmeida
AeC AFP CA CriptoBio EDFS EC DSI ELP1 ELP2 ELP3 IJ LAD LabMF LI1 LC MFP1 MFP2 MP1 MP2 MP4 Opcao III PF PP1 PP2 Estágios Projectos PhD@DI

LI1Aula2	09 Oct 2007 - 12:28 - r7	JoseBarros
Sessão Laboratorial 2 Nesta sessão pretende se tomar conhecimento com conceitos básicos da linguagem Haskell , nomeadamente: expressões e sua avaliação, ...

LI1Aula1	04 Oct 2007 - 11:06 - r5	OlgaPacheco
Sessão Laboratorial 1 Nesta primeira sessão pretende se familiarizar os alunos com o ambiente de programação que será utilizado nesta unidade curricular. Admite se ...

LaboratoriosInformatica1	03 Oct 2007 - 09:39 - r33	JoseBarros
Notícias Laboratórios Informática I em Engenharia Informática 1º Ano 1º Semestre Ano lectivo 2006/2007 Apresentação Na actual estrutura da Licenciatura ...

WebSearchAdvanced	17 May 2007 - 14:51 - NEW	TWikiGuest

WebStatistics	26 Feb 2007 - 00:41 - r922	JoseBacelarAlmeida
Statistics for Education/Archive Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...

MFPII0405	26 Feb 2007 - 00:31 - r11	JoseBacelarAlmeida
SumáriosAulas Métodos Formais de Programação II 2004 2005 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Te ...

MFPIISum0405	26 Feb 2007 - 00:31 - r10	JoseBacelarAlmeida
T (2005.02.21) : Apresentação da Disciplina. Noção de refinamento. TP (2005.02.22, 2005.02.24) : Apresentação e marcação de turnos. Generalização das construções ...

LI1News	23 Feb 2007 - 22:46 - r8	JoseBacelarAlmeida
23/02/2007 : Já disponíveis as notas da época de recurso. 19/02/2007 : O exame de recurso será realizado na 4ª feira, às 14:30 no DI0.11. O exame incluirá as componentes ...

ProgramacaoFuncional	23 Feb 2007 - 17:59 - r48	MariaJoaoFrade
Notícias Programação Funcional em Matemática e Ciências de Computação 1º Ano 1º Semestre (7001N7) Ano lectivo 2005/2006 (anterior) Programa Na actual ...

InformaticaJuridica	22 Feb 2007 - 11:54 - r64	JoseManuelValenca
Informática Jurídica Licenciatura em Direito 4º Ano 2º Semestre Ano lectivo 2005/2006 Programa Segurança Informática Programa detalhado Bibliografia ...

AttackOnTheClones	16 Feb 2007 - 17:48 - r9	JoostVisser
The Attack On The Clones project is about the creation of a software clone detection portal. Phase 1 (Opção 3, sep 2003 feb 2004) The first edition of the Attack ...

WebLeftBar	13 Feb 2007 - 02:58 - r2	JoseBacelarAlmeida
Topics:

MetodosProgramacaoIFAQ0405	12 Feb 2007 - 19:48 - r112	JoseBacelarAlmeida
Em principio quando é que sairão as notas da primeira chamada? Seria possivel disponibilizarem na página o exame da primeira chamada? Seria bastante util para quem ...

MetodosProgramacaoI0405	12 Feb 2007 - 19:48 - r58	JoseBacelarAlmeida
Notícias Enunciados Exames 1a. chamada 2a. chamada 3a. chamada Notas Época Especial (Outubro 2005) N. Nome Curso Nota Exame Nota Final ...

MetodosProgramacaoI	12 Feb 2007 - 19:48 - r20	JoseBacelarAlmeida
Métodos de Programação I 2005 2006 (anexo) ATENÇÃO: A página oficial da disciplina está alojada em http://www.di.uminho.pt/~jno/html/mpi.html . Esta página destina ...

HaskellBindingToGraphViz	12 Feb 2007 - 19:32 - r10	JoseBacelarAlmeida
Haskell Biding to GraphViz Student : João Paulo Barbosa Overview This project consists of creating a Haskell binding to AT T's library. This involves using a Foreign ...

XMLtoSQLConversionToolAFPProject	12 Feb 2007 - 19:32 - r7	JoseBacelarAlmeida
XML to SQL Conversion Tool Student : RicardoVilaca Project Introduction In this project I have to develop a tool to XML SQL Conversion based on Haskell/Strafunski ...

EstagiosProfisionais	12 Feb 2007 - 19:32 - r7	JoseBacelarAlmeida
The following is a list of Undergraduate Project Proposals in the context of the Research.PURe project Grammar Engineering Location: Vrije Universiteit or CWI ...

WebPreferences	12 Feb 2007 - 19:20 - r25	JoseBacelarAlmeida
TWiki.Education/Archive Web Preferences The following settings are web preferences of the TWiki.Education/Archive web. These preferences overwrite the site level ...

WebHome	12 Feb 2007 - 19:20 - r29	JoseBacelarAlmeida
News Welcome to our Education.Archive Wiki! This Wiki is maintained by the LMF research group. If you need help using the Wiki goto the TWiki Web. If you want to ...

StrategicXMLQueryingAFPProject	12 Feb 2007 - 19:20 - r6	JoseBacelarAlmeida
Strategic Querying of XML Documents Student : VitorRodrigues In this project you will develop a set of combinators for querying XML documents expressed in the strafunski ...

CloneDetectionAFPProject	12 Feb 2007 - 19:20 - r3	JoseBacelarAlmeida
Home Page for the AdvancedFunctionalProgramming Project "Clone Detection in Haskell". To be filled with abundant and pertinent information. Work in progress ...

FlexibleSkinTopBar	12 Feb 2007 - 19:20 - r3	JoseBacelarAlmeida
Education.Archive@LMF

ProgramacaoFuncional0405	12 Feb 2007 - 19:15 - r41	JoseBacelarAlmeida
Programação Funcional em Matemática e Ciências de Computação 1º Ano 1º Semestre Ano lectivo 2004/2005 Notas Notas do exame de Recurso Notas ...

ParadigmasProgramacaoI0405	12 Feb 2007 - 19:15 - r57	JoseBacelarAlmeida
Notícias Paradigma da Programação I em Engenharia de Sistemas e Informática 1º Ano 1º Semestre (5301P3) Ano lectivo 2004/2005 (anteriores) Notas ...

ElementosLogicosProgramacaoIII0304	12 Feb 2007 - 19:15 - r12	JoseBacelarAlmeida
Elementos Lógicos da Programação III Licenciatura de Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2003/2004 Ùltima alteração: 12 ...

MetProgr1News0405	12 Feb 2007 - 19:15 - r23	JoseBacelarAlmeida
Terão lugar (no anfiteatro A1 do DI) as seguintes sessões de esclarecimento de dúvidas: 2a.fa. 14 Fev 10:00, com possibilidade de consulta dos exames (1a. chamada ...

EDFS	26 Jan 2007 - 18:04 - r11	LuisSoaresBarbosa
SumáriosAulas Especificação e Desenvolvimento Formal de Software 2006 2007 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/ ...

EDFSSum	26 Jan 2007 - 18:00 - r13	LuisSoaresBarbosa
T (2006.10.21a) : Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação implementação ...

LI1Aula3	23 Oct 2006 - 11:27 - r5	JoseBacelarAlmeida
Sessão Laboratorial 3 Assuntos abordados nesta sessão: Obs.: Este guião tem seguimento no da próxima sessão. Definição de funções recursivas A recursividade é um ...

LI1Aula4	23 Oct 2006 - 11:26 - NEW	JoseBacelarAlmeida
Sessão Laboratorial 4 Este Guião é a continuação do da sessão anterior. Assuntos abordados nesta sessão: Funções de ordem superior simples Nas funções realizadas ...

DesenvolvimentoSistemasInformacao	21 Jul 2006 - 10:44 - r30	OlgaPacheco
Sumários Desenvolvimento de Sistemas de Informação Licenciatura em Administração Pública 3º Ano 2º Semestre Ano lectivo 2005/2006 ................ ...

MetodosProgramacaoIV	11 Jul 2006 - 16:37 - r39	LuisSoaresBarbosa
SumáriosAulas Métodos de Programação IV (Modelação e Cálculo de Sistemas Reactivos) 2005 2006 Responsável pela Disciplina LuisSoaresBarbosa http ...

DSINews	15 May 2006 - 09:30 - r10	OlgaPacheco
Aula 1 23 de Fevereiro Não houve aula. Motivo: Simpósio doutoral do DI. Aula 2 2 de Março Apresentação da disciplina. Apresentação do trabalho prático ...

PFNews	08 Mar 2006 - 17:17 - r23	MariaJoaoFrade
Os exames de recurso podem ser consultados no próximo dia 10 de Março (6ªfeira) das 15h00 às 16h00 no anfiteatro DI A1 (piso 0, junto à recepção). MariaJoaoFrade ...

AlgoritmosComplexidadeNews	04 Mar 2006 - 01:50 - r7	JorgeSousaPinto
Notas da época de recurso disponibilizadas nesta página JorgeSousaPinto 04 Mar 2006 Notas da época normal disponibilizadas nesta página JorgeSousaPinto ...

AlgoritmosComplexidade	04 Mar 2006 - 01:48 - r18	JorgeSousaPinto
Notícias LMCC Algoritmos e Complexidade 2005 2006 Notas Notas Época Normal Notas Época Recurso Programa Resumido 1. Grafos: Conceitos e Algoritmos ...

AnAnt0405	02 Mar 2006 - 09:44 - NEW	OlgaPacheco
Desenvolvimento de Sistemas de Informação Licenciatura em Administração Pública 3º Ano 2º Semestre Ano lectivo 2004/2005 Avisos Os exames podem ...

MP4Sum	21 Feb 2006 - 14:34 - r9	LuisSoaresBarbosa
T (2006.02.21) : Apresentação da Disciplina. Introdução aos sistemas reactivos. Álgebras e Coalgebras. Tipos indutivos e coindutivos. Interação e comportamento. Comportamento ...

MetodosProgramacaoIFAQ	16 Dec 2005 - 17:52 - r14	AlcinoCunha
Devemos nos restringir unicamente aos operadores Pointfree indicados no enunciado (não há o Either, por exemplo)? Claro que não! Faltam todos os operadores das somas ...

ElementosLogicosProgramacaoIIINews	18 Oct 2005 - 19:50 - r7	AlcinoCunha
18 Out Já saíram as notas do exame da época especial. 27 Jul Já saíram as notas das orais. 22 Jul Já saíram as notas do exame de recurso. As orais serão no dia ...

ElementosLogicosProgramacaoIII	18 Oct 2005 - 19:49 - r22	AlcinoCunha
Notícias Elementos Lógicos da Programação 3 Licenciatura em Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2004 2005 Responsável ...

MetodosProgramacaoII	18 Oct 2005 - 16:55 - r91	JoseBarros
Notícias Métodos de Programação II 2004 2005 Sugestão de Leitura Robert Floyd, um grande Cientista da Computação, recordado aqui nas palavras de outro grande cientista ...

FlexibleSkinLeftBar	03 Oct 2005 - 11:03 - r3	JoseBacelarAlmeida
Home Navegação Disciplinas MP1 MP2 PFA

AdvancedFunctionalProgramming	20 Sep 2005 - 14:48 - r10	MariaJoaoFrade
Programação Funcional Avançada 2004 / 2005 AKA: Advanced Functional Programming General information Advanced Functional Programming is an optional course made available ...

MP4Gru	02 Aug 2005 - 10:30 - r17	LuisSoaresBarbosa
Grupo Nr Nome Tema Class. PRÁTICA Exame (N) Exame (R) CLASS. FINAL 1 35840 José Tércio Soares D 15 13 14 35743 Pedro Machado D ...

InformaticaJuridicaT28	13 Jul 2005 - 09:43 - NEW	JoseManuelValenca
Ensaios de Jeana Costa, Pedro Bastos e Ana Nunes A criminalidade Informática nos tribunais Gestão do Conhecimento Pay Pal Voto Electrónico Segurança da Informa ...

InformaticaJuridicaT4	13 Jul 2005 - 09:37 - r9	JoseManuelValenca
Ensaios de Elisa Faria, Susana Dourado e Vanessa Silva Sindicância de Dados Pessoais Formas de sindicância do cidadão comum sob os seus dados pessoais constantes ...

InformaticaJuridicaT13	13 Jul 2005 - 09:09 - r5	JoseManuelValenca
Ensaios de Claudio Carvalho, Elsa Barbosa e Silvia Silva A ASSINATURA DIGITAL Cartões Inteligentes Voto Electrónico Protecção dos Dados Pessoais Correio Electr ...

MP2News	12 Jul 2005 - 15:22 - r34	MariaJoaoFrade
Sessão de esclarecimento de dúvidas na próxima 2ª feira (dia 18) às 14:30 na sala DI 0.02 . MariaJoaoFrade 12 Jul 2005 Os testes poderão ser consultados na ...

MetodosProgramacaoIIFAQ	11 Jul 2005 - 14:59 - r113	TWikiGuest
FAQ de Métodos de Programação II Índice: Nas pautas que saíram relativamente ao ano 2004/05, alguns alunos têm como nota ' '. Em termos práticos, a que se resume ...

IJNews	05 Jul 2005 - 16:08 - r7	JoseManuelValenca
1 de Março início das aulas JoseManuelValenca 8 de Março devido à minha presença num júri não é possível dar a aula deste dia; nesta semana funciona só o turno ...

InformaticaJuridicaT3	30 Jun 2005 - 16:11 - r12	JoseManuelValenca
Ensaios de Eunice Coelho Dados Pessoais Video Vigilância Trabalho 3 Trabalho 4 Trabalho 5

InformaticaJuridicaT1B	30 Jun 2005 - 16:11 - r4	JoseManuelValenca
Ensaios de Silvia Vilas Boas Dias, Ana Rita Freitas e Angélica Sofia Campos Preservação da Proriedade Industrial Privacidade dos Dados Clínicos Voto Electrónico ...

InformaticaJuridicaTB	13 Jun 2005 - 15:30 - r5	JoseManuelValenca
Ensaios de Bruno Silva Voto Electrónico A Democracia nos dedos dos Cidadãos. Este trabalho é muito extenso (não respeitou os limites indicados) e repete muito ...

InformaticaJuridicaT9	12 Jun 2005 - 14:19 - r5	JoseManuelValenca
Ensaios de Andreia Leite, Angela Santos e Vera Silva Base de Dados de Recolha Genética (2ª versão) Trabalho bem apresentado focando os argumentos essenciais deste ...

InformaticaJuridicaT1A	12 Jun 2005 - 09:34 - r6	JoseManuelValenca
Ensaios de Ana Araújo Silva e Filipe Macedo Vigilância electrónica: Ponderação de princípios Este tema só perifericamente toca os objectivos deste curso; a exposi ...

InformaticaJuridicaT21	11 Jun 2005 - 18:18 - r2	JoseManuelValenca
Ensaios de Ana Pereira e Daniela Seixas Ética Hacker trabalho interessante mas acaba por dar pouca informação mesmo sobre eventuais pricípios éticos JoseManuelValenca ...

InformaticaJuridicaT12	11 Jun 2005 - 14:53 - r3	JoseManuelValenca
Ensaios de Ana Ferreira, Alexandra Cruz e Michelle Pinto A Avaliação de cada trabalho é feita numa escala de D (insatisfatório), C ou C (satisfatório), B ou B (bom ...

InformaticaJuridicaT8	10 Jun 2005 - 17:58 - r5	JoseManuelValenca
Ensaios de Alvaro Amorim, Carla Costa e Simone Marreiros Bases de Dados com Informação Genética Bom trabalho; claramente exposto e defendido; não tenho a certeza ...

InformaticaJuridicaT1D	10 Jun 2005 - 16:25 - r4	JoseManuelValenca
Ensaios de Albina Pinheiro A INTERNET NA REALIZAÇÃO DE ESCRITURAS E OUTROS ACTOS NOTARIAIS ATÉ QUE PONTO SERÁ FIÁVEL E RECOMENDÁVEL O RECURSO A ESTA FERRAMENTA ...

InformaticaJuridicaT27	09 Jun 2005 - 10:55 - NEW	JoseManuelValenca
Ensaios de Sofia Silva Segurança na Net JoseManuelValenca 09 Jun 2005

InformaticaJuridicaT16	09 Jun 2005 - 10:53 - r2	JoseManuelValenca
Ensaios de Carlos Macedo Criptografia Direito vs Informática JoseManuelValenca 06 May 2005

InformaticaJuridicaT15	09 Jun 2005 - 10:51 - r6	JoseManuelValenca
Ensaios de Rosa Ribeiro, Claudia Cunha e Eva Fanzeres Assinatura Digital Bases de Dados Genéticos Partilha de Dados Pessoais Novas tecnologias: impacto na sociedade ...

InformaticaJuridicaT23	08 Jun 2005 - 13:55 - r3	MafaldaMagalhaes?
Ensaios de Henrique Cunha, Cristina Ferreira e Mafalda Magalhães Esteganografia no Processo Civi MafaldaMagalhaes 08 Jun 2005 MafaldaMagalhaes 08 Jun 2005 ...

InformaticaJuridicaT11	07 Jun 2005 - 22:29 - r4	TeresaBizarro?
Ensaios de Regina Fernandes, Teresa Bizarro e Monica Lourenço Operações bancárias on line: insegurança ou desconfiança TeresaBizarro 07 Jun 2005 Declarações ...

InformaticaJuridicaT1F	06 Jun 2005 - 13:04 - r3	AngelicaCampos?
Ensaios de Eva Sousa, Pedro Miguel Sousa e Manuela Silva Cartão Único AngelicaCampos 06 Jun 2005 Assinatura Digital Voto Electrónico O avanço tecnológico no ...

InformaticaJuridicaT14	01 Jun 2005 - 10:02 - r6	JoseManuelValenca
Ensaios de Joana Vilas Boas e Ana Daniela Barbosa Que força probatória terá uma mensagem de correio electrónico? O Voto Electrónico eCash Cifra Cartão Único do ...

InformaticaJuridicaTF	01 Jun 2005 - 10:01 - r5	JoseManuelValenca
Ensaios de Susana Dias Tecnologias da Informação e Comunicação na Saúde A Progressiva Informatização no Direito (RE) PENSAR A SOCIEDADE DE INFORMAÇÃO E COMUNICA ...

InformaticaJuridicaT26	31 May 2005 - 14:57 - NEW	JoseManuelValenca
Ensaios de Bebiana Rafaela Ribeiro, Carla Aguiar e Filipa Martins A informática na saúde Assinatura Digital Cartão Único do Cidadão Criptografia O perfil gen ...

InformaticaJuridicaT24	31 May 2005 - 14:42 - r2	JoseManuelValenca
Ensaios de Manuel Ferreira, Vania Rodrigues e Helena Silva O problema dos direitos de autor no mundo informático.. Software LIvre CRIMINALIDADE INFORMÁTICA: SPAM ...

InformaticaJuridicaTA	31 May 2005 - 14:25 - r4	JoseManuelValenca
Ensaios de Carla Moreira, Silvia Fonseca e Vera Casto Identificação de dados pessoais sob o ponto vista financeiro Cartão Único Voto Electrónico Violação de Direitos ...

InformaticaJuridicaTC	31 May 2005 - 14:12 - r4	JoseManuelValenca
Ensaios de Helder Oliveira e Luis OLiveira Pirataria Informática (doc) Cartão Comum do Cidadão Contratos na Internet O Preço da Segurança Violação da Correspond ...

InformaticaJuridicaT1E	31 May 2005 - 11:57 - r4	JoseManuelValenca
Ensaios de Adelaide Cerqueira e Sandra Pereira Criptografia e Assinatura Digital AdelaideCerqueira 23 May 2005 Segurança Informática Dados Pessoais Escritura ...

InformaticaJuridicaT25	31 May 2005 - 11:40 - NEW	JoseManuelValenca
Ensaios de Casimiro Rosa e Abilio Ribeiro A INternet e os Direitos de Autor Assinatura Digital Internet: Meio de Ultrapassar Barreiras Phishing: Alerta Máximo ...

InformaticaJuridicaTD	31 May 2005 - 10:57 - r3	JoseManuelValenca
Ensaios de Vanessa Freitas e Magda Nunes Assinatura Digital Identificação Retinal Ensino Electrónico Comércio Electrónico Voto Electrónico JoseManuelValenca ...

InformaticaJuridicaT1C	31 May 2005 - 10:40 - r3	JoseManuelValenca
Ensaios de Vitor Novo, Manuel Almeida e João Varela Privacidade dos Dados Clínicos Agentes e Eventos A Questão Humana na Segurança da Informacão (parte 1) Faz ...

InformaticaJuridicaT18	31 May 2005 - 10:39 - r3	JoseManuelValenca
Ensaios de Jorge Serralheiro, Pedro Lima e Luis Cantanhede Bilhete de Identidade Electrónico BIOMETRIA: “SERÃO MESMO OS OLHOS O ESPELHO DA ALMA” OS DIREITOS DE ...

InformaticaJuridicaTE	31 May 2005 - 10:25 - r3	JoseManuelValenca
Ensaios de Catia Matos, Cecilia Cerqueira e Lucia Fernandes Criptografia de Chave Pública: Confidencialidade e Autenticação A Internet: Um Espaço de Comunicação ...

InformaticaJuridicaT22	31 May 2005 - 09:14 - NEW	JoseManuelValenca
Ensaios de Gloria Soares, Joana Carvalho e Raquel Gomes A Sociedade da Informação A segurança informática A criptografia ... ... JoseManuelValenca 31 May ...

InformaticaJuridicaT7	28 May 2005 - 18:17 - r8	JoseManuelValenca
Ensaios de Karina Silva e Eva Mendes Privacidade dos dados clínicos O voto electrónico A assinatura digital O correio electrónico A sociedade da informação ...

InformaticaJuridicaT17	27 May 2005 - 14:37 - r2	JoseManuelValenca
Ensaios de Ana Peixoto e Paula Lopes O Uso das Tecnologias de Informação no âmbito do Direito Processual Penal A Utilização das Novas Tecnologias no Local de Trabalho ...

InformaticaJuridicaT5	25 May 2005 - 16:32 - r6	JoseManuelValenca
Ensaios de Isabel Nunes, Claudia Pereira e Ana Tavares Voto Electrónico Vantagens da implementação de um sistema de voto alternativo ao tradicional sistema de voto ...

InformaticaJuridicaT19	25 May 2005 - 16:02 - r4	JoseManuelValenca
Ensaios de Angela Peixoto e Liliana Lourenço Assinatura Digital Sigilio Bancário Receita Electrónica Estampilhas Temporais Voto Electrónico JoseManuelValenca ...

InformaticaJuridicaT20	25 May 2005 - 15:59 - NEW	JoseManuelValenca
Ensaios de Diana Oliveira, Filipa Freitas e Elsa Direito "trabalho completo" JoseManuelValenca 25 May 2005

InformaticaJuridicaT10	25 May 2005 - 15:04 - r4	JoseManuelValenca
Ensaios de Helena Ribeiro, Arlindo Barros e Liliana Correia Sociedade de Informação – Cartão Único de Saúde Voto Electrónico Digitaliação de Livros Comércio Electr ...

InformaticaJuridicaT6	18 May 2005 - 09:53 - r2	JoseManuelValenca
Ensaios de Silvia Pinto e Tania Costa Informática Jurídica Voto Electrónico Assinaturas Digitais Teoria dos Sistemas Cartão Único do Cidadão JoseManuelValenca ...

InformaticaJuridicaT2	21 Apr 2005 - 15:21 - r7	JoseManuelValenca
Ensaios de Eunice Coelho Titulo1 resumo1 Titulo1 Titulo2 resumo2 Titulo2

IJBib	11 Apr 2005 - 14:57 - r3	JoanaBoas?
fornecida por todos Sobre as ideias básicas de Criptografia (exigindo um pouco de Matemática) um livro importante é o Applied Cryptography de Bruce Schneier. ...

RTp1	07 Apr 2005 - 11:08 - NEW	OlgaPacheco
Resultados do Trabalho Prático nº 1 Grupo Trabalho nº1 G1 de Informação do Centro de Saúde de Amares G2 de Informação da Câmara Municipal de Braga G3 ...

ElementosLogicosProgramacaoIIIProjecto	05 Apr 2005 - 07:48 - r3	AlcinoCunha
Elementos Lógicos da Programação III Projecto Prático Pretende se que modele e analise os dois problemas seguintes usando redes de petri e a ferramenta de model ...

SpreadsheetUnderScrutinyAFPProjectReport	05 Mar 2005 - 16:45 - r5	CupertinoMiranda
Spreadsheet Under Scrutiny Project Report Under construction Introduction Spreadsheet tools can be viewed as programming environments for non programmers. Their ...

ChopaChopsAFPProjectReport	04 Mar 2005 - 19:36 - r7	PatrickMachado?
Chopachops Report This page is under construction... Introdution !ChopaChops is a project for slicing and chopping in program graphs. Starting from the Java program ...

ChopaChopsAFPProject	04 Mar 2005 - 19:36 - r5	JoaoPBarbosa
ChopaChops: view and manipulate Java program graphs Powered by Chocapic! Student : Patrick Machado In this project you will develop an interactive tool to view ...

MetodosFormaisProgramacaoI	04 Mar 2005 - 16:51 - r13	LuisSoaresBarbosa
SumáriosAulas Métodos Formais de Programação I 2004 2005 Equipa Docente Teóricas: Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Te ...

SpreadsheetUnderScrutinyAFPProject	04 Mar 2005 - 11:43 - r3	CupertinoMiranda
SpreadSheet under Scrutiny Student : Cupertino Miranda In this project you will develop a tool for spreadsheet assessment. Spreadsheet tools can be viewed as programming ...

DisambiguationGLR	03 Mar 2005 - 16:27 - r2	JoostVisser
Embedding Disambiguation Rules in the HaGLR System Student : Luís Pedro Machado In this project we will embed a domain specific language to express disambiguation ...

PP1News	01 Mar 2005 - 18:30 - r12	MariaJoaoFrade
AVISO PROVAS ORAIS As provas orais irão realizar se na 6ªfeira dia 4 de Março, às 10:00 . Ponto de encontro: junto à secretaria do DI (piso 2). AVISO TURNOS ...

ComputacaoNatural	28 Feb 2005 - 20:56 - NEW	RuiMendes
Eis a página da disciplina: http://colombo.di.uminho.pt/cnat RuiMendes 28 Feb 2005

StrategicQueryingXMLReport	28 Feb 2005 - 06:40 - r3	VitorRodrigues?
Project Report This report presents the developed work on the project "Strategic Querying of XML Documents". The results of this project are based on two generic traversal ...

MFIGru	10 Feb 2005 - 02:18 - r2	LuisSoaresBarbosa
Classificações Exame (Época Normal) Nr Nome Exame Recurso Laboratório NOTA FINAL 35803 Alexandra Martins Silva 19 30969 Alexandre ...

AulDuv	19 Jan 2005 - 10:24 - r4	OlgaPacheco
Aulas de Dúvidas Dia Hora Local 20 de Janeiro 14h 18h DI A2 31 de Janeiro 14h a definir 1 de Fevereiro 14h a definir

MFISum	16 Dec 2004 - 16:54 - r6	OlgaPacheco
T (2004.09.23) : Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação implementação. ...

OlgaPacheco	16 Dec 2004 - 16:32 - NEW	OlgaPacheco

VitorRodrigues	09 Nov 2004 - 20:12 - NEW	VitorRodrigues?
VitorRodrigues 09 Nov 2004

LabMF	26 Oct 2004 - 06:56 - r2	LuisSoaresBarbosa
SumáriosAulas Laboratório de Métodos Formais 2004 2005 Docente Coordenador Luis Soares Barbosa http://www.di.uminho.pt/~lsb (url) Horário ...

LabMFGru	21 Sep 2004 - 14:58 - NEW	LuisSoaresBarbosa
Grupos e Classificações Grupo Nr Nome Curso Data Apresentação Classificação ...

LabMFSum	21 Sep 2004 - 14:55 - NEW	LuisSoaresBarbosa
T (2004.09.29) : Apresentação da Disciplina. Discussão das propostas de projectos. LuisSoaresBarbosa 21 Sep 2004

WebNotify	15 Mar 2004 - 10:55 - r8	JorgeSousaPinto
This is a subscription service to be automatically notified by e mail when topics change in this Education/Archive web. This is a convenient service, so you do not ...

StudentProjects	10 Mar 2004 - 10:37 - NEW	RokPurkeljc
Ongoing projects AttackOnTheClones Project proposals EstagiosProfisionais SIGInternshipProjects

EducationNews	17 Feb 2004 - 13:55 - r7	JoseNunoOliveira
Feb. 17, 2004 May 14, 2004 is the deadline for submission to CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004 Feb 6, 2004 Students interested ...

FlexibleSkinStyleSheet	21 Jan 2004 - 22:20 - r2	AlcinoCunha
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...

FlexibleSkinTopicFooter	21 Jan 2004 - 22:16 - NEW	AlcinoCunha
{ Edit Attach Ref By Printable Diffs More... }

FlexibleSkinTopicHeader	21 Jan 2004 - 22:08 - NEW	AlcinoCunha

WebRss	30 Jan 2003 - 08:14 - NEW	PeterThoeny?
TWiki's Education/Archive web /view/Education/Archive The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World ...

WebIndex	24 Nov 2001 - 11:36 - r2	PeterThoeny?
See also the faster WebTopicList

WebTopicList	24 Nov 2001 - 11:36 - NEW	PeterThoeny?
See also the verbose WebIndex.

WebChanges	16 Aug 2001 - 19:56 - r2	PeterThoeny?

WebSearch	08 Aug 2001 - 05:57 - r8	PeterThoeny?

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