PURe

Program Understanding and Re-engineering: Calculi and Applications

Navigation

Related

News

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

More...

Web Search

Search: WebAtom

DI Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's DI web
Found 1 topics.
EL Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's EL web
Found 1 topics.
Education Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education web
Found 1 topics.
Education/ACMSD Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/ACMSD web
Found 1 topics.
Education/ACS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/ACS web
Found 1 topics.
Education/AeC Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/AeC web
Found 1 topics.
Education/CP Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP web
Found 1 topics.
Education/CP0809 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP0809 web
Found 1 topics.
Education/CP0910 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP0910 web
Found 1 topics.
Education/CP1011 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP1011 web
Found 1 topics.
Education/CP1112 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP1112 web
Found 1 topics.
Education/CP1213 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP1213 web
Found 1 topics.
Education/CP1314 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP1314 web
Found 1 topics.
Education/CP1415 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/CP1415 web
Found 1 topics.
Education/ClubeProgramacao Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/ClubeProgramacao web
Found 1 topics.
Education/EL Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EL web
Found 1 topics.
Education/EL0708 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EL0708 web
Found 1 topics.
Education/EL0809 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EL0809 web
Found 1 topics.
Education/EL0910 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EL0910 web
Found 1 topics.
Education/EL1011 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EL1011 web
Found 1 topics.
Education/EM Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/EM web
Found 1 topics.
Education/ERS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/ERS web
Found 1 topics.
Education/LC Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/LC web
Found 1 topics.
Education/LI1 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/LI1 web
Found 1 topics.
Education/LI10708 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/LI10708 web
Found 1 topics.
Education/LI11011 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/LI11011 web
Found 1 topics.
Education/LI11112 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/LI11112 web
Found 1 topics.
Education/MAPiICS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MAPiICS web
Found 1 topics.
Education/MFES Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES web
Found 1 topics.
Education/MFES0910 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES0910 web
Found 1 topics.
Education/MFES1011 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1011 web
Found 1 topics.
Education/MFES1112 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1112 web
Found 1 topics.
Education/MFES1213 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1213 web
Found 1 topics.
Education/MFES1314 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1314 web
Found 1 topics.
Education/MFES1415 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1415 web
Found 1 topics.
Education/MFES1617 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1617 web
Found 1 topics.
Education/MapiFc Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MapiFc web
Found 1 topics.
Education/MapiSCAM Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MapiSCAM web
Found 1 topics.
Education/PE Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/PE web
Found 1 topics.
Education/PeC Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/PeC web
Found 1 topics.
Education/SEM Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/SEM web
Found 1 topics.
Education/TPI Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/TPI web
Found 1 topics.
Events Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Events web
Found 1 topics.
Events/RULE2010 Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Events/RULE2010 web
Found 1 topics.
Events/RuleWorkshop Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Events/RuleWorkshop web
Found 1 topics.
JoseLuisSilva Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's JoseLuisSilva web
Found 1 topics.
Main Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Main web The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform.
Found 1 topics.
Personal Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal web
Found 1 topics.
Personal/JFF Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal/JFF web
Found 1 topics.
Personal/Jacome Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal/Jacome web
Found 1 topics.
Personal/JorgeMendes Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal/JorgeMendes web
Found 1 topics.
Personal/JoseLuisSilva Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal/JoseLuisSilva web
Found 1 topics.
Personal/PedroMartins Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal/PedroMartins web
Found 1 topics.
Personal/Tiago Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Personal/Tiago web
Found 1 topics.
Research Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research web
Found 1 topics.
Research/APEX Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/APEX web
Found 1 topics.
Research/Aviacc Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/Aviacc web
Found 1 topics.
Research/CROSS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/CROSS web
Found 1 topics.
Research/EVOLVE Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/EVOLVE web
Found 1 topics.
Research/FATBIT Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/FATBIT web
Found 1 topics.
Research/MONDRIAN Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/MONDRIAN web
Found 1 topics.
Research/MathIS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/MathIS web
Found 1 topics.
Research/Matisse Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/Matisse web
Found 1 topics.
Research/NASONI Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/NASONI web
Found 1 topics.
Research/QAIS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/QAIS web
Found 1 topics.
Research/Rescue Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/Rescue web
Found 1 topics.
Research/VFS Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/VFS web
Found 1 topics.
Sandbox Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Sandbox web The Sandbox Web of TWiki. TWiki is an Enterprise Collaboration Platform.
Found 1 topics.
TWiki Web Changed Changed by
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's TWiki web The Documentation Web of TWiki. TWiki is an Enterprise Collaboration Platform.
WebAtomBase 15 Nov 2006 - 19:43 - r3 TWikiContributor
ATOM News Feeds Find out What's New There are several ways to find out what's new in each TWiki web: 1. Visit WebChanges to see recent changes 1. Subscribed ...
Found 2 topics.

  Advanced search | Help
TIP: to search for all topics that contain "SOAP", "WSDL", a literal "web service", but not "shampoo", write: soap wsdl "web service" -shampoo
Search where:       
(otherwise search Research/PURe Web only)

Other search options:

r1 - 08 Aug 2001 - 05:26:39 - PeterThoeny?
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM