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

50 Recent Changes in TWiki Web retrieved at 22:03 (GMT)

ProjectSummary 02 Mar 2009 - 19:23 - r2 LuisSoaresBarbosa
Project Summary In a situation in which the only quality certificate of the running software artifact still is life cycle endurance, customers and software producers ...
WebHome 02 Mar 2009 - 19:18 - r37 LuisSoaresBarbosa
Program Understanding and Re engineering: Calculi and Applications The aim of the PURe research project is to develop calculi for program understanding and re engineering ...
2LT 05 Dec 2007 - 23:40 - r19 TiagoAlves
Two Level Transformation (2LT) NOTE: the 2LT project is moving to: at Google Code. A two level data transformation consists of a type level transformation of a data ...
WebSideBar 04 Nov 2007 - 19:25 - r3 JoseBacelarAlmeida
Navigation Home PURe Café Publications Software Related Group Conferences IKF Project News
FlexibleSkinLeftBar 04 Nov 2007 - 19:21 - r6 JoseBacelarAlmeida
Project Home PURe Café Publications Software Related Group Conferences Books IKF Project Navigation Users Changes Index Statistics Webs Search
HaGLR 04 Nov 2007 - 19:18 - r4 JoseBacelarAlmeida
What is HaGLR? HaGLR provides support for Generalized LR parsing in Haskell. Documentation João Saraiva, João Fernandes, and Joost Visser. Generalized LR Parsing ...
PURePublications 04 Nov 2007 - 19:18 - r54 JoseBacelarAlmeida
Project Publications and Reports Publications (Conference Papers) On the Specification of a Component Repository , Rodrigues, N. and Barbosa, L., FACS'03 (Int ...
WebStatistics 04 Nov 2007 - 19:18 - r1135 JoseBacelarAlmeida
Statistics for Research/PURe Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
SdfMetz 04 Nov 2007 - 19:18 - r15 JoseBacelarAlmeida
!SdfMetz: metrication of SDF grammars !SdfMetz computes metrics for SDF grammars. Among the supported metrics are counters of terminals, non terminals, productions ...
PUReNewsArchive 04 Nov 2007 - 19:18 - r6 JoseBacelarAlmeida
See also recent PURe news. News archive 2006 (until March) March, 25 The lambda coinduction by calculation stuff was presented today in Wien by AlexandraSilva ...
Camila 04 Nov 2007 - 18:58 - r15 JoseBacelarAlmeida
CAMILA: VDM meets Haskell The Camila project explores how concepts from the VDM specification language and the functional programming language Haskell can be combined ...
CoddFish 11 Jul 2007 - 21:47 - r19 JoostVisser
!CoddFish !CoddFish is a Haskell library that offers strongly typed support for database programming. Documentation !CoddFish makes extensive use of heterogenous ...
XsdMetz 11 Jul 2007 - 21:47 - r5 JoostVisser
!XsdMetz The !XsdMetz tool computes metrics for XML schemas. Documentation !XsdMetz was developed to support the structure metrics defined in the following publication ...
PUReCafe 28 Jun 2007 - 11:45 - r82 JoseBacelarAlmeida
As of September 2006, PUReCafe has been continued with a wider scope as the Theory and Formal Methods Seminar. PUReCafe was a weekly scientific colloquium organized ...
PUReCafeTalk1 28 Jun 2007 - 11:42 - r6 JoseBacelarAlmeida
Invitation to Wiki Basic Principles WikiName TextFormattingRules Edit via browser Distributed ownership Successful Wikis ...
WebTopicActions 29 May 2007 - 16:23 - r2 JoseBacelarAlmeida
WebSearchAdvanced 17 May 2007 - 14:51 - NEW TWikiGuest
WebCss 16 Feb 2007 - 14:32 - NEW AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
PUReNews 16 Feb 2007 - 14:06 - r52 AlcinoCunha
Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau ...
WebPreferences 16 Feb 2007 - 13:53 - r7 AlcinoCunha
TWiki.Research/PURe Web Preferences The following settings are web preferences of the TWiki.Research/PURe web. These preferences overwrite the site level preferences ...
WebLeftBar 13 Feb 2007 - 01:27 - r2 JoseBacelarAlmeida
Web Web Home Changes Index Search Topics
PointFree 12 Feb 2007 - 19:59 - r3 JoseBacelarAlmeida
SpreadsheetUnderstanding 12 Feb 2007 - 19:58 - r18 JoseBacelarAlmeida
Spreadsheet Understanding The Spreadsheet Understanding is a subproject of the Research.PURe project that aims to apply program understanding and reverse engineering ...
GenericSlicing 12 Feb 2007 - 19:48 - r2 JoseBacelarAlmeida
One of the research topics of the Research.PURe Project is development of generic program slicing techniques. Contributors Personal.Nuno Rodrigues Patrick ...
PUReEvents 12 Feb 2007 - 19:45 - r10 JoseBacelarAlmeida
Forthcoming Events Date Event Every Thursday PUReCafe 2004.09.30 Project Evaluation Meeting 2004.10.10 Annual Report 2004.10.18 21 ...
PureAnnouncements 12 Feb 2007 - 19:43 - r3 JoseBacelarAlmeida
Announcements Themes Proposed Functional Animation of Reactive Systems (LuisSoaresBarbosa) Coinductive Programming: Calculi and Applications (LuisSoaresBarbosa ...
PUReSoftware 12 Feb 2007 - 19:42 - r21 JoseBacelarAlmeida
UMinho Haskell Software Libraries Tools The UMinho Haskell Software is a repository of software, written in the functional programming language Haskell, that ...
UsingCVS 12 Feb 2007 - 19:32 - r5 JoseBacelarAlmeida
Using CVS For the current state of affairs you can take a peek at our repository. To use CVS do the following: Login to the repository With: cvs d :pserver:username ...
VooDooMFront 12 Feb 2007 - 19:32 - r16 JoseBacelarAlmeida
News May 18, 2005 A browsable version of the VDM SL grammar is now online. April 29, 2005 A report came out on the development of the VDM grammar in SDF. February ...
VDMGrammarEvolution 12 Feb 2007 - 19:32 - r2 JoseBacelarAlmeida
Quantification of the development evolution of the VDM grammar of VooDooMFront. Coverage Metrics Version KP Pr S RSa RSm RC 0.0.1 ...
HaskellCommunitiesAndActivities 12 Feb 2007 - 19:32 - r12 JoseBacelarAlmeida
Haskell Activities and Communities Report Entries submitted by the LMF group at the Informatics Department of the University of Minho. Libraries 1. Pointless Haskell ...
WebNotify 04 Jun 2006 - 14:33 - r5 JoostVisser
This is a subscription service to be automatically notified by e mail when topics change in this Research/PURe web. This is a convenient service, so you do not have ...
VooDooM 18 May 2005 - 13:22 - r3 JoostVisser
VooDooM : A transformation tool for VDM SL. FUNCTIONALITY VooDooM reads VDM SL specifications and applies transformation rules to the datatypes that are defined ...
FlexibleSkinTopicFooter 23 Mar 2005 - 08:45 - NEW JoostVisser
{ Edit Attach Printable Diffs More... }
FlexibleSkinTopBar 23 Mar 2005 - 08:43 - NEW JoostVisser
.
FlexibleSkinStyleSheet 23 Mar 2005 - 08:41 - NEW JoostVisser
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
ChopaChops 09 Aug 2004 - 09:53 - NEW JoostVisser
What is ChopaChops? ChopaChops is a collection of tools for slicing and chopping of graphs. Currently, only a single tools is included in the collection: JReach ...
SoftwareAnalysisLabPaperLinks 18 Jul 2004 - 10:33 - NEW JoostVisser
This page lists links to papers mentioned in the FCT proposal entitled "Software Analysis Lab": 1. http://www.di.uminho.pt/~joost.visser/publications/AToolBasedMethodologyForSoftwarePortfolioMonitoring ...
WebRss 30 Jan 2003 - 08:15 - NEW PeterThoeny?
TWiki's Research/PURe web /view/Research/PURe The Research/PURe web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
WebIndex 24 Nov 2001 - 11:41 - r2 PeterThoeny?
See also the faster WebTopicList
WebTopicList 24 Nov 2001 - 11:40 - NEW PeterThoeny?
See also the verbose WebIndex.
WebChanges 16 Aug 2001 - 19:58 - NEW PeterThoeny?
WebSearch 08 Aug 2001 - 05:26 - NEW PeterThoeny?
Found 43 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r1 - 16 Aug 2001 - 19:58:33 - PeterThoeny?
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM