), a meeting place to work on common interests. Anyone can contribute using any web browser. TWiki looks like a normal Web site... except that it encourages contribution and
of pages, questions, answers, comments and updates.
"Wiki" systems are fundamentally editable web pages. It's a fun and useful way of communicating asynchronously over the web for many existing intranet and public Internet sites. TWiki is simple to learn and use. It aims to provide a transparent way for you to publish and exchange your ideas with others over the web.
Web
|
TWiki Site Map
|
Use to...
|
Main |
DIUM/CCTC Wiki. | DIUM/CCTC |
TWiki |
Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... | ...discover TWiki details, and how to start your own site. |
DI |
DI main web | Department Groups and Activities |
DI.EPL |
DI.EPL Group | ...collaborate on |
DI.FAST |
Foundations and Applications of Software Technology | Foundations and Applications of Software Technology |
DI.FMHAS |
High-Assurance Software Laboratory | High-Assurance Software Laboratory |
DI.TETIC |
Tecnologias Emergentes nas TICs | ...collaborate on |
EL |
Engenharia de Linguagens (2011/2012) | ...collaborate on |
Education |
Education main web | Education Activities |
Education.ACMSD |
Algebraic and Coalgebraic Methods in Software Development | MAPi |
Education.ACS |
Análise e Concepção de Software | |
Education.AeC |
Algoritmos e Complexidade | Licenciatura em Engenharia Informática |
Education.Archive |
Education.Archive Wiki. | ...collaborate on |
Education.CP |
Cálculo de Programas | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
Education.CP0809 |
Cálculo de Programas | Licenciatura em Engenharia Informática |
Education.CP0910 |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1011 |
Cálculo de Programas | Licenciatura em Engenharia Informática |
Education.CP1112 |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1213 |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1314 |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1415 |
Cálculo de Programas | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1617 |
Cálculo de Programas | Mestrado Integrado em Engenharia Informática e Ciências da Computação |
Education.CP1718 |
Cálculo de Programas | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
Education.ClubeProgramacao |
Clube de Programação | Departamento de Informática |
Education.Criptografia |
Criptografia @ DI | |
Education.EL |
| Engenharia de Linguagens |
Education.EL0708 |
Engenharia Linguagens | Engenharia Linguagens |
Education.EL0809 |
| Engenharia de Linguagens |
Education.EL0910 |
| ...collaborate on |
Education.EL1011 |
| Engenharia de Linguagens |
Education.EM |
Especificação e Modelação | Métodos Formais em Engenharia de Software |
Education.ERS |
Engenharia de Redes e Serviços | |
Education.LAD |
Linguagens para Anotação de Documentos | ...collaborate on |
Education.LC |
| Licenciatura em Ciências da Computação - 2º ano |
Education.LI1 |
Laboratórios de Informática 1 | Licenciatura em Engenharia Informática (2012/13) |
Education.LI10708 |
Laboratório de Informática 1 | |
Education.LI11011 |
Laboratórios de Informática I | Licenciatura em Engenharia Informática (2010/11) |
Education.LI11112 |
Laboratórios de Informática I | Licenciatura em Engenharia Informática (2011/12) |
Education.MAPiICS |
MAPi - Interactive Computing Systems | MAPi Doctoral Programme |
Education.MFES |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática - MFES 2020/2021 |
Education.MFES0910 |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (2009/10) |
Education.MFES1011 |
| Mestrado de [Engenharia] Informática (2010/11) |
Education.MFES1112 |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (2011/12) |
Education.MFES1213 |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (2012/13) |
Education.MFES1314 |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (13/14) |
Education.MFES1415 |
Métodos Formais em Engenharia de Software | Mestrado de [Engenharia] Informática (14/15) |
Education.MFES1617 |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática [16/17] |
Education.MFES1718 |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática [17/18] |
Education.MFES1819 |
Métodos Formais em Engenharia de Software (2018/2019) | Mestrado Integrado em Engenharia Informática - MFES 2018/2019 |
Education.MFES1920 |
Métodos Formais em Engenharia de Software | Mestrado Integrado em Engenharia Informática - MFES 2019/2020 |
Education.MICEI |
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 |
Mestrado e Curso de Especialização em Sistemas Móveis | ...collaborate on |
Education.MapiFc |
MAP/i - Foundations of Computing | Option I: Program Semantics, Verification, and Construction |
Education.MapiSCAM |
Source Code Analysis and Manipulation (Mapi) | Source Code Analysis and Manipulation (Mapi) |
Education.PE |
Publicação Electrónica | Publicação Electrónica (EBio) |
Education.PED |
Processamento Estruturado de Documentos | ...collaborate on |
Education.PP2 |
Paradigmas da Programação 2 | ...collaborate on |
Education.PeC |
Processos e Concorrência | Licenciatura em Ciências da Computação |
Education.ProgramacaoImperativa |
| ...collaborate on |
Education.SEM |
Semântica da Programação | Licenciatura em Ciências da Computação |
Education.TPI |
Tecnologias e Protocolos de Infra-Estrutura | |
Events |
Events main web | Events Organization |
Events.GTTSE |
Generative and Transformational Techniques in Software Engineering | Generative and Transformational Techniques in Software Engineering |
Events.GTTSE2007 |
Generative and Transformational Techniques in Software Engineering | Generative and Transformational Techniques in Software Engineering |
Events.JCC |
Jornadas de Ciências da Computação | |
Events.RULE2010 |
RULE Workshop 2010 | ...collaborate on |
Events.RuleWorkshop |
Rule Workshop | International Workshop on Rule-Based Specification and Programming |
JoseLuisSilva |
webpage de JoseLuisSilva? | ...collaborate on |
Personal |
Personal webs | Personal webs |
Personal.Alcino |
Home page of Personal.Alcino Cunha. | |
Personal.Claudia |
Personal.Claudia Necco | |
Personal.Jacome |
Jácome Cunha | ...collaborate on |
Personal.Joao |
João Fernandes | ...collaborate on |
Personal.Jorge |
Personal.Jorge Sousa Pinto's Web. | ...collaborate on |
Personal.JorgeMendes |
Jorge Mendes | |
Personal.JoseLuisSilva |
webpage de JoseLuisSilva? | ...collaborate on |
Personal.LSB |
Luís Soares Barbosa | ...collaborate on |
Personal.MBB |
MBB's Personal Web | |
Personal.Nuno |
Personal.Nuno Rodrigues's Web | |
Personal.Olga |
Personal.Olga Web Page | ...collaborate on |
Personal.Pablo |
Home page of Personal.Pablo Berdaguer | ...collaborate on |
Personal.PedroMartins |
Pedro Martins | ...collaborate on |
Personal.Tiago |
Tiago Alves | Personal Web |
Personal.Xana |
Alexandra Silva | ...collaborate on |
Personal.Ze |
José Proença | ...collaborate on |
Research |
Research main web | Research Activities and Projects |
Research.APEX |
APEX | Agile Prototyping for user EXperience |
Research.Aviacc |
Projeto AVIACC | Analysis and Verification of Critical Concurrent Programs |
Research.CROSS |
CROSS | An Infrastructure for Certification and Re-engineering of Open Source Software |
Research.Digitarq |
Digital Archives Development Project | ...collaborate on |
Research.Doutoramentos |
Informações para doutorandos | ...collaborate on |
Research.EVOLVE |
Evolutionary Verification, Validation and Certification | Evolutionary Verification, Validation and Certification |
Research.FATBIT |
Foundations, Applications and Tools for Bidirectional Transformation | Foundations, Applications and Tools for Bidirectional Transformation |
Research.IKF |
Research.IKF Project | ...collaborate on |
Research.LerNet |
Research.LerNet | ...collaborate on |
Research.MONDRIAN |
MONDRIAN | Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability |
Research.MathIS |
| What Mathematics for the Information Society? |
Research.Matisse |
Mathematics Education | Projecto MathIS? : Que Matemática para a Sociedade da Informação? |
Research.NASONI |
Heterogeneous software coordination: Foundations, methods, tools. | Heterogeneous software coordination: Foundations, methods, tools. |
Research.OntXQuery |
OntXQuery? - Pedro Henriques | ...collaborate on |
Research.PCVIA |
Program Comprehension | ...collaborate on |
Research.PURe |
PURe | Program Understanding and Re-engineering: Calculi and Applications |
Research.QAIS |
QAIS | Quantitative analysis of interacting systems: foundations and algorithms |
Research.Rescue |
RESCUE, REliable and Safe Code execUtion for Embedded systems | REliable and Safe Code execUtion for Embedded systems |
Research.VFS |
Verifiable File System | |
Research.Voda |
Project on grammar-based systems. | Collaborate in the project on grammar-based systems. |
Sandbox |
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. |