Web
|
TWiki Site Map
|
Use to...
|
Main ![Get notified of changes to the Main web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
DIUM/CCTC Wiki. | DIUM/CCTC |
TWiki ![Get notified of changes to the TWiki web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... | ...discover TWiki details, and how to start your own site. |
DI ![Get notified of changes to the DI web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
DI main web | Department Groups and Activities |
DI.EPL ![Get notified of changes to the DI/EPL web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
DI.EPL Group | ...collaborate on |
DI.FAST ![Get notified of changes to the DI/FAST web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Foundations and Applications of Software Technology | Foundations and Applications of Software Technology |
DI.FMHAS ![Get notified of changes to the DI/FMHAS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
High-Assurance Software Laboratory | High-Assurance Software Laboratory |
DI.TETIC ![Get notified of changes to the DI/TETIC web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Tecnologias Emergentes nas TICs | ...collaborate on |
EL ![Get notified of changes to the EL web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Engenharia de Linguagens (2011/2012) | ...collaborate on |
Education ![Get notified of changes to the Education web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Education main web | Education Activities |
Education.ACMSD ![Get notified of changes to the Education/ACMSD web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Algebraic and Coalgebraic Methods in Software Development | MAPi |
Education.ACS ![Get notified of changes to the Education/ACS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Análise e Concepção de Software | |
Education.AeC ![Get notified of changes to the Education/AeC web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Algoritmos e Complexidade | Licenciatura em Engenharia Informática |
Education.Archive ![Get notified of changes to the Education/Archive web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Education.Archive Wiki. | ...collaborate on |
Education.CP ![Get notified of changes to the Education/CP web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
Education.CP0809 ![Get notified of changes to the Education/CP0809 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciatura em Engenharia Informática |
Education.CP0910 ![Get notified of changes to the Education/CP0910 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1011 ![Get notified of changes to the Education/CP1011 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciatura em Engenharia Informática |
Education.CP1112 ![Get notified of changes to the Education/CP1112 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1213 ![Get notified of changes to the Education/CP1213 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1314 ![Get notified of changes to the Education/CP1314 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1415 ![Get notified of changes to the Education/CP1415 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1617 ![Get notified of changes to the Education/CP1617 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Mestrado Integrado em Engenharia Informática e Ciências da Computação |
Education.CP1718 ![Get notified of changes to the Education/CP1718 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Cálculo de Programas | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
Education.ClubeProgramacao ![Get notified of changes to the Education/ClubeProgramacao web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Clube de Programação | Departamento de Informática |
Education.Criptografia ![Get notified of changes to the Education/Criptografia web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Criptografia @ DI | |
Education.EL ![Get notified of changes to the Education/EL web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| Engenharia de Linguagens |
Education.EL0708 ![Get notified of changes to the Education/EL0708 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Engenharia Linguagens | Engenharia Linguagens |
Education.EL0809 ![Get notified of changes to the Education/EL0809 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| Engenharia de Linguagens |
Education.EL0910 ![Get notified of changes to the Education/EL0910 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| ...collaborate on |
Education.EL1011 ![Get notified of changes to the Education/EL1011 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| Engenharia de Linguagens |
Education.EM ![Get notified of changes to the Education/EM web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Especificação e Modelação | Métodos Formais em Engenharia de Software |
Education.ERS ![Get notified of changes to the Education/ERS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Engenharia de Redes e Serviços | |
Education.LAD ![Get notified of changes to the Education/LAD web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Linguagens para Anotação de Documentos | ...collaborate on |
Education.LC ![Get notified of changes to the Education/LC web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| Licenciatura em Ciências da Computação - 2º ano |
Education.LI1 ![Get notified of changes to the Education/LI1 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Laboratórios de Informática 1 | Licenciatura em Engenharia Informática (2012/13) |
Education.LI10708 ![Get notified of changes to the Education/LI10708 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Laboratório de Informática 1 | |
Education.LI11011 ![Get notified of changes to the Education/LI11011 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Laboratórios de Informática I | Licenciatura em Engenharia Informática (2010/11) |
Education.LI11112 ![Get notified of changes to the Education/LI11112 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Laboratórios de Informática I | Licenciatura em Engenharia Informática (2011/12) |
Education.MAPiICS ![Get notified of changes to the Education/MAPiICS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
MAPi - Interactive Computing Systems | MAPi Doctoral Programme |
Education.MFES ![Get notified of changes to the Education/MFES web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática - MFES 2020/2021 |
Education.MFES0910 ![Get notified of changes to the Education/MFES0910 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (2009/10) |
Education.MFES1011 ![Get notified of changes to the Education/MFES1011 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| Mestrado de [Engenharia] Informática (2010/11) |
Education.MFES1112 ![Get notified of changes to the Education/MFES1112 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (2011/12) |
Education.MFES1213 ![Get notified of changes to the Education/MFES1213 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (2012/13) |
Education.MFES1314 ![Get notified of changes to the Education/MFES1314 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (13/14) |
Education.MFES1415 ![Get notified of changes to the Education/MFES1415 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (14/15) |
Education.MFES1617 ![Get notified of changes to the Education/MFES1617 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática [16/17] |
Education.MFES1718 ![Get notified of changes to the Education/MFES1718 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática [17/18] |
Education.MFES1819 ![Get notified of changes to the Education/MFES1819 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software (2018/2019) | Mestrado Integrado em Engenharia Informática - MFES 2018/2019 |
Education.MFES1920 ![Get notified of changes to the Education/MFES1920 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática - MFES 2019/2020 |
Education.MICEI ![Get notified of changes to the Education/MICEI web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Mestrado em Informática e Curso de Especialização em Informática | Mestrado em Informática e Curso de Especialização em Informática |
Education.MSM ![Get notified of changes to the Education/MSM web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Mestrado e Curso de Especialização em Sistemas Móveis | ...collaborate on |
Education.MapiFc ![Get notified of changes to the Education/MapiFc web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
MAP/i - Foundations of Computing | Option I: Program Semantics, Verification, and Construction |
Education.MapiSCAM ![Get notified of changes to the Education/MapiSCAM web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Source Code Analysis and Manipulation (Mapi) | Source Code Analysis and Manipulation (Mapi) |
Education.PE ![Get notified of changes to the Education/PE web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Publicação Electrónica | Publicação Electrónica (EBio) |
Education.PED ![Get notified of changes to the Education/PED web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Processamento Estruturado de Documentos | ...collaborate on |
Education.PP2 ![Get notified of changes to the Education/PP2 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Paradigmas da Programação 2 | ...collaborate on |
Education.PeC ![Get notified of changes to the Education/PeC web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Processos e Concorrência | Licenciatura em Ciências da Computação |
Education.ProgramacaoImperativa ![Get notified of changes to the Education/ProgramacaoImperativa web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| ...collaborate on |
Education.SEM ![Get notified of changes to the Education/SEM web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Semântica da Programação | Licenciatura em Ciências da Computação |
Education.TPI ![Get notified of changes to the Education/TPI web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Tecnologias e Protocolos de Infra-Estrutura | |
Events ![Get notified of changes to the Events web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Events main web | Events Organization |
Events.GTTSE ![Get notified of changes to the Events/GTTSE web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Generative and Transformational Techniques in Software Engineering | Generative and Transformational Techniques in Software Engineering |
Events.GTTSE2007 ![Get notified of changes to the Events/GTTSE2007 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Generative and Transformational Techniques in Software Engineering | Generative and Transformational Techniques in Software Engineering |
Events.JCC ![Get notified of changes to the Events/JCC web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Jornadas de Ciências da Computação | |
Events.RULE2010 ![Get notified of changes to the Events/RULE2010 web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
RULE Workshop 2010 | ...collaborate on |
Events.RuleWorkshop ![Get notified of changes to the Events/RuleWorkshop web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Rule Workshop | International Workshop on Rule-Based Specification and Programming |
JoseLuisSilva ![Get notified of changes to the JoseLuisSilva web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
webpage de JoseLuisSilva? | ...collaborate on |
Personal ![Get notified of changes to the Personal web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Personal webs | Personal webs |
Personal.Alcino ![Get notified of changes to the Personal/Alcino web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Home page of Personal.Alcino Cunha. | |
Personal.Claudia ![Get notified of changes to the Personal/Claudia web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Personal.Claudia Necco | |
Personal.Jacome ![Get notified of changes to the Personal/Jacome web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Jácome Cunha | ...collaborate on |
Personal.Joao ![Get notified of changes to the Personal/Joao web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
João Fernandes | ...collaborate on |
Personal.Jorge ![Get notified of changes to the Personal/Jorge web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Personal.Jorge Sousa Pinto's Web. | ...collaborate on |
Personal.JorgeMendes ![Get notified of changes to the Personal/JorgeMendes web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Jorge Mendes | |
Personal.JoseLuisSilva ![Get notified of changes to the Personal/JoseLuisSilva web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
webpage de JoseLuisSilva? | ...collaborate on |
Personal.LSB ![Get notified of changes to the Personal/LSB web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Luís Soares Barbosa | ...collaborate on |
Personal.MBB ![Get notified of changes to the Personal/MBB web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
MBB's Personal Web | |
Personal.Nuno ![Get notified of changes to the Personal/Nuno web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Personal.Nuno Rodrigues's Web | |
Personal.Olga ![Get notified of changes to the Personal/Olga web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Personal.Olga Web Page | ...collaborate on |
Personal.Pablo ![Get notified of changes to the Personal/Pablo web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Home page of Personal.Pablo Berdaguer | ...collaborate on |
Personal.PedroMartins ![Get notified of changes to the Personal/PedroMartins web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Pedro Martins | ...collaborate on |
Personal.Tiago ![Get notified of changes to the Personal/Tiago web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Tiago Alves | Personal Web |
Personal.Xana ![Get notified of changes to the Personal/Xana web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Alexandra Silva | ...collaborate on |
Personal.Ze ![Get notified of changes to the Personal/Ze web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
José Proença | ...collaborate on |
Research ![Get notified of changes to the Research web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Research main web | Research Activities and Projects |
Research.APEX ![Get notified of changes to the Research/APEX web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
APEX | Agile Prototyping for user EXperience |
Research.Aviacc ![Get notified of changes to the Research/Aviacc web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Projeto AVIACC | Analysis and Verification of Critical Concurrent Programs |
Research.CROSS ![Get notified of changes to the Research/CROSS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
CROSS | An Infrastructure for Certification and Re-engineering of Open Source Software |
Research.Digitarq ![Get notified of changes to the Research/Digitarq web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Digital Archives Development Project | ...collaborate on |
Research.Doutoramentos ![Get notified of changes to the Research/Doutoramentos web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Informações para doutorandos | ...collaborate on |
Research.EVOLVE ![Get notified of changes to the Research/EVOLVE web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Evolutionary Verification, Validation and Certification | Evolutionary Verification, Validation and Certification |
Research.FATBIT ![Get notified of changes to the Research/FATBIT web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Foundations, Applications and Tools for Bidirectional Transformation | Foundations, Applications and Tools for Bidirectional Transformation |
Research.IKF ![Get notified of changes to the Research/IKF web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Research.IKF Project | ...collaborate on |
Research.LerNet ![Get notified of changes to the Research/LerNet web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Research.LerNet | ...collaborate on |
Research.MONDRIAN ![Get notified of changes to the Research/MONDRIAN web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
MONDRIAN | Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability |
Research.MathIS ![Get notified of changes to the Research/MathIS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
| What Mathematics for the Information Society? |
Research.Matisse ![Get notified of changes to the Research/Matisse web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Mathematics Education | Projecto MathIS? : Que Matemática para a Sociedade da Informação? |
Research.NASONI ![Get notified of changes to the Research/NASONI web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Heterogeneous software coordination: Foundations, methods, tools. | Heterogeneous software coordination: Foundations, methods, tools. |
Research.OntXQuery ![Get notified of changes to the Research/OntXQuery web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
OntXQuery? - Pedro Henriques | ...collaborate on |
Research.PCVIA ![Get notified of changes to the Research/PCVIA web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Program Comprehension | ...collaborate on |
Research.PURe ![Get notified of changes to the Research/PURe web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
PURe | Program Understanding and Re-engineering: Calculi and Applications |
Research.QAIS ![Get notified of changes to the Research/QAIS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
QAIS | Quantitative analysis of interacting systems: foundations and algorithms |
Research.Rescue ![Get notified of changes to the Research/Rescue web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
RESCUE, REliable and Safe Code execUtion for Embedded systems | REliable and Safe Code execUtion for Embedded systems |
Research.VFS ![Get notified of changes to the Research/VFS web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Verifiable File System | |
Research.Voda ![Get notified of changes to the Research/Voda web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Project on grammar-based systems. | Collaborate in the project on grammar-based systems. |
Sandbox ![Get notified of changes to the Sandbox web](../../../pub/TWiki/TWikiDocGraphics/notify.gif) |
Sandbox test area with all features enabled. | ...experiment in an unrestricted hands-on web. |
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory. |