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
»
WebHome
»
WebTopicList
2LT
Camila
ChopaChops
CoddFish
FlexibleSkinLeftBar
FlexibleSkinStyleSheet
FlexibleSkinTopBar
FlexibleSkinTopicFooter
GenericSlicing
HaGLR
HaskellCommunitiesAndActivities
PUReCafe
PUReCafeTalk1
PUReEvents
PUReNews
PUReNewsArchive
PURePublications
PUReSoftware
PointFree
ProjectSummary
PureAnnouncements
SdfMetz
SoftwareAnalysisLabPaperLinks
SpreadsheetUnderstanding
UsingCVS
VDMGrammarEvolution
VooDooM
VooDooMFront
WebChanges
WebCss
WebHome
WebIndex
WebLeftBar
WebNotify
WebPreferences
WebRss
WebSearch
WebSearchAdvanced
WebSideBar
WebStatistics
WebTopicActions
WebTopicList
XsdMetz
See also the verbose
WebIndex
.
r1 - 24 Nov 2001 - 11:40:47 -
PeterThoeny
?
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM