PURe
Program Understanding and Re-engineering: Calculi and Applications
Login
|
Print
Navigation
Home
PURe Café
Publications
Software
Related
FAST Group
Conferences
IKF Project
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...
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
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):
List more similar topic in this web
Search similar topics in all public webs
Do you wish to create the topic 'WebAtom'?
Create 'WebAtom'
r13 - 15 Nov 2006 - 19:43:52 -
TWikiContributor
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM