50 Recent Changes in TWiki Web retrieved at 20:47 (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? |
Number of topics: 43 See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes