View   r43  >  r42  >  r41  >  r40  >  r39  ...

WebHome 43 - 02 Jul 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Verifiable Filesystem

The formal methods community has decided to challenge software developers to use formal methods techniques, in order to specify/model "big" software systems.

Changed:
<
<
These software artifacts would then be a part of the Verifiable Software Repository.
>
>
Such software artifacts would then be a part of the Verifiable Software Repository.
 
Changed:
<
<
The last challenge released intends to specify the standard POSIX 1003.1, which is in fact an enormous task.
>
>
One of the challenges released intended to specify the standard POSIX 1003.1, which is in fact an enormous task.
 So, Rajeev Joshi and Gerard J. Holzmann have proposed a so-called mini-challenge that focus on building a verifiable file system that follows the POSIX guide lines. Furthermore, the proponents of the mini-challenge have also introduced a project carried out at NASA Jet Propulsion Laboratory, whose goal is to build such a verifiable file system but designed for use directly in Flash Memories.
Changed:
<
<
The goal of this project is to respond to the mini-challenge, taking in account the Flash Memory specificity has hardware support for the file system. Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
>
>
The main goal of this project is to respond to such a mini-challenge, taking in account the Flash Memory specific aspects including hardware support for the file system, following established techniques as well as new insights on how to use and apply formal methods in a system wide development.
 

Publications

Line: 25 to 25
 

Modeling and Verifying a File System with Journaling

Changed:
<
<
In a simplified approach, we use Alloy and point free manual proofs to build and verify a file system model with journaling functionality. We start with a high level file system model and refine it into a low-level implementation over and array of nodes. See J.N. Oliveira and M.A. Ferreira. Alloy Meets the Algebra of Programming: a Case Study. Journal paper. IEEE Trans. on Soft. Engineering, 2012 (in print) for a full explanation of the model.
>
>
In a simplified approach, we used Alloy and point free manual proofs to build and verify a file system model with journaling functionality. We started with a high level file system model and refined it into a low-level implementation over an array of nodes. See J.N. Oliveira and M.A. Ferreira. Alloy Meets the Algebra of Programming: a Case Study. Journal paper. IEEE Trans. on Soft. Engineering, 2012 (in print) for a full explanation of the Alloy model.
 
Line: 39 to 39
 
Changed:
<
<
  • Point free structuring approach
>
>
 

  • Translation diagram:


    translations_diagram.png
Added:
>
>
Read arrows mean hand-translation.
 
Changed:
<
<
>
>
  • Second approach
    In the second approach to the project we decided to reduce the complexity of the tool-chain and focus on the two bottom blocks --- Alloy model written in the "navigation-syle" so as to match with PF relation algebraic proofs. This implied that a focus on particular aspects of the problem, namely the journaling mechanism.
 

Verifying Intel Flash File System Core

Line: 82 to 82
 
META FILEATTACHMENT attachment="boneco1.png" attr="h" comment="First approach" date="1204857466" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco1.png" movedwhen="1210927684" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco1.png" name="boneco1.png" path="boneco1.png" size="40551" stream="boneco1.png" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="boneco5.png" attr="h" comment="Point Free structure approach" date="1204858085" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco5.png" movedwhen="1210927697" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco5.png" name="boneco5.png" path="boneco4.png" size="38692" stream="boneco4.png" user="Main.MiguelFerreira" version="2"
META FILEATTACHMENT attachment="translations_diagram.png" attr="h" comment="Translations diagram" date="1204858034" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.translations_diagram.png" movedwhen="1210927726" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.translations_diagram.png" name="translations_diagram.png" path="translations_diagram.png" size="585517" stream="translations_diagram.png" user="Main.MiguelFerreira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="overture08sl.pdf" attr="" comment="Presetation at the VDM-Overture WorkShop? (FM08)" date="1211941574" name="overture08sl.pdf" path="overture08sl.pdf" size="8210043" stream="overture08sl.pdf" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="fs-journaling.als" attr="" comment="" date="1341229159" name="fs-journaling.als" path="fs-journaling.als" size="9224" stream="fs-journaling.als" user="Main.MiguelFerreira" version="1"
>
>
META FILEATTACHMENT attachment="overture08sl.pdf" attr="h" comment="Presetation at the VDM-Overture WorkShop? (FM08)" date="1211941574" name="overture08sl.pdf" path="overture08sl.pdf" size="8210043" stream="overture08sl.pdf" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="fs-journaling.als" attr="h" comment="" date="1341229159" name="fs-journaling.als" path="fs-journaling.als" size="9224" stream="fs-journaling.als" user="Main.MiguelFerreira" version="1"

WebHome 42 - 02 Jul 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Verifiable Filesystem

Changed:
<
<
The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.
>
>
The formal methods community has decided to challenge software developers to use formal methods techniques, in order to specify/model "big" software systems.
 These software artifacts would then be a part of the Verifiable Software Repository.
Changed:
<
<
The last challenge released intents to specify the standard POSIX 1003.1, which is in fact an enourmous task. So, Rajeev Joshi and Gerard J. Holzmann have proposed a, so called, mini-challenge that focus on building a verifiable file system that follows the POSIX guide lines. Further more, the proponents of the mini-challenge, have also introduced a project, that is being carried out at NASA Jet Propulsion Laboratory, which goal is to build such a verifiable file system but designed for use directly in Flash Memories.
>
>
The last challenge released intends to specify the standard POSIX 1003.1, which is in fact an enormous task. So, Rajeev Joshi and Gerard J. Holzmann have proposed a so-called mini-challenge that focus on building a verifiable file system that follows the POSIX guide lines. Furthermore, the proponents of the mini-challenge have also introduced a project carried out at NASA Jet Propulsion Laboratory, whose goal is to build such a verifiable file system but designed for use directly in Flash Memories.
 The goal of this project is to respond to the mini-challenge, taking in account the Flash Memory specificity has hardware support for the file system. Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
Line: 17 to 17
 

Publications

  • (pdf) Presentation on the VDM-Overture Workshop, FM08, Turku, 26 May 2008
Changed:
<
<
  • M.A. Ferreira, J.N. Oliveira: An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF 2009: 153-169
>
>
 
  • M.A. Ferreira: Verifying Intel (R) Flash File System Core. Master Thesis, Minho University, 2009.
  • J.N. Oliveira. Hands on a Verification Challenge: Proving a Journaled File System Correct. Inforum 2010 (invited talk), 10-Sep 2010.
  • J.N. Oliveira and M.A. Ferreira. Alloy Meets the Algebra of Programming: a Case Study. Journal paper. IEEE Trans. on Soft. Engineering, 2012 (in print).

WebHome 41 - 02 Jul 2012 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 23 to 23
 
  • J.N. Oliveira and M.A. Ferreira. Alloy Meets the Algebra of Programming: a Case Study. Journal paper. IEEE Trans. on Soft. Engineering, 2012 (in print).
Added:
>
>

Modeling and Verifying a File System with Journaling

In a simplified approach, we use Alloy and point free manual proofs to build and verify a file system model with journaling functionality. We start with a high level file system model and refine it into a low-level implementation over and array of nodes. See J.N. Oliveira and M.A. Ferreira. Alloy Meets the Algebra of Programming: a Case Study. Journal paper. IEEE Trans. on Soft. Engineering, 2012 (in print) for a full explanation of the model.

 

All-in-one Verification Life-cycle

Our approach resorts to the VDMTools proof obligation generator and the VDM to HOL translator developed by Sander Vermolen. The VDM to Alloy conversion is manual. In this "all-in-one" approach, modeling and testing takes place in the VDM phase. Alloy is particularly helpful in finding counter examples to proof obligations.

Line: 76 to 83
 
META FILEATTACHMENT attachment="boneco5.png" attr="h" comment="Point Free structure approach" date="1204858085" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco5.png" movedwhen="1210927697" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco5.png" name="boneco5.png" path="boneco4.png" size="38692" stream="boneco4.png" user="Main.MiguelFerreira" version="2"
META FILEATTACHMENT attachment="translations_diagram.png" attr="h" comment="Translations diagram" date="1204858034" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.translations_diagram.png" movedwhen="1210927726" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.translations_diagram.png" name="translations_diagram.png" path="translations_diagram.png" size="585517" stream="translations_diagram.png" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="overture08sl.pdf" attr="" comment="Presetation at the VDM-Overture WorkShop? (FM08)" date="1211941574" name="overture08sl.pdf" path="overture08sl.pdf" size="8210043" stream="overture08sl.pdf" user="Main.MiguelFerreira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="fs-journaling.als" attr="" comment="" date="1341229159" name="fs-journaling.als" path="fs-journaling.als" size="9224" stream="fs-journaling.als" user="Main.MiguelFerreira" version="1"

WebHome 40 - 02 Jul 2012 - Main.JoseNunoOliveira
Line: 1 to 1
 

Verifiable Filesystem

Line: 17 to 17
 

Publications

  • (pdf) Presentation on the VDM-Overture Workshop, FM08, Turku, 26 May 2008
Added:
>
>
  • M.A. Ferreira, J.N. Oliveira: An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF 2009: 153-169
  • M.A. Ferreira: Verifying Intel (R) Flash File System Core. Master Thesis, Minho University, 2009.
  • J.N. Oliveira. Hands on a Verification Challenge: Proving a Journaled File System Correct. Inforum 2010 (invited talk), 10-Sep 2010.
  • J.N. Oliveira and M.A. Ferreira. Alloy Meets the Algebra of Programming: a Case Study. Journal paper. IEEE Trans. on Soft. Engineering, 2012 (in print).
 

All-in-one Verification Life-cycle


WebHome 39 - 09 Jun 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem


WebHome 38 - 02 Jun 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 14 to 14
 Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
Added:
>
>

Publications

  • (pdf) Presentation on the VDM-Overture Workshop, FM08, Turku, 26 May 2008
 

All-in-one Verification Life-cycle

Our approach resorts to the VDMTools proof obligation generator and the VDM to HOL translator developed by Sander Vermolen. The VDM to Alloy conversion is manual. In this "all-in-one" approach, modeling and testing takes place in the VDM phase. Alloy is particularly helpful in finding counter examples to proof obligations.

Line: 32 to 37
  translations_diagram.png
Deleted:
<
<

VDM-Overture Workshop at Formal Methods

 
Deleted:
<
<
Presentation slides
 

Verifying Intel Flash File System Core

Line: 45 to 48
 

VDM to HOL model and proof obligation translation

One recent addition to the Overture project is an Automatic Proof Support system, developed by Sander Vermolen.

In our work we make much use of this system's translator, as well as the proof tactics.

We have contributed in widening the translator VDM++ syntax knowledge, implementing some basic (but essential to have recursive functions translated) operators like hd (head), tl (tail), len (length) and ^(concatenation).

Another contribution is the pre-processing script and parsers, that allow us to automaticaly pre process a VDM++ model to be translated (including its proof obligations), the complete package with source can be found here.

Deleted:
<
<

Publication

  • VDM-Overture Workshop at the FM08 slides
 

Team

Deleted:
<
<

Project Activities PICK

 

Web References

Flash File System

  • (pdf) Intel Flash File System Core Reference Guide (Version 1)

POSIX File Store (GC)

  • (pdf) Morgan and Sufrin's paper on the Unix filing system. (Z)
  • (pdf) POSIX file store in Z/Eves: an experiment in the verified software repository
  • (ppt) Formal Modeling and Analysis of a Flash Filesystem in Alloy.
  • (pdf) Verifiable POSIX file store, technical report. (VDM)
  • (pdf) Open Nand Flash Interface, technical report. (VDM)

Formal Methods Projects and Tools

Conferences and Workshops

Other

Added:
>
>

Project Activities PICK

 

Research/VFS Web Utilities

Line: 68 to 68
 -- MiguelFerreira - 15 Nov 2007
Deleted:
<
<

  • : Presetation at the VDM-Overture WorkShop? (FM08)
 
META FILEATTACHMENT attachment="boneco1.png" attr="h" comment="First approach" date="1204857466" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco1.png" movedwhen="1210927684" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco1.png" name="boneco1.png" path="boneco1.png" size="40551" stream="boneco1.png" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="boneco5.png" attr="h" comment="Point Free structure approach" date="1204858085" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco5.png" movedwhen="1210927697" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco5.png" name="boneco5.png" path="boneco4.png" size="38692" stream="boneco4.png" user="Main.MiguelFerreira" version="2"
META FILEATTACHMENT attachment="translations_diagram.png" attr="h" comment="Translations diagram" date="1204858034" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.translations_diagram.png" movedwhen="1210927726" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.translations_diagram.png" name="translations_diagram.png" path="translations_diagram.png" size="585517" stream="translations_diagram.png" user="Main.MiguelFerreira" version="1"

WebHome 37 - 30 May 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 47 to 47
 

Publication

Changed:
<
<
  • Overture Workshop at the FM08 paper (available soon)
>
>
  • VDM-Overture Workshop at the FM08 slides
 

Team

Line: 70 to 70
 
Changed:
<
<
>
>
  • : Presetation at the VDM-Overture WorkShop? (FM08)
 
META FILEATTACHMENT attachment="boneco1.png" attr="h" comment="First approach" date="1204857466" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco1.png" movedwhen="1210927684" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco1.png" name="boneco1.png" path="boneco1.png" size="40551" stream="boneco1.png" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="boneco5.png" attr="h" comment="Point Free structure approach" date="1204858085" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco5.png" movedwhen="1210927697" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco5.png" name="boneco5.png" path="boneco4.png" size="38692" stream="boneco4.png" user="Main.MiguelFerreira" version="2"

WebHome 36 - 28 May 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 70 to 70
 
Added:
>
>
 
META FILEATTACHMENT attachment="boneco1.png" attr="h" comment="First approach" date="1204857466" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco1.png" movedwhen="1210927684" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco1.png" name="boneco1.png" path="boneco1.png" size="40551" stream="boneco1.png" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="boneco5.png" attr="h" comment="Point Free structure approach" date="1204858085" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco5.png" movedwhen="1210927697" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco5.png" name="boneco5.png" path="boneco4.png" size="38692" stream="boneco4.png" user="Main.MiguelFerreira" version="2"
META FILEATTACHMENT attachment="translations_diagram.png" attr="h" comment="Translations diagram" date="1204858034" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.translations_diagram.png" movedwhen="1210927726" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.translations_diagram.png" name="translations_diagram.png" path="translations_diagram.png" size="585517" stream="translations_diagram.png" user="Main.MiguelFerreira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="overture08sl.pdf" attr="" comment="Presetation at the VDM-Overture WorkShop? (FM08)" date="1211941574" name="overture08sl.pdf" path="overture08sl.pdf" size="8210043" stream="overture08sl.pdf" user="Main.MiguelFerreira" version="1"

WebHome 35 - 26 May 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 32 to 32
  translations_diagram.png
Added:
>
>

VDM-Overture Workshop at Formal Methods

Presentation slides

 

Verifying Intel Flash File System Core


WebHome 34 - 19 May 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 40 to 40
 

File System Layer Models

There has been a restructuring of all models, and for that, some of them aren't available yet. If you are looking for any thing ins specific please contact us.

VDM++

  • src_vdm.tar.bz: FileSystemLayer (VDM++)
    • Implemented Operations:
      • FS_DeleteFileDir
      • FS_OpenFileDir
      • FS_WriteFile
    • Operations to be implemented:
      • FS_ReadFileDir
      • FS_Init

Alloy

  • src_alloy.tar.bz: FileSystemLayer (Alloy)
    • Implemented Operations:
      • FS_DeleteFileDir
    • Operations to be implemented:
      • FS_OpenFileDir
      • FS_WriteFile
      • FS_ReadFileDir
      • FS_Init

VDM++ adapted for VdmHolTranslator and HOL translation

Model
  • src_vdm2hol.tar.gz: FileSystemLayer (VDM2HOL)
    • Implemented Operations:
      • FS_DeleteFileDir
    • Operations to be implemented:
      • FS_OpenFileDir
      • FS_WriteFile
      • FS_ReadFileDir
      • FS_Init

Proof Obligations

  • The VDMTools generated 13 Proof Obligations, from which:
    • 3 aren't translatable to HOL with the VdmHolTranslator. These can be found in the excluded.pog file
    • 10 where translated to HOL by the VdmHolTranslator. These can be found in the FileSystemLayerAlg.vpp.pog file.
      • 7 of these Proof Obligations where discharged in HOL using the Overture Automated Proof Support
      • for the remaining 3 Proof Obligations HOL attempted to prove for more than 5 minutes and was manually interrupted.

  • HOL model and Proof Obligations can be found in the:
    • FileSystemLayerAlg.vpp.pog.hol (for the unmodified version)
    • FileSystemLayerAlg.vpp.pog.hol.mod (for the executable version)

HOL (hand written)

  • Will be published soon

Proof attempts by hand (point free style)

  • Calculation of weakest pre-condition for preservation of referential integrity invariant on open files can be found here, on Lecture 5 (page 144).

Added:
>
>

VDM to HOL model and proof obligation translation

One recent addition to the Overture project is an Automatic Proof Support system, developed by Sander Vermolen.

In our work we make much use of this system's translator, as well as the proof tactics.

We have contributed in widening the translator VDM++ syntax knowledge, implementing some basic (but essential to have recursive functions translated) operators like hd (head), tl (tail), len (length) and ^(concatenation).

Another contribution is the pre-processing script and parsers, that allow us to automaticaly pre process a VDM++ model to be translated (including its proof obligations), the complete package with source can be found here.

 
Deleted:
<
<

News Flash

  • Refresh at public area projet information MiguelFerreira - 8 Mar 2008

  • Added the first files for the Intel Flash File System Core specification

  • Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007

  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) MiguelFerreira - 30 Nov 2007

  • Added alloy library and updated bib file SamuelSilva - 19 Nov 2007

 
Added:
>
>

Publication

  • Overture Workshop at the FM08 paper (available soon)
 
Changed:
<
<

Team

>
>

Team

 
Changed:
<
<
>
>
 
Changed:
<
<

Project Activities PICK

>
>

Project Activities PICK

 

Web References

Flash File System

  • (pdf) Intel Flash File System Core Reference Guide (Version 1)

POSIX File Store (GC)

  • (pdf) Morgan and Sufrin's paper on the Unix filing system. (Z)
  • (pdf) POSIX file store in Z/Eves: an experiment in the verified software repository
  • (ppt) Formal Modeling and Analysis of a Flash Filesystem in Alloy.
  • (pdf) Verifiable POSIX file store, technical report. (VDM)
  • (pdf) Open Nand Flash Interface, technical report. (VDM)

Formal Methods Projects and Tools

Conferences and Workshops

Other


WebHome 33 - 16 May 2008 - Main.JoseNunoOliveira
Line: 1 to 1
 

Verifiable Filesystem

Line: 14 to 14
 Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
Changed:
<
<

All-in-one Formal Methods

>
>

All-in-one Verification Life-cycle

Our approach resorts to the VDMTools proof obligation generator and the VDM to HOL translator developed by Sander Vermolen. The VDM to Alloy conversion is manual. In this "all-in-one" approach, modeling and testing takes place in the VDM phase. Alloy is particularly helpful in finding counter examples to proof obligations.

 
  • First approach
    boneco1.png

WebHome 32 - 16 May 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 62 to 62
 -- MiguelFerreira - 15 Nov 2007
Added:
>
>
META FILEATTACHMENT attachment="boneco1.png" attr="h" comment="First approach" date="1204857466" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco1.png" movedwhen="1210927684" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco1.png" name="boneco1.png" path="boneco1.png" size="40551" stream="boneco1.png" user="Main.MiguelFerreira" version="1"
META FILEATTACHMENT attachment="boneco5.png" attr="h" comment="Point Free structure approach" date="1204858085" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.boneco5.png" movedwhen="1210927697" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.boneco5.png" name="boneco5.png" path="boneco4.png" size="38692" stream="boneco4.png" user="Main.MiguelFerreira" version="2"
META FILEATTACHMENT attachment="translations_diagram.png" attr="h" comment="Translations diagram" date="1204858034" moveby="Main.MiguelFerreira" movedto="Research/VFS.WebHome.translations_diagram.png" movedwhen="1210927726" movefrom="Research/VFS.VerifingIntelFlashFilesystemCore.translations_diagram.png" name="translations_diagram.png" path="translations_diagram.png" size="585517" stream="translations_diagram.png" user="Main.MiguelFerreira" version="1"

WebHome 31 - 16 May 2008 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 12 to 14
 Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
Added:
>
>

All-in-one Formal Methods

  • First approach
    boneco1.png

  • Point free structuring approach
    boneco5.png

  • Translation diagram:


    translations_diagram.png

 

Verifying Intel Flash File System Core


WebHome 30 - 07 Mar 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 12 to 12
 Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
Added:
>
>

Verifying Intel Flash File System Core

File System Layer Models

There has been a restructuring of all models, and for that, some of them aren't available yet. If you are looking for any thing ins specific please contact us.

VDM++

  • src_vdm.tar.bz: FileSystemLayer (VDM++)
    • Implemented Operations:
      • FS_DeleteFileDir
      • FS_OpenFileDir
      • FS_WriteFile
    • Operations to be implemented:
      • FS_ReadFileDir
      • FS_Init

Alloy

  • src_alloy.tar.bz: FileSystemLayer (Alloy)
    • Implemented Operations:
      • FS_DeleteFileDir
    • Operations to be implemented:
      • FS_OpenFileDir
      • FS_WriteFile
      • FS_ReadFileDir
      • FS_Init

VDM++ adapted for VdmHolTranslator and HOL translation

Model
  • src_vdm2hol.tar.gz: FileSystemLayer (VDM2HOL)
    • Implemented Operations:
      • FS_DeleteFileDir
    • Operations to be implemented:
      • FS_OpenFileDir
      • FS_WriteFile
      • FS_ReadFileDir
      • FS_Init

Proof Obligations

  • The VDMTools generated 13 Proof Obligations, from which:
    • 3 aren't translatable to HOL with the VdmHolTranslator. These can be found in the excluded.pog file
    • 10 where translated to HOL by the VdmHolTranslator. These can be found in the FileSystemLayerAlg.vpp.pog file.
      • 7 of these Proof Obligations where discharged in HOL using the Overture Automated Proof Support
      • for the remaining 3 Proof Obligations HOL attempted to prove for more than 5 minutes and was manually interrupted.

  • HOL model and Proof Obligations can be found in the:
    • FileSystemLayerAlg.vpp.pog.hol (for the unmodified version)
    • FileSystemLayerAlg.vpp.pog.hol.mod (for the executable version)

HOL (hand written)

  • Will be published soon

Proof attempts by hand (point free style)

  • Calculation of weakest pre-condition for preservation of referential integrity invariant on open files can be found here, on Lecture 5 (page 144).

 

News Flash

  • Refresh at public area projet information MiguelFerreira - 8 Mar 2008

  • Added the first files for the Intel Flash File System Core specification

  • Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007

  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) MiguelFerreira - 30 Nov 2007

  • Added alloy library and updated bib file SamuelSilva - 19 Nov 2007


WebHome 29 - 26 Jan 2008 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 12 to 12
 Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
Changed:
<
<

News Flash

>
>

News Flash

  • Refresh at public area projet information MiguelFerreira - 8 Mar 2008

  • Added the first files for the Intel Flash File System Core specification

  • Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007

  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) MiguelFerreira - 30 Nov 2007

  • Added alloy library and updated bib file SamuelSilva - 19 Nov 2007

 
Deleted:
<
<
 
Changed:
<
<

Team

>
>

Team

 
Changed:
<
<

Project Activities PICK

Links

>
>

Project Activities PICK

Web References

Flash File System

  • (pdf) Intel Flash File System Core Reference Guide (Version 1)

POSIX File Store (GC)

  • (pdf) Morgan and Sufrin's paper on the Unix filing system. (Z)
  • (pdf) POSIX file store in Z/Eves: an experiment in the verified software repository
  • (ppt) Formal Modeling and Analysis of a Flash Filesystem in Alloy.
  • (pdf) Verifiable POSIX file store, technical report. (VDM)
  • (pdf) Open Nand Flash Interface, technical report. (VDM)

Formal Methods Projects and Tools

Conferences and Workshops

Other

 

Research/VFS Web Utilities

Deleted:
<
<
 

-- MiguelFerreira - 15 Nov 2007


WebHome 28 - 25 Jan 2008 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 36 to 33
 

Project Activities PICK

Changed:
<
<
>
>
 
Deleted:
<
<
 

Links


WebHome 27 - 23 Jan 2008 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 13 to 13
 

News Flash

Changed:
<
<
  • NEW Added the first files for the Intel Flash File System Core specification
>
>
  • NEW Refresh files SamuelSilva - 22 Jan 2007
  • Added the first files for the Intel Flash File System Core specification
 
  • Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007
Deleted:
<
<
 
  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) MiguelFerreira - 30 Nov 2007
Deleted:
<
<
 
Deleted:
<
<
 
Deleted:
<
<
 
Deleted:
<
<
 
  • Added alloy library and updated bib file SamuelSilva - 19 Nov 2007
Deleted:
<
<
 
Deleted:
<
<
 

WebHome 26 - 21 Dec 2007 - Main.JoseNunoOliveira
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.


WebHome 25 - 11 Dec 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 13 to 13
 

News Flash

Changed:
<
<
  • NEW Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007
>
>
  • NEW Added the first files for the Intel Flash File System Core specification

  • Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007
 
  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) MiguelFerreira - 30 Nov 2007

WebHome 24 - 06 Dec 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems.

Line: 13 to 13
 

News Flash

Changed:
<
<
  • NEW Added new references on the flash memory subject by MiguelFerreira - 6 Dez 2007
>
>
  • NEW Added new references on the flash memory subject MiguelFerreira - 6 Dez 2007
 
Changed:
<
<
  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) by MiguelFerreira - 30 Nov 2007
>
>
  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) MiguelFerreira - 30 Nov 2007
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 
Changed:
<
<
  • Added alloy library and updated bib file by SamuelSilva - 19 Nov 2007
>
>
  • Added alloy library and updated bib file SamuelSilva - 19 Nov 2007
 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

WebHome 23 - 06 Dec 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Added:
>
>
The formal methods comunity has decided to challenge software developers to use formal methods techniques, in order to specify/modelate "big" software systems. These software artifacts would then be a part of the Verifiable Software Repository.
 
Changed:
<
<
The purpose of this project is to answer the Mini Challenge: Build a Verifiable Filesystem proposed by Rajeev Joshi and Gerard J. Holzmann.
>
>
The last challenge released intents to specify the standard POSIX 1003.1, which is in fact an enourmous task. So, Rajeev Joshi and Gerard J. Holzmann have proposed a, so called, mini-challenge that focus on building a verifiable file system that follows the POSIX guide lines. Further more, the proponents of the mini-challenge, have also introduced a project, that is being carried out at NASA Jet Propulsion Laboratory, which goal is to build such a verifiable file system but designed for use directly in Flash Memories.
 
Changed:
<
<
to be continued ...
>
>
The goal of this project is to respond to the mini-challenge, taking in account the Flash Memory specificity has hardware support for the file system. Following established techniques , as well as new in sights on how to use and apply formal methods in a system wide development.
 
Deleted:
<
<

 

News Flash

Changed:
<
<
  • NEW Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) by MiguelFerreira - 30 Nov 2007
>
>
  • NEW Added new references on the flash memory subject by MiguelFerreira - 6 Dez 2007

  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) by MiguelFerreira - 30 Nov 2007
 
Line: 25 to 31
 
Deleted:
<
<

Description

to be continued ...

 

Team

Line: 55 to 56
 
Deleted:
<
<

 

Research/VFS Web Utilities


WebHome 22 - 03 Dec 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink)
>
>
  • NEW Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink) by MiguelFerreira - 30 Nov 2007
 

WebHome 21 - 29 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
>
>
  • Added POSIX extracts of some system interfaces (open, mkdir, opendir, close, closedir, rmdir, unlink)

 
Added:
>
>
 
Added:
>
>
 
  • Added alloy library and updated bib file by SamuelSilva - 19 Nov 2007
Added:
>
>
 
Added:
>
>
 

WebHome 20 - 27 Nov 2007 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
>
>
 

WebHome 19 - 27 Nov 2007 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
>
>
 

WebHome 18 - 26 Nov 2007 - Main.JoseNunoOliveira
Line: 1 to 1
 

Verifiable Filesystem

Line: 34 to 34
 
Added:
>
>

Links

 

Research/VFS Web Utilities


WebHome 17 - 20 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
  • NEW Opened topic Summary? and updated alloy library by SamuelSilva - 19 Nov 2007
>
>
 
Line: 18 to 19
 
Changed:
<
<

Description

>
>

Description

  to be continued ...
Changed:
<
<

Team

>
>

Team

 
Changed:
<
<

Project Files PICK

ProjectFiles is where all project files should be.

Summary PICK

See Summary?
>
>

Project Activities PICK

 

WebHome 16 - 20 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem


WebHome 15 - 19 Nov 2007 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
  • NEW Added alloy library and updated bib file by SamuelSilva - 19 Nov 2007
>
>
  • NEW Opened topic Summary? and updated alloy library by SamuelSilva - 19 Nov 2007
  • Added alloy library and updated bib file by SamuelSilva - 19 Nov 2007
 

WebHome 14 - 19 Nov 2007 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

Line: 31 to 31
 ProjectFiles is where all project files should be.
Added:
>
>

Summary PICK

See Summary?
 

Research/VFS Web Utilities


WebHome 13 - 19 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 23 to 23
 

Team

Changed:
<
<
  • JoseNunoOliveira?
  • SamuelSilva?
  • MiguelFerreira?
>
>
 

Project Files PICK


WebHome 12 - 19 Nov 2007 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem

Line: 9 to 9
 

News Flash

Changed:
<
<
>
>
 

WebHome 11 - 19 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Line: 22 to 22
 

Team

Changed:
<
<
to be continued ...
>
>
  • JoseNunoOliveira?
  • SamuelSilva?
  • MiguelFerreira?
 

Project Files PICK


WebHome 10 - 19 Nov 2007 - Main.SamuelSilva
Line: 1 to 1
 

Verifiable Filesystem


WebHome 9 - 15 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem


WebHome 8 - 15 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
 

Verifiable Filesystem

Deleted:
<
<

  • Project Description
  • Goals
  • ...
 
Changed:
<
<

Research/VFS Web Utilities

>
>
The purpose of this project is to answer the Mini Challenge: Build a Verifiable Filesystem proposed by Rajeev Joshi and Gerard J. Holzmann.

to be continued ...


News Flash


Description

to be continued ...

Team

to be continued ...

Project Files PICK

ProjectFiles is where all project files should be.


Research/VFS Web Utilities

 
Line: 17 to 41
 
Added:
>
>
-- MiguelFerreira - 15 Nov 2007

WebHome 7 - 15 Nov 2007 - Main.MiguelFerreira
Line: 1 to 1
Changed:
<
<

Welcome to the Research/VFS web

>
>

Verifiable Filesystem

 
Changed:
<
<

Available Information

  • ...
  • ...
>
>

  • Project Description
  • Goals
 
  • ...

Research/VFS Web Utilities


WebHome 6 - 28 Mar 2005 - Main.TWikiContributor
Line: 1 to 1
 

Welcome to the Research/VFS web

Available Information


WebHome 5 - 28 Mar 2005 - Main.TWikiContributor
Line: 1 to 1
Changed:
<
<
Welcome to the home of TWiki.Research/VFS. This is a web-based collaboration area for ...
>
>

Welcome to the Research/VFS web

 
Changed:
<
<
  • MeetingMinutes?
>
>

Available Information

  • ...
  • ...
  • ...
 
Changed:
<
<

Site Tools of the Research/VFS Web

>
>

Research/VFS Web Utilities

 
Deleted:
<
<

Notes:

  • You are currently in the Research/VFS web. The color code for this web is this background, so you know where you are.
  • If you are not familiar with the TWiki collaboration platform, please visit WelcomeGuest first.

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

WebHome 4 - 14 Apr 2002 - Main.PeterThoeny
Line: 1 to 1
 Welcome to the home of TWiki.Research/VFS. This is a web-based collaboration area for ...

  • MeetingMinutes?
Changed:
<
<

Maintenance of the Research/VFS web

  •    (More options in WebSearch)
  • WebChanges: Find out recent modifications to the TWiki.Research/VFS web.
  • WebIndex: Display all TWiki.Research/VFS topics in alphabetical order. See also the faster WebTopicList
  • WebNotify: Subscribe to be automatically notified when something changes in the TWiki.Research/VFS web.
  • WebStatistics: View access statistics of the TWiki.Research/VFS web.
  • WebPreferences: Preferences of the TWiki.Research/VFS web.
>
>

Site Tools of the Research/VFS Web

 Notes:
Changed:
<
<
  • You are currently in the TWiki.Research/VFS web. The color code for this web is a (SPECIFY COLOR) background, so you know where you are.
  • If you are not familiar with the TWiki collaboration tool, please visit WelcomeGuest in the TWiki.TWiki web first.
>
>
  • You are currently in the Research/VFS web. The color code for this web is this background, so you know where you are.
  • If you are not familiar with the TWiki collaboration platform, please visit WelcomeGuest first.
 

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

WebHome 3 - 07 Apr 2002 - Main.PeterThoeny
Line: 1 to 1
 Welcome to the home of TWiki.Research/VFS. This is a web-based collaboration area for ...

  • MeetingMinutes?
Line: 18 to 18
 
  • You are currently in the TWiki.Research/VFS web. The color code for this web is a (SPECIFY COLOR) background, so you know where you are.
  • If you are not familiar with the TWiki collaboration tool, please visit WelcomeGuest in the TWiki.TWiki web first.
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 WebHome 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

WebHome 2 - 24 Nov 2001 - Main.PeterThoeny
Line: 1 to 1
 Welcome to the home of TWiki.Research/VFS. This is a web-based collaboration area for ...

  • MeetingMinutes?
Line: 8 to 8
 
  •    (More options in WebSearch)
  • WebChanges: Find out recent modifications to the TWiki.Research/VFS web.
Changed:
<
<
  • WebIndex: Display all TWiki.Research/VFS topics in alphabetical order.
>
>
  • WebIndex: Display all TWiki.Research/VFS topics in alphabetical order. See also the faster WebTopicList
 
  • WebNotify: Subscribe to be automatically notified when something changes in the TWiki.Research/VFS web.
  • WebStatistics: View access statistics of the TWiki.Research/VFS web.
  • WebPreferences: Preferences of the TWiki.Research/VFS web.

WebHome 1 - 08 Aug 2001 - Main.PeterThoeny
Line: 1 to 1
Added:
>
>
Welcome to the home of TWiki.Research/VFS. This is a web-based collaboration area for ...

  • MeetingMinutes?

Maintenance of the Research/VFS web

  •    (More options in WebSearch)
  • WebChanges: Find out recent modifications to the TWiki.Research/VFS web.
  • WebIndex: Display all TWiki.Research/VFS topics in alphabetical order.
  • WebNotify: Subscribe to be automatically notified when something changes in the TWiki.Research/VFS web.
  • WebStatistics: View access statistics of the TWiki.Research/VFS web.
  • WebPreferences: Preferences of the TWiki.Research/VFS web.

Notes:

  • You are currently in the TWiki.Research/VFS web. The color code for this web is a (SPECIFY COLOR) background, so you know where you are.
  • If you are not familiar with the TWiki collaboration tool, please visit WelcomeGuest in the TWiki.TWiki web first.

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 WebHome to include from SiteMap instead of TWikiWebsTable)

Revision 43r43 - 02 Jul 2012 - 20:55:38 - JoseNunoOliveira
Revision 42r42 - 02 Jul 2012 - 12:05:38 - JoseNunoOliveira
Revision 41r41 - 02 Jul 2012 - 11:40:20 - MiguelFerreira
Revision 40r40 - 02 Jul 2012 - 09:45:01 - JoseNunoOliveira
Revision 39r39 - 09 Jun 2008 - 06:09:50 - MiguelFerreira
Revision 38r38 - 02 Jun 2008 - 16:35:14 - MiguelFerreira
Revision 37r37 - 30 May 2008 - 08:43:36 - MiguelFerreira
Revision 36r36 - 28 May 2008 - 02:26:15 - MiguelFerreira
Revision 35r35 - 26 May 2008 - 14:29:50 - MiguelFerreira
Revision 34r34 - 19 May 2008 - 07:08:56 - MiguelFerreira
Revision 33r33 - 16 May 2008 - 08:54:07 - JoseNunoOliveira
Revision 32r32 - 16 May 2008 - 08:48:46 - MiguelFerreira
Revision 31r31 - 16 May 2008 - 08:46:42 - JoseNunoOliveira
Revision 30r30 - 07 Mar 2008 - 02:53:10 - MiguelFerreira
Revision 29r29 - 26 Jan 2008 - 16:30:21 - MiguelFerreira
Revision 28r28 - 25 Jan 2008 - 13:41:04 - SamuelSilva
Revision 27r27 - 23 Jan 2008 - 18:01:46 - SamuelSilva
Revision 26r26 - 21 Dec 2007 - 14:38:06 - JoseNunoOliveira
Revision 25r25 - 11 Dec 2007 - 22:10:25 - MiguelFerreira
Revision 24r24 - 06 Dec 2007 - 23:31:14 - MiguelFerreira
Revision 23r23 - 06 Dec 2007 - 10:36:11 - MiguelFerreira
Revision 22r22 - 03 Dec 2007 - 09:31:28 - MiguelFerreira
Revision 21r21 - 29 Nov 2007 - 00:20:10 - MiguelFerreira
Revision 20r20 - 27 Nov 2007 - 11:28:36 - SamuelSilva
Revision 19r19 - 27 Nov 2007 - 09:18:51 - SamuelSilva
Revision 18r18 - 26 Nov 2007 - 15:39:39 - JoseNunoOliveira
Revision 17r17 - 20 Nov 2007 - 21:58:57 - MiguelFerreira
Revision 16r16 - 20 Nov 2007 - 13:29:25 - MiguelFerreira
Revision 15r15 - 19 Nov 2007 - 19:02:17 - SamuelSilva
Revision 14r14 - 19 Nov 2007 - 14:58:15 - SamuelSilva
Revision 13r13 - 19 Nov 2007 - 10:41:03 - MiguelFerreira
Revision 12r12 - 19 Nov 2007 - 10:37:17 - SamuelSilva
Revision 11r11 - 19 Nov 2007 - 10:35:42 - MiguelFerreira
Revision 10r10 - 19 Nov 2007 - 10:26:00 - SamuelSilva
Revision 9r9 - 15 Nov 2007 - 23:48:45 - MiguelFerreira
Revision 8r8 - 15 Nov 2007 - 23:46:49 - MiguelFerreira
Revision 7r7 - 15 Nov 2007 - 20:42:19 - MiguelFerreira
Revision 6r6 - 28 Mar 2005 - 09:40:13 - TWikiContributor
Revision 5r5 - 28 Mar 2005 - 09:40:13 - TWikiContributor
Revision 4r4 - 14 Apr 2002 - 06:48:51 - PeterThoeny?
Revision 3r3 - 07 Apr 2002 - 10:31:00 - PeterThoeny?
Revision 2r2 - 24 Nov 2001 - 11:40:23 - PeterThoeny?
Revision 1r1 - 08 Aug 2001 - 05:20:01 - PeterThoeny?
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM