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.

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

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. This site has the following webs: DI, DI.EPL, DI.FAST, DI.FMHAS, DI.TETIC, EL, Education, Education.ACMSD, Education.ACS, Education.AeC, Education.Archive, Education.CP, Education.CP0809, Education.CP0910, Education.CP1011, Education.CP1112, Education.CP1213, Education.CP1314, Education.CP1415, Education.CP1617, Education.CP1718, Education.ClubeProgramacao, Education.Criptografia, Education.EL, Education.EL0708, Education.EL0809, Education.EL0910, Education.EL1011, Education.EM, Education.ERS, Education.LAD, Education.LC, Education.LI1, Education.LI10708, Education.LI11011, Education.LI11112, Education.MAPiICS, Education.MFES, Education.MFES0910, Education.MFES1011, Education.MFES1112, Education.MFES1213, Education.MFES1314, Education.MFES1415, Education.MFES1617, Education.MFES1718, Education.MFES1819, Education.MFES1920, Education.MICEI, Education.MSM, Education.MapiFc, Education.MapiSCAM, Education.PE, Education.PED, Education.PP2, Education.PeC, Education.ProgramacaoImperativa, Education.SEM, Education.TPI, Events, Events.GTTSE, Events.GTTSE2007, Events.JCC, Events.RULE2010, Events.RuleWorkshop, JoseLuisSilva, Main, Personal, Personal.Alcino, Personal.Claudia, Personal.JFF, Personal.Jacome, Personal.Joao, Personal.Joost, Personal.Jorge, Personal.JorgeMendes, Personal.JoseLuisSilva, Personal.LSB, Personal.MBB, Personal.Nuno, Personal.Olga, Personal.Pablo, Personal.PedroMartins, Personal.Tiago, Personal.Xana, Personal.Ze, Research, Research.APEX, Research.Aviacc, Research.CROSS, Research.Digitarq, Research.Doutoramentos, Research.EVOLVE, Research.FATBIT, Research.IKF, Research.LerNet, Research.MONDRIAN, Research.MathIS, Research.Matisse, Research.NASONI, Research.OntXQuery, Research.PCVIA, Research.PURe, Research.QAIS, Research.Rescue, Research.VFS, Research.Voda, Sandbox, TWiki
   • Topic: Each web is made up of hyperlinked topics 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 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.

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

Legend of icons:

= Go to the home of the web = Search the web

= See recent changes in the web = Subscribe to get notified of changes by e-mail