Program Understanding and Re-engineering: Calculi and Applications




Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau).

July 3 Paper Configurations of Web Services by MarcoAntonioBarbosa and LuisSoaresBarbosa has been accepted for FOCLASA'06 (Bonn, Germany).

July 3 Paper Strong Types for Relational Databases by Alexandra Silva and JoostVisser has been accepted for the Haskell Workshop 2006 (Portland, USA).

June 16 Paper Strongly Typed Rewriting For Coupled Software Transformation (by AlcinoCunha and JoostVisser) accepted by RULE 2006 (Seattle, USA).

May, 26 Paper Transposing Partial Coalgebras (by LuisSoaresBarbosa and JoseNunoOliveira) accepted for publication in TCS, Elsevier.

May, 11 Papers Type-safe two-level data transformation (by AlcinoCunha, JoseNunoOliveira and JoostVisser) and Pointfree factorization of operation refinement (by JoseNunoOliveira and Cesar Rodrigues) have been accepted by FM'06 (Canada).

May, 8 A paper entitled An Orchestrator for Dynamic Interconnection of Software Components, by MarcoAntonioBarbosa and LuisSoaresBarbosa, accepted at MTCoord'06 (Bologna).


Using CVS

For the current state of affairs you can take a peek at our CVS repository.

To use CVS do the following:

Login to the repository


  cvs -d :pserver:username@haskell.di.uminho.pt:/mnt/ds/cvsroot login

For read only access you can use the username anonymous (password anonymous).

For read-write access, you should be a member of the PUReCvsGroup? (contact an administrator for that) and use the twiki name and password.

Check out the repository


  cvs -d :pserver:username@haskell.di.uminho.pt:/mnt/ds/cvsroot checkout PURe
This gives you a directory Research.PURe with subdirectories such as software and papers. This is your local copy of the repository.

Update your local copy

Change to any directory within your local copy of the repository, and update it with:

  cvs upd -dP
The -dP options tell CVS to also synchronize subdirectories, if they are non-empty.

Add files

If you create new files or directories in your local copy, and you can register them for addition with:

  cvs add filename
This does not yet store the file in the repository. You still need to commit it (see below).

Commit local modifications into the repository

After making modifications in you local copy (changing or adding files) you can commit them to the repository as follows:

  cvs commit


For all this to work, you need an environment variable CVS_RSH set to ssh such that cvs will make a connection with the server on which the repository resides via ssh.

r5 - 12 Feb 2007 - 19:32:08 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM