Difference: WelcomeGuest (1 vs. 26)

Revision 2607 Mar 2006 - Main.TWikiContributor

Line: 1 to 1
Changed:
<
<

Welcome, TWikiGuest!

>
>

Welcome, TWikiGuest!

 
Changed:
<
<
Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.

Mission: "TWiki is a leading-edge, web-based collaboration platform targeting the corporate intranet world. TWiki fosters information flow within an organization; lets distributed teams work together seamlessly and productively; and eliminates the one-webmaster syndrome of outdated intranet content."

>
>
Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing 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.
Changed:
<
<
How TWiki Works
>
>
 
Changed:
<
<
  1. Browse. This is a site like other sites. Read and follow interesting links.
  2. Write. Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text or TWikiShorthand. To contribute:
    • Create An Account. To be able to edit or write new content, you'll need to create an account for yourself. It's simple, and only takes a minute. TWikiRegistration This will also create your personal home page.
    • click Edit at the bottom of any topic and make your changes
    • click [ Preview Changes ] at the bottom to verify the topic (use your brower's Back button if necessary)
    • click [ Save Changes ]
  3. Don't worry! It can be scary at first to change "public" content. Please just try it. Revision control keeps all content, nothing is lost. For special cases, access control is available yet you may find you don't need it in most cases. You'll soon see how successful WikiCulture works in this kind of collaboration environment. This is new. Just try to relax.
  4. Experiment. Edit your personal page or visit the Sandbox web.
    1. Link. To link to another topic, start by editing an existing topic.
      • To create a link to an existing topic type its JoinCapitalizedWords name. WikiWords (two or more capitalized words run together) link automatically.
    2. Create a new topic. To create a new topic, start by editing an existing topic.
      • In an existing topic, create a link to a new topic, entering a newly UsedPhrase as a WikiWord.
      • After saving the existing topic you will see a question mark link "?" behind the WikiWord.
      • Click on the question mark to create the new topic.
    3. Topic history. Click History at the bottom of a topic
    4. Attach files. Click Attach to upload and attach any type of file.
  5. Organize. You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.
  6. Learn more. TWikiTutorial is a 20-minute tour of TWiki essentials. ATasteOfTWiki is a short introduction training course for beginners. WikiReferences links to selected articles and books about wiki technology and online collaboration.

Starting Points

>
>

What's in a TWiki?

Some things to do

  • Browse. This is a site like other sites. Read and follow interesting links.
  • Write. Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text or TWikiShorthand.
  • Experiment. Edit your personal page or visit the Sandbox web.
  • Organize. You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.
  • Learn more. Some good places to start:
    • TWikiTutorial is a 20-minute tour of TWiki essentials.
    • ATasteOfTWiki is a short introduction training course for beginners.
    • WikiReferences links to selected articles and books about wiki technology and online collaboration.
 
Deleted:
<
<
 

TWiki Highlights

 
Changed:
<
<
  • Web browser used to create and edit topics
  • Automatic linking HTML not required
  • Search topic names or full-text (regular expressions available)
  • Revision control for changes (who, what, when) for topics and attachments
  • Access control using users and groups
  • E-mail notification of topic changes
  • File attachments upload and download any file to any topic similar to e-mail attachments
  • Warnings for simultaneous topic editing
  • Plug-in via TWiki's flexible architecture using templates, skins, plug-ins and add-ons to customize everything
  • Development active with growing set of features in TWiki releases and plug-ins
  • Strong community for support of users, administrators and developers
  • Read more about TWiki at http://TWiki.org/
>
>

Some basics

Editing a page:

  • click Edit at the bottom of any topic and make your changes
  • click [ Preview Changes ] at the bottom to verify the topic (use your brower's Back button if necessary)
  • click [ Save Changes ] You've now edited the topic!

Creating a page

See a question mark link "?" behind a WikiWord? That means that there's no topic yet for that TWikiWord? . If you want to create a topic for that WikiWord, just click on the question mark. The topic will be created and you will be in the editor window.

Viewing the history of a topic

Click History at the bottom of a topic

Attaching files

Click Attach to upload and attach any type of file.

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

Revision 2527 Mar 2005 - Main.TWikiContributor

Line: 1 to 1
 

Welcome, TWikiGuest!

Changed:
<
<
Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.
>
>
Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.
 Mission: "TWiki is a leading-edge, web-based collaboration platform targeting the corporate intranet world. TWiki fosters information flow within an organization; lets distributed teams work together seamlessly and productively; and eliminates the one-webmaster syndrome of outdated intranet content."
Line: 10 to 10
 How TWiki Works

  1. Browse. This is a site like other sites. Read and follow interesting links.
Changed:
<
<
    • web: A TWikiSite is divided into webs, each one represents an area for collaboration. Your site has the following webs: Main  |  TWiki  |  Sandbox
    • topic: Each web is made up of hyperlinked topics (TWikiTopics) that appear in your browser.
    • WebChanges: in each TWiki web to find what's new
  1. Write. Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text, HTML or TWikiShorthand. To contribute:
>
>
  1. Write. Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text or TWikiShorthand. To contribute:
 
    • Create An Account. To be able to edit or write new content, you'll need to create an account for yourself. It's simple, and only takes a minute. TWikiRegistration This will also create your personal home page.
    • click Edit at the bottom of any topic and make your changes
    • click [ Preview Changes ] at the bottom to verify the topic (use your brower's Back button if necessary)
Line: 22 to 22
 
  1. Experiment. Edit your personal page or visit the Sandbox web.
    1. Link. To link to another topic, start by editing an existing topic.
      • To create a link to an existing topic type its JoinCapitalizedWords name. WikiWords (two or more capitalized words run together) link automatically.
Changed:
<
<
      • To create a link to a new topic, enter a newly UsedPhrase.
      • When previewing, the links show and "?" (question marks) are used to create topics.
      • Another way to create a topic is to type its WikiWord in the Go box or URL.
    1. Topic history. click Diffs at the bottom of a topic
    2. Attach files. click Attach to upload and attach any type of file.
>
>
    1. Create a new topic. To create a new topic, start by editing an existing topic.
      • In an existing topic, create a link to a new topic, entering a newly UsedPhrase as a WikiWord.
      • After saving the existing topic you will see a question mark link "?" behind the WikiWord.
      • Click on the question mark to create the new topic.
    2. Topic history. Click History at the bottom of a topic
    3. Attach files. Click Attach to upload and attach any type of file.
 
  1. Organize. You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.
Changed:
<
<
  1. Learn more. TWikiTutorial is a 20-minute tour of TWiki essentials. ATasteOfTWiki is a short introduction training course for beginners. WikiReferences links to selected articles and books about Wiki technology and online collaboration.
>
>
  1. Learn more. TWikiTutorial is a 20-minute tour of TWiki essentials. ATasteOfTWiki is a short introduction training course for beginners. WikiReferences links to selected articles and books about wiki technology and online collaboration.
 
Changed:
<
<
>
>
 
Changed:
<
<
Starting Points
>
>

Starting Points

 
Line: 43 to 44
 
Changed:
<
<
TWiki Highlights
>
>
 

TWiki Highlights

 
  • Web browser used to create and edit topics
  • Automatic linking HTML not required
  • Search topic names or full-text (regular expressions available)
  • Revision control for changes (who, what, when) for topics and attachments
  • Access control using users and groups
Changed:
<
<
  • Email notification of topic changes
  • File attachments upload and download any file to any topic similar to email attachments
>
>
  • E-mail notification of topic changes
  • File attachments upload and download any file to any topic similar to e-mail attachments
 
  • Warnings for simultaneous topic editing
  • Plug-in via TWiki's flexible architecture using templates, skins, plug-ins and add-ons to customize everything
  • Development active with growing set of features in TWiki releases and plug-ins

Revision 2418 Mar 2004 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.

Line: 9 to 9
 How TWiki Works
Changed:
<
<
  1. Browse This is a site like other sites. Read and follow interesting links.
>
>
  1. Browse. This is a site like other sites. Read and follow interesting links.
 
    • web: A TWikiSite is divided into webs, each one represents an area for collaboration. Your site has the following webs: Main  |  TWiki  |  Sandbox
    • topic: Each web is made up of hyperlinked topics (TWikiTopics) that appear in your browser.
    • WebChanges: in each TWiki web to find what's new
Changed:
<
<
  1. Write Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text, HTML or TWikiShorthand. To contribute:
    • Create An Account To be able to edit or write new content, you'll need to create an account for yourself. It's simple, and only takes a minute. TWikiRegistration This will also create your personal home page.
>
>
  1. Write. Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text, HTML or TWikiShorthand. To contribute:
    • Create An Account. To be able to edit or write new content, you'll need to create an account for yourself. It's simple, and only takes a minute. TWikiRegistration This will also create your personal home page.
 
    • click Edit at the bottom of any topic and make your changes
    • click [ Preview Changes ] at the bottom to verify the topic (use your brower's Back button if necessary)
    • click [ Save Changes ]
  1. Don't worry! It can be scary at first to change "public" content. Please just try it. Revision control keeps all content, nothing is lost. For special cases, access control is available yet you may find you don't need it in most cases. You'll soon see how successful WikiCulture works in this kind of collaboration environment. This is new. Just try to relax.
Changed:
<
<
  1. Experiment Edit your personal page or visit the Sandbox web.
    1. Link To link to another topic, start by editing an existing topic.
>
>
  1. Experiment. Edit your personal page or visit the Sandbox web.
    1. Link. To link to another topic, start by editing an existing topic.
 
      • To create a link to an existing topic type its JoinCapitalizedWords name. WikiWords (two or more capitalized words run together) link automatically.
      • To create a link to a new topic, enter a newly UsedPhrase.
      • When previewing, the links show and "?" (question marks) are used to create topics.
      • Another way to create a topic is to type its WikiWord in the Go box or URL.
Changed:
<
<
    1. Topic history click Diffs at the bottom of a topic
    2. Attach files click Attach to upload and attach any type of file.
  1. Organize: You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.
  2. Learn more TWikiTutorial is a 20-minute tour of TWiki essentials. WikiReferences links to selected articles and books about Wiki technology and online collaboration.
>
>
    1. Topic history. click Diffs at the bottom of a topic
    2. Attach files. click Attach to upload and attach any type of file.
  1. Organize. You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.
  2. Learn more. TWikiTutorial is a 20-minute tour of TWiki essentials. ATasteOfTWiki is a short introduction training course for beginners. WikiReferences links to selected articles and books about Wiki technology and online collaboration.
 
Starting Points
Changed:
<
<
>
>
 
TWiki Highlights

Revision 2317 Mar 2004 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.

Line: 24 to 24
 
      • To create a link to an existing topic type its JoinCapitalizedWords name. WikiWords (two or more capitalized words run together) link automatically.
      • To create a link to a new topic, enter a newly UsedPhrase.
      • When previewing, the links show and "?" (question marks) are used to create topics.
Changed:
<
<
      • Another way to create a topic is to type it's WikiWord in the Go box or URL.
>
>
      • Another way to create a topic is to type its WikiWord in the Go box or URL.
 
    1. Topic history click Diffs at the bottom of a topic
    2. Attach files click Attach to upload and attach any type of file.
  1. Organize: You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.

Revision 2226 Jul 2003 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.

Line: 19 to 19
 
    • click [ Preview Changes ] at the bottom to verify the topic (use your brower's Back button if necessary)
    • click [ Save Changes ]
  1. Don't worry! It can be scary at first to change "public" content. Please just try it. Revision control keeps all content, nothing is lost. For special cases, access control is available yet you may find you don't need it in most cases. You'll soon see how successful WikiCulture works in this kind of collaboration environment. This is new. Just try to relax.
Changed:
<
<
  1. Experiment Edit your personal page or visit the Sandbox web.
>
>
  1. Experiment Edit your personal page or visit the Sandbox web.
 
    1. Link To link to another topic, start by editing an existing topic.
      • To create a link to an existing topic type its JoinCapitalizedWords name. WikiWords (two or more capitalized words run together) link automatically.
      • To create a link to a new topic, enter a newly UsedPhrase.

Revision 2122 Mar 2003 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.

Line: 36 to 36
 
Changed:
<
<
>
>
 

Revision 2018 Jan 2003 - Main.PeterThoeny

Line: 1 to 1
Changed:
<
<

Welcome, TWikiGuest!

>
>

Welcome, TWikiGuest!

 
Changed:
<
<
You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and encourages) everyone to freely edit the pages by contributing questions, answers, comments, changes - ideas can be transformed into published input, instantly. TWiki is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.
>
>
Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site), 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 editing of pages, questions, answers, comments and updates.

Mission: "TWiki is a leading-edge, web-based collaboration platform targeting the corporate intranet world. TWiki fosters information flow within an organization; lets distributed teams work together seamlessly and productively; and eliminates the one-webmaster syndrome of outdated intranet content."

"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.

 How TWiki Works
Changed:
<
<
  1. Read: You can treat this site like any other. Browse, and follow interesting links. A couple of hints:
    • web: A TWikiSite is divided into webs; each one represents one subject, one area of collaboration. You can reach any web from the links in the upper right corner of every page.
    • topic: Each web is made up of hyperlinked topics - TWikiTopics that appear in your browser.
    • What's new: Visit WebChanges in any TWiki web to see what other people are discussing and what's been added most recently.
  2. Create an Account: To be able to write new content on this site, you'll need to create an account for yourself. It's simple, and only takes a minute: just visit TWikiRegistration and fill out the form. This will also create your personal home page.
  3. Write: If you have something to say, speak your mind! Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using TWikiShorthand, a very simple markup language (you can also use HTML if you like, but you'll usually find you can get the same results more easily with TWikiShorthand). To contribute:
    • click the Edit link at the bottom of the page, edit the text, and then
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use your brower's Back button if you want to make changes), and finally
    • click the [ Save Changes ] to save what you did.
  4. Do you find this...scary?! Anybody can do anything! That's not how things are usually done. It's...uncontrollable. And yet, collaborating in the Wiki way works! Try it out for even a couple of minutes. Take a look at WikiCulture. (And then, with TWiki, you can define fine-grained TWikiAccessControl, based on users and groups, whenever and wherever you feel its necessary, across a site, a web, or page by page, if you like. And there's also full revision control that retains all changes, for good measure!)
  5. Experiment: To get your virtual hands dirty, visit Sandbox web, where you can try out anything at all, in a consequence-free environment!
  6. Create a link: To link to another topic, start by editing an existing topic.
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and enter a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
    • When you've saved the topic, and redisplayed it, the references to existing topics will be linked and the references to topics that don't exist will be followed by a linked "?" (question mark).
  7. Create a topic:
    • To write something up for a new topic, click on the "?" (question mark) that follows a WikiWord.
    • To create a free-floating topic - a topic that is not linked from anywhere - type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  8. See the history of a topic: Click the Diffs link on the control strip at the bottom of every page to see a complete history of edits for that topic.
  9. Attach files: Use your browser to upload and attach any type of file to a topic using the Attach link at the bottom of the page.
  10. Organize: Use TWikiForms to include specific information with individual topics - for example, classify pages by subject, status, or date.
  11. Learn more: TWikiTutorial takes you on a 20-minute tour of the TWiki essentials. WikiReferences links to selected articles and books about online collaboration, and Wiki technology in particular.

Main Features of TWiki

  • Create and edit pages, and use all other features, through any Web browser.
  • Web pages are automatically linked. You do not need to learn HTML commands to link pages.
  • Very simple text formatting. Basically, you write a page the same way you would write an email.
  • Fast, full-text search with or without regular expressions.
  • All changes to pages and attachments are under revision control. Find out who changed what and when.
  • Fine-grained access control based on users and groups.
  • Automatic email notification when pages change.
  • File attachments: Upload and download any file as an attachment to a page, using your browser. This is similar to email file attachments, but it happens on web pages.
  • Topic locking: Users are warned if a page is being edited by another person, to avoid simultaneous page editing.
  • Templates and skins: Customize every possible aspect of the look and feel of each TWiki installation, down to the individual page level.
  • Plugins: A growing collection of plugins allows you to easily add optional extended functions, or to create your own.
  • Support: An active, helpful development community keeps TWiki support and development constantly moving forward.
  • Read more about the TWiki at http://TWiki.org/ .

Starting Points in the TWiki web

  • TWikiTutorial: Familiarize yourself with TWiki before you start editing content.
  • WebHome: Entry point for this web.
  • TWikiSite: Explains what a TWiki site is.
  • GoodStyle: Things to consider when changing text.
  • WikiSyntax: Easy to learn rules for editing text.
  • WebChanges: Newest topic changes in the TWiki web.
  • TWikiRegistration: Sign up so you can use edit and other features.
>
>
  1. Browse This is a site like other sites. Read and follow interesting links.
    • web: A TWikiSite is divided into webs, each one represents an area for collaboration. Your site has the following webs: Main  |  TWiki  |  Sandbox
    • topic: Each web is made up of hyperlinked topics (TWikiTopics) that appear in your browser.
    • WebChanges: in each TWiki web to find what's new
  2. Write Speak your mind! From your browser you can change or add to anything you see in a TWiki topic. Use regular text, HTML or TWikiShorthand. To contribute:
    • Create An Account To be able to edit or write new content, you'll need to create an account for yourself. It's simple, and only takes a minute. TWikiRegistration This will also create your personal home page.
    • click Edit at the bottom of any topic and make your changes
    • click [ Preview Changes ] at the bottom to verify the topic (use your brower's Back button if necessary)
    • click [ Save Changes ]
  3. Don't worry! It can be scary at first to change "public" content. Please just try it. Revision control keeps all content, nothing is lost. For special cases, access control is available yet you may find you don't need it in most cases. You'll soon see how successful WikiCulture works in this kind of collaboration environment. This is new. Just try to relax.
  4. Experiment Edit your personal page or visit the Sandbox web.
    1. Link To link to another topic, start by editing an existing topic.
      • To create a link to an existing topic type its JoinCapitalizedWords name. WikiWords (two or more capitalized words run together) link automatically.
      • To create a link to a new topic, enter a newly UsedPhrase.
      • When previewing, the links show and "?" (question marks) are used to create topics.
      • Another way to create a topic is to type it's WikiWord in the Go box or URL.
    2. Topic history click Diffs at the bottom of a topic
    3. Attach files click Attach to upload and attach any type of file.
  5. Organize: You can learn to use TWikiForms and FormattedSearches to include topic information - for example, classify pages by subject, status, or date.
  6. Learn more TWikiTutorial is a 20-minute tour of TWiki essentials. WikiReferences links to selected articles and books about Wiki technology and online collaboration.

Starting Points

TWiki Highlights

  • Web browser used to create and edit topics
  • Automatic linking HTML not required
  • Search topic names or full-text (regular expressions available)
  • Revision control for changes (who, what, when) for topics and attachments
  • Access control using users and groups
  • Email notification of topic changes
  • File attachments upload and download any file to any topic similar to email attachments
  • Warnings for simultaneous topic editing
  • Plug-in via TWiki's flexible architecture using templates, skins, plug-ins and add-ons to customize everything
  • Development active with growing set of features in TWiki releases and plug-ins
  • Strong community for support of users, administrators and developers
  • Read more about TWiki at http://TWiki.org/
 

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

Revision 1928 Dec 2002 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and encourages) everyone to freely edit the pages by contributing questions, answers, comments, changes - ideas can be transformed into published input, instantly. TWiki is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.

Line: 44 to 44
 
  • Support: An active, helpful development community keeps TWiki support and development constantly moving forward.
  • Read more about the TWiki at http://TWiki.org/ .
Changed:
<
<
Starting Points in the TWiki TWiki web
>
>
Starting Points in the TWiki web
 
  • TWikiTutorial: Familiarize yourself with TWiki before you start editing content.
  • WebHome: Entry point for this web.

Revision 1812 May 2002 - Main.MikeMannix

Line: 1 to 1
 

Welcome, TWikiGuest!

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and encourages) everyone to freely edit the pages by contributing questions, answers, comments, changes - ideas can be transformed into published input, instantly. TWiki is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.

Line: 7 to 7
 
  1. Read: You can treat this site like any other. Browse, and follow interesting links. A couple of hints:
    • web: A TWikiSite is divided into webs; each one represents one subject, one area of collaboration. You can reach any web from the links in the upper right corner of every page.
Changed:
<
<
    • topic: Each web is made up of hyperlinked topics - TWikiPages? that appear in your browser.
>
>
    • topic: Each web is made up of hyperlinked topics - TWikiTopics that appear in your browser.
 
    • What's new: Visit WebChanges in any TWiki web to see what other people are discussing and what's been added most recently.
  1. Create an Account: To be able to write new content on this site, you'll need to create an account for yourself. It's simple, and only takes a minute: just visit TWikiRegistration and fill out the form. This will also create your personal home page.
  2. Write: If you have something to say, speak your mind! Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using TWikiShorthand, a very simple markup language (you can also use HTML if you like, but you'll usually find you can get the same results more easily with TWikiShorthand). To contribute:

Revision 1721 Apr 2002 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and encourages) everyone to freely edit the pages by contributing questions, answers, comments, changes - ideas can be transformed into published input, instantly. TWiki is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.

Line: 15 to 15
 
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use your brower's Back button if you want to make changes), and finally
    • click the [ Save Changes ] to save what you did.
  1. Do you find this...scary?! Anybody can do anything! That's not how things are usually done. It's...uncontrollable. And yet, collaborating in the Wiki way works! Try it out for even a couple of minutes. Take a look at WikiCulture. (And then, with TWiki, you can define fine-grained TWikiAccessControl, based on users and groups, whenever and wherever you feel its necessary, across a site, a web, or page by page, if you like. And there's also full revision control that retains all changes, for good measure!)
Changed:
<
<
  1. Experiment: To get your virtual hands dirty, visit Test? web, where you can try out anything at all, in a consequence-free environment!
>
>
  1. Experiment: To get your virtual hands dirty, visit Sandbox web, where you can try out anything at all, in a consequence-free environment!
 
  1. Create a link: To link to another topic, start by editing an existing topic.
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and enter a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.

Revision 1607 Apr 2002 - Main.PeterThoeny

Line: 1 to 1
 

Welcome, TWikiGuest!

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and encourages) everyone to freely edit the pages by contributing questions, answers, comments, changes - ideas can be transformed into published input, instantly. TWiki is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.

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

Revision 1523 Jan 2002 - Main.MikeMannix

Line: 1 to 1
Changed:
<
<
Welcome TWikiGuest,
>
>

Welcome, TWikiGuest!

 
Changed:
<
<
You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and ecourages) everyone to edit the web pages and contribute their questions and input. It really is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.
>
>
You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and encourages) everyone to freely edit the pages by contributing questions, answers, comments, changes - ideas can be transformed into published input, instantly. TWiki is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.
 How TWiki Works
Line: 10 to 10
 
    • topic: Each web is made up of hyperlinked topics - TWikiPages? that appear in your browser.
    • What's new: Visit WebChanges in any TWiki web to see what other people are discussing and what's been added most recently.
  1. Create an Account: To be able to write new content on this site, you'll need to create an account for yourself. It's simple, and only takes a minute: just visit TWikiRegistration and fill out the form. This will also create your personal home page.
Changed:
<
<
  1. Write: If you have something to say, speak your mind! Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using TWikiShorthand, a very simple markup language (you can also use HTML if you like, but you'll usually find you can get the same results more easily with TWikiShorthand). To contribute,
    • click the Edit link at the bottom of the page, edit the text, and then
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use the BACK button on your browser to go back and fix something.), and finally
    • click the [ Save Changes ] to save what you did.
  2. But this is scary! Anybody can do anything! The concept at first may seem...strange. Uncontrollable. And yet, collaborating the Wiki way works! See WikiCulture. (You can define fine-grained TWikiAccessControl based on users groups if really necessary, and there's full revision control that retains all changes!)
  3. Experiment: To get your virtual hands dirty, visit Test? in the TWiki.Test web.
>
>
  1. Write: If you have something to say, speak your mind! Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using TWikiShorthand, a very simple markup language (you can also use HTML if you like, but you'll usually find you can get the same results more easily with TWikiShorthand). To contribute:
    • click the Edit link at the bottom of the page, edit the text, and then
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use your brower's Back button if you want to make changes), and finally
    • click the [ Save Changes ] to save what you did.
  2. Do you find this...scary?! Anybody can do anything! That's not how things are usually done. It's...uncontrollable. And yet, collaborating in the Wiki way works! Try it out for even a couple of minutes. Take a look at WikiCulture. (And then, with TWiki, you can define fine-grained TWikiAccessControl, based on users and groups, whenever and wherever you feel its necessary, across a site, a web, or page by page, if you like. And there's also full revision control that retains all changes, for good measure!)
  3. Experiment: To get your virtual hands dirty, visit Test? web, where you can try out anything at all, in a consequence-free environment!
 
  1. Create a link: To link to another topic, start by editing an existing topic.
Changed:
<
<
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and enter a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
>
>
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and enter a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
 
    • When you've saved the topic, and redisplayed it, the references to existing topics will be linked and the references to topics that don't exist will be followed by a linked "?" (question mark).
  1. Create a topic:
    • To write something up for a new topic, click on the "?" (question mark) that follows a WikiWord.
Line: 26 to 26
 
  1. See the history of a topic: Click the Diffs link on the control strip at the bottom of every page to see a complete history of edits for that topic.
  2. Attach files: Use your browser to upload and attach any type of file to a topic using the Attach link at the bottom of the page.
  3. Organize: Use TWikiForms to include specific information with individual topics - for example, classify pages by subject, status, or date.
Changed:
<
<
  1. Learn more: TWikiTutorial takes you on a 20-minute tour of the TWiki essentials. WikiReferences has links to articles and books about online collaboration and Wiki technology in particular.
>
>
  1. Learn more: TWikiTutorial takes you on a 20-minute tour of the TWiki essentials. WikiReferences links to selected articles and books about online collaboration, and Wiki technology in particular.
 Main Features of TWiki
Changed:
<
<
  • Edit existing pages or create new pages by using any Web browser.
>
>
  • Create and edit pages, and use all other features, through any Web browser.
 
  • Web pages are automatically linked. You do not need to learn HTML commands to link pages.
  • Very simple text formatting. Basically, you write a page the same way you would write an email.
  • Fast, full-text search with or without regular expressions.
Line: 44 to 44
 
  • Support: An active, helpful development community keeps TWiki support and development constantly moving forward.
  • Read more about the TWiki at http://TWiki.org/ .
Changed:
<
<
Starting Points in the TWiki.TWiki web
>
>
Starting Points in the TWiki TWiki web
 
  • TWikiTutorial: Familiarize yourself with TWiki before you start editing content.
Changed:
<
<
  • WebHome: Entry point of this TWiki web.
>
>
  • WebHome: Entry point for this web.
 
  • TWikiSite: Explains what a TWiki site is.
  • GoodStyle: Things to consider when changing text.
Changed:
<
<
>
>
 

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

Revision 1414 Dec 2001 - Main.PeterThoeny

Line: 1 to 1
 Welcome TWikiGuest,

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and ecourages) everyone to edit the web pages and contribute their questions and input. It really is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.

Line: 25 to 25
 
    • To create a free-floating topic - a topic that is not linked from anywhere - type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  1. See the history of a topic: Click the Diffs link on the control strip at the bottom of every page to see a complete history of edits for that topic.
  2. Attach files: Use your browser to upload and attach any type of file to a topic using the Attach link at the bottom of the page.
Changed:
<
<
  1. Organize: Use TWikiForms to include specific information wiht individual topics - for example, classify pages by subject, status, or date.
>
>
  1. Organize: Use TWikiForms to include specific information with individual topics - for example, classify pages by subject, status, or date.
 
  1. Learn more: TWikiTutorial takes you on a 20-minute tour of the TWiki essentials. WikiReferences has links to articles and books about online collaboration and Wiki technology in particular.

Main Features of TWiki

Revision 1302 Dec 2001 - Main.MikeMannix

Line: 1 to 1
 Welcome TWikiGuest,
Changed:
<
<
You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a Web browser. It looks like a normal Web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.
>
>
You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place where people collaborate on common interests. Anyone can contribute using a regular Web browser. TWiki looks like a normal Web site, but it allows (and ecourages) everyone to edit the web pages and contribute their questions and input. It really is very simple to learn and use, and provides possibly the most powerful way to exchange and develop ideas online, in an open, uncomplicated environment.
 
Changed:
<
<
How TWiki Works
>
>
How TWiki Works
 
Changed:
<
<
  1. Read: You can treat this web site like any other. Just read and follow interesting links.
    • Web: TWiki is divided up into webs; each one represents one area of collaboration. The webs are accessible at the upper right corner.
    • Topic: Each web has hyper-linked topics. A topic is one web page in your browser.
    • What's New: Visit WebChanges in any TWiki web to see what other people are doing here and what is currently being discussed.
  2. Create an Account: Before you'll be able to write new content on this site you'll need to create an account for yourself. Its simple, and only takes a minute. Just visit TWikiRegistration and fill out the form. This will also create your personal home page.
  3. Write: If you have something to say, you can and should (most of the time). Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using WikiSyntax, a very simple markup language (you could also use HTML if you wish, but this is optional). To contribute,
>
>
  1. Read: You can treat this site like any other. Browse, and follow interesting links. A couple of hints:
    • web: A TWikiSite is divided into webs; each one represents one subject, one area of collaboration. You can reach any web from the links in the upper right corner of every page.
    • topic: Each web is made up of hyperlinked topics - TWikiPages? that appear in your browser.
    • What's new: Visit WebChanges in any TWiki web to see what other people are discussing and what's been added most recently.
  2. Create an Account: To be able to write new content on this site, you'll need to create an account for yourself. It's simple, and only takes a minute: just visit TWikiRegistration and fill out the form. This will also create your personal home page.
  3. Write: If you have something to say, speak your mind! Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using TWikiShorthand, a very simple markup language (you can also use HTML if you like, but you'll usually find you can get the same results more easily with TWikiShorthand). To contribute,
 
    • click the Edit link at the bottom of the page, edit the text, and then
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use the BACK button on your browser to go back and fix something.), and finally
    • click the [ Save Changes ] to save what you did.
Changed:
<
<
  1. But this is scary: Anybody can do anything! Collaborating the Wiki way works because of the WikiCulture. (You can define fine grained TWikiAccessControl based on groups if really necessary)
>
>
  1. But this is scary! Anybody can do anything! The concept at first may seem...strange. Uncontrollable. And yet, collaborating the Wiki way works! See WikiCulture. (You can define fine-grained TWikiAccessControl based on users groups if really necessary, and there's full revision control that retains all changes!)
 
  1. Experiment: To get your virtual hands dirty, visit Test? in the TWiki.Test web.
Changed:
<
<
  1. Create a Link: To link to another topic, start by editing an existing topic.
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, e.g. names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and type a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
    • When you have saved the topic, and redisplayed it, the references to existing topics will be linked and the references to topics that don't exist will be followed by a linked "?" (question mark).
  2. Create a Topic:
>
>
  1. Create a link: To link to another topic, start by editing an existing topic.
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and enter a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
    • When you've saved the topic, and redisplayed it, the references to existing topics will be linked and the references to topics that don't exist will be followed by a linked "?" (question mark).
  2. Create a topic:
 
    • To write something up for a new topic, click on the "?" (question mark) that follows a WikiWord.
Changed:
<
<
    • To create a free-floating topic, e.g. a topic that is not linked from anywhere, type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  1. See the History of a Topic: Check out the the various "Diff" entries at the bottom of page.
  2. Attach Files: Upload and attach any file to a topic by following the "Attach" link at the bottom of page.
  3. Forms: Use forms in topics to capture specific information e.g. for use in FAQs or bug tracking - see TWikiForms
  4. Learn More: The TWikiTutorial gives you some more details on the TWiki. WikiReferences has links to articles and books around collaboration and the Wiki technology in particular.
>
>
    • To create a free-floating topic - a topic that is not linked from anywhere - type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  1. See the history of a topic: Click the Diffs link on the control strip at the bottom of every page to see a complete history of edits for that topic.
  2. Attach files: Use your browser to upload and attach any type of file to a topic using the Attach link at the bottom of the page.
  3. Organize: Use TWikiForms to include specific information wiht individual topics - for example, classify pages by subject, status, or date.
  4. Learn more: TWikiTutorial takes you on a 20-minute tour of the TWiki essentials. WikiReferences has links to articles and books about online collaboration and Wiki technology in particular.
 
Added:
>
>
Main Features of TWiki
 
Changed:
<
<
Main Features of TWiki

  • Edit existing pages or create new pages by using any web browser.
>
>
  • Edit existing pages or create new pages by using any Web browser.
 
  • Web pages are automatically linked. You do not need to learn HTML commands to link pages.
Changed:
<
<
  • Very simple text formatting. Basically, you write a web page like you would write an email.
  • Full text search with/without regular expressions.
>
>
  • Very simple text formatting. Basically, you write a page the same way you would write an email.
  • Fast, full-text search with or without regular expressions.
 
  • All changes to pages and attachments are under revision control. Find out who changed what and when.
Changed:
<
<
  • Fine grained access control based on groups.
  • Automatic email notification when web pages change.
  • File attachments: Upload and download any file as an attachment to a page by using your browser. This is similar to email file attachments, but it happens on web pages.
  • Topic locking: Users are warned if a page is being edited by an other person. This is to prevent contention, e.g. simultaneous page editing.
  • Read more about the tool at http://TWiki.org/ .
>
>
  • Fine-grained access control based on users and groups.
  • Automatic email notification when pages change.
  • File attachments: Upload and download any file as an attachment to a page, using your browser. This is similar to email file attachments, but it happens on web pages.
  • Topic locking: Users are warned if a page is being edited by another person, to avoid simultaneous page editing.
  • Templates and skins: Customize every possible aspect of the look and feel of each TWiki installation, down to the individual page level.
  • Plugins: A growing collection of plugins allows you to easily add optional extended functions, or to create your own.
  • Support: An active, helpful development community keeps TWiki support and development constantly moving forward.
  • Read more about the TWiki at http://TWiki.org/ .
 Starting Points in the TWiki.TWiki web
Changed:
<
<
  • TWikiTutorial : Familiarize yourself with TWiki before you start editing content.
>
>
  • TWikiTutorial: Familiarize yourself with TWiki before you start editing content.
 
  • WebHome: Entry point of this TWiki web.
Changed:
<
<
>
>
 
  • GoodStyle: Things to consider when changing text.
  • WikiSyntax: Easy to learn rules when editing text.
  • WebChanges: Recent changes to the TWiki.TWiki web.
Changed:
<
<
>
>
 

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

Revision 1212 Sep 2001 - Main.MikeMannix

Line: 1 to 1
Deleted:
<
<
META TOPICPARENT name="WebHome"
 Welcome TWikiGuest,

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a Web browser. It looks like a normal Web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.

Line: 26 to 25
 
    • To create a free-floating topic, e.g. a topic that is not linked from anywhere, type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  1. See the History of a Topic: Check out the the various "Diff" entries at the bottom of page.
  2. Attach Files: Upload and attach any file to a topic by following the "Attach" link at the bottom of page.
Changed:
<
<
  1. Forms: Use forms in topics to capture specific information e.g. for use in FAQs or bug tracking - see TWikiFormTemplate?
>
>
  1. Forms: Use forms in topics to capture specific information e.g. for use in FAQs or bug tracking - see TWikiForms
 
  1. Learn More: The TWikiTutorial gives you some more details on the TWiki. WikiReferences has links to articles and books around collaboration and the Wiki technology in particular.

Revision 1106 Sep 2001 - Main.JohnTalintyre

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"
 Welcome TWikiGuest,

You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a Web browser. It looks like a normal Web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.

Line: 25 to 26
 
    • To create a free-floating topic, e.g. a topic that is not linked from anywhere, type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  1. See the History of a Topic: Check out the the various "Diff" entries at the bottom of page.
  2. Attach Files: Upload and attach any file to a topic by following the "Attach" link at the bottom of page.
Added:
>
>
  1. Forms: Use forms in topics to capture specific information e.g. for use in FAQs or bug tracking - see TWikiFormTemplate?
 
  1. Learn More: The TWikiTutorial gives you some more details on the TWiki. WikiReferences has links to articles and books around collaboration and the Wiki technology in particular.
Line: 34 to 36
 
  • Web pages are automatically linked. You do not need to learn HTML commands to link pages.
  • Very simple text formatting. Basically, you write a web page like you would write an email.
  • Full text search with/without regular expressions.
Changed:
<
<
  • All changes to pages are under revision control. Find out who changed what and when.
>
>
  • All changes to pages and attachments are under revision control. Find out who changed what and when.
 
  • Fine grained access control based on groups.
  • Automatic email notification when web pages change.
  • File attachments: Upload and download any file as an attachment to a page by using your browser. This is similar to email file attachments, but it happens on web pages.

Revision 1031 Aug 2001 - Main.MikeMannix

Line: 1 to 1
 Welcome TWikiGuest,
Changed:
<
<
you have reached the TWikiWeb? (pronounced twee-kee web). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a web browser. It looks like a normal web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.
>
>
You have reached a TWikiSite (pronounced twee-kee site). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a Web browser. It looks like a normal Web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.
 How TWiki Works
Line: 42 to 42
 
Changed:
<
<
Starting Points in the TWiki.TWiki Web
>
>
Starting Points in the TWiki.TWiki web
 
  • TWikiTutorial : Familiarize yourself with TWiki before you start editing content.
  • WebHome: Entry point of this TWiki web.
Changed:
<
<
  • TWikiWeb? : Explains what a TWiki web is.
>
>
 
  • GoodStyle: Things to consider when changing text.
  • WikiSyntax: Easy to learn rules when editing text.
  • WebChanges: Recent changes to the TWiki.TWiki web.

Revision 927 Jul 2001 - Main.PeterThoeny

Line: 1 to 1
 Welcome TWikiGuest,

you have reached the TWikiWeb? (pronounced twee-kee web). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a web browser. It looks like a normal web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.

Line: 24 to 25
 
    • To create a free-floating topic, e.g. a topic that is not linked from anywhere, type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  1. See the History of a Topic: Check out the the various "Diff" entries at the bottom of page.
  2. Attach Files: Upload and attach any file to a topic by following the "Attach" link at the bottom of page.
Changed:
<
<
  1. Learn More: The TWikiTutorial gives you some more details on the TWiki.
>
>
  1. Learn More: The TWikiTutorial gives you some more details on the TWiki. WikiReferences has links to articles and books around collaboration and the Wiki technology in particular.
 

Main Features of TWiki

Revision 815 Dec 2000 - Main.PeterThoeny

Line: 38 to 38
 
  • Automatic email notification when web pages change.
  • File attachments: Upload and download any file as an attachment to a page by using your browser. This is similar to email file attachments, but it happens on web pages.
  • Topic locking: Users are warned if a page is being edited by an other person. This is to prevent contention, e.g. simultaneous page editing.
Added:
>
>
 

Starting Points in the TWiki.TWiki Web

Revision 714 Dec 2000 - Main.PeterThoeny

Line: 14 to 14
 
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use the BACK button on your browser to go back and fix something.), and finally
    • click the [ Save Changes ] to save what you did.
  1. But this is scary: Anybody can do anything! Collaborating the Wiki way works because of the WikiCulture. (You can define fine grained TWikiAccessControl based on groups if really necessary)
Changed:
<
<
  1. Experiment: To get your virtual hands dirty, visit Test? in the TWiki.Test web.
>
>
  1. Experiment: To get your virtual hands dirty, visit Test? in the TWiki.Test web.
 
  1. Create a Link: To link to another topic, start by editing an existing topic.
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, e.g. names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and type a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
Line: 43 to 43
 Starting Points in the TWiki.TWiki Web

  • TWikiTutorial : Familiarize yourself with TWiki before you start editing content.
Changed:
<
<
  • WebHome: Entry point of this TWiki web.
>
>
  • WebHome: Entry point of this TWiki web.
 
  • TWikiWeb? : Explains what a TWiki web is.
  • GoodStyle: Things to consider when changing text.
  • WikiSyntax: Easy to learn rules when editing text.

Revision 605 Nov 2000 - Main.PeterThoeny

Line: 1 to 1
Changed:
<
<
Welcome,
>
>
Welcome TWikiGuest,

you have reached the TWikiWeb? (pronounced twee-kee web). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a web browser. It looks like a normal web site, but then... everybody can (and is encouraged to) edit the web pages here and to contribute their questions and what they know. It really is very simple to learn and use.

How TWiki Works

  1. Read: You can treat this web site like any other. Just read and follow interesting links.
    • Web: TWiki is divided up into webs; each one represents one area of collaboration. The webs are accessible at the upper right corner.
    • Topic: Each web has hyper-linked topics. A topic is one web page in your browser.
    • What's New: Visit WebChanges in any TWiki web to see what other people are doing here and what is currently being discussed.
  2. Create an Account: Before you'll be able to write new content on this site you'll need to create an account for yourself. Its simple, and only takes a minute. Just visit TWikiRegistration and fill out the form. This will also create your personal home page.
  3. Write: If you have something to say, you can and should (most of the time). Anyone can change or add to anything they see written in a TWiki topic. You can edit a topic from within your browser, using WikiSyntax, a very simple markup language (you could also use HTML if you wish, but this is optional). To contribute,
    • click the Edit link at the bottom of the page, edit the text, and then
    • click the [ Preview Changes ] button at the bottom of the page to see what your topic will look like (use the BACK button on your browser to go back and fix something.), and finally
    • click the [ Save Changes ] to save what you did.
  4. But this is scary: Anybody can do anything! Collaborating the Wiki way works because of the WikiCulture. (You can define fine grained TWikiAccessControl based on groups if really necessary)
  5. Experiment: To get your virtual hands dirty, visit Test? in the TWiki.Test web.
  6. Create a Link: To link to another topic, start by editing an existing topic.
    • To create a link to a topic that already exists, type its JoinCapitalizedWords name (topics are automatically linked if they are WikiWords, e.g. names composed of two or more words with initial capitals, run together).
    • To create a link to a page that does not yet exist, make up and type a NeverBeforeUsedPhrase. You are encouraged to include WikiWords in your content, for others to fill out later.
    • When you have saved the topic, and redisplayed it, the references to existing topics will be linked and the references to topics that don't exist will be followed by a linked "?" (question mark).
  7. Create a Topic:
    • To write something up for a new topic, click on the "?" (question mark) that follows a WikiWord.
    • To create a free-floating topic, e.g. a topic that is not linked from anywhere, type its WikiWord in the entry field at the top of any page. If the topic already exists you'll then be taken to it. If it doesn't exist, you'll then have the option to create it.
  8. See the History of a Topic: Check out the the various "Diff" entries at the bottom of page.
  9. Attach Files: Upload and attach any file to a topic by following the "Attach" link at the bottom of page.
  10. Learn More: The TWikiTutorial gives you some more details on the TWiki.
 
Deleted:
<
<
you have reached the TWiki web (pronounced twee-kee web). TWiki is a meeting place to collaborate on common interests. Everybody can contribute by just using a web browser. It looks like a normal web site, but then... everybody can edit web pages.
 Main Features of TWiki
Added:
>
>
 
  • Edit existing pages or create new pages by using any web browser.
  • Web pages are automatically linked. You do not need to learn HTML commands to link pages.
  • Very simple text formatting. Basically, you write a web page like you would write an email.
  • Full text search with/without regular expressions.
  • All changes to pages are under revision control. Find out who changed what and when.
Added:
>
>
  • Fine grained access control based on groups.
 
  • Automatic email notification when web pages change.
  • File attachments: Upload and download any file as an attachment to a page by using your browser. This is similar to email file attachments, but it happens on web pages.
  • Topic locking: Users are warned if a page is being edited by an other person. This is to prevent contention, e.g. simultaneous page editing.
Changed:
<
<
How TWiki Works

TWiki is divided up into webs ; each one represents one area of collaboration. The webs are accessible at the upper right corner. Our TWiki webs:

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