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


Research » PURe » WebAtom?

---+ Note: This topic does not exist

*The topic 'WebAtom' you are trying to access does not exist, yet.*

*Did you spell the TWiki.WikiWord correctly?* Remember, a WikiWord is case sensitive.
---+++ Do you wish to navigate quickly to a similar topic? Similar topics in this web (if any):
arrowbright [[/twiki/bin/view/Research/PURe/WebSearch?scope=topic;search=WebAtom][List more similar topic in this web]]
arrowbright [[/twiki/bin/view/Research/PURe/WebSearch?scope=topic;web=all;search=WebAtom][Search similar topics in all public webs]] ---+++ Do you wish to create the topic 'WebAtom'? arrowbright [[http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebAtom?create=on&newtopic=WebAtom][Create 'WebAtom']]

Create New Topic in Research/PURe Web

Topic name:

It's usually best to choose a WikiWord for the new topic name, otherwise automatic linking may not work. Characters not allowed in topic names, such as spaces will automatically be removed.

Topic parent:

Use template:

View templates

info Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.

r13 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM