...collaborate on

1000 Recent Changes in TWiki Web retrieved at 11:49 (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. smile 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?
Found 120 topics.

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

r2 - 16 Aug 2001 - 19:56:31 - PeterThoeny?
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM