MONDRIAN

Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability

Overview

Team

Results

Project Workshops


News

tinynew.gif 11 August 11 Paper accepted at FACS'11: A. Sanchez, L. S. Barbosa and D. Riesco. Bigraphical Modelling of Architectural Patterns

tinynew.gif 8 August 11 Paper accepted at EI2N'11: N. Rodrigues, N. Oliveira and L. S. Barbosa. The role of coordination analysis in software integration projects

tinynew.gif 19 June 11 Paper accepted at SEFM'11: A. Madeira, J. M. Faria, M. A. Martins and L. S. Barbosa. Hybrid specification of reactive systems: An institutional approach

27 April 11 Paper accepted at Refine'11: C. J. Rodrigues, M. A. Martins, A. Madeira and L. Barbosa. Refinement by interpretation in Pi-institutions

21 April 11 Paper accepted at CALCO'11: M. A. Martins, A. Madeira, R. Diaconescu and L. Barbosa. Hybridization of Institutions

21 April 11 Paper accepted at CALCO-Tools: A. Martins, L. Barbosa, N. F. Rodrigues. SHACC: A functional animator for a component calculus

New *journal paper: D. Hofmann and P. Waszkiewicz. Approximation in quantale-enriched categoriess, TA 158 (8), 2011.

12 Mar 11 Paper accepted at CiE'11: A. Madeira, M.A. Martins and L. S. Barbosa. Models as arrows: the role of dialgebras

10 Mar 11 Paper accepted at CBSEC'11: A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa. On requirements engineering for reactive systems: A formal methodology

New journal paper: D. Hofmann and I. Stubbe. Towards Stone duality for topological theories, TA 158 (7), 2011.

25 Feb 11 Paper accepted at TICTTL'11: M.A. Martins, A. Madeira and L. S. Barbosa. Reasoning about complex requirements in a uniform setting

1 Feb 11 Paper accepted at RAMiCS 12: Mu, Shin Cheng and J.N. Oliveira. Programming from Galois Connections

New journal paper: N. F. Rodrigues and L. S. Barbosa. Slicing for Architectural Analysis, SCP 75 (10), 2010.

Statistics for Research/MONDRIAN Web

Month: Topic
views:
Topic
saves:
File
uploads:
Most popular
topic views:
down
Top contributors for
topic save and uploads:
Dec 2007 329 0 0  79 WebHome
 48 WebStatistics
 28 WebSearch
 25 WebPreferences
 23 RescueDescription?
 21 WebNotify
 20 WebIndex
 16 WebTopicCreator
 15 WebLeftBar
 15 WebChanges
 14 WebSearchAdvanced
 
Aug 2007 500 4 0  78 WebHome
 59 WebPreferences
 54 WebChanges
 51 WebStatistics
 34 WebTopicList
 33 WebNotify
 31 WebSearch
 29 RescueDescription?
 25 WebTopicCreator
 25 WebIndex
 24 WebSearchAdvanced
  4 JoseBacelarAlmeida
Jan 2008 211 2 0  65 WebHome
 26 WebSearch
 21 WebPreferences
 13 RescueDescription?
 11 WebIndex
 11 WebNotify
 11 WebChanges
  9 WebTopicCreator
  7 WebSearchAdvanced
  7 WebStatistics
  7 WebLeftBar
  2 SimaoMeloDeSousa
Nov 2007 144 0 0  32 WebHome
 27 WebStatistics
 14 RescueDescription?
 13 WebPreferences
  9 WebNotify
  8 WebChanges
  7 WebSearchAdvanced
  7 WebIndex
  7 WebSearch
  7 WebLeftBar
  6 WebTopicList
 
Sep 2007 514 0 0 153 WebStatistics
 91 WebPreferences
 71 WebHome
 39 WebSearch
 23 RescueDescription?
 22 WebChanges
 19 WebLeftBar
 18 WebSearchAdvanced
 17 WebTopicCreator
 16 WebNotify
 15 WebTopicList
 
Oct 2007 394 0 0 108 WebStatistics
 69 WebHome
 41 WebPreferences
 28 WebChanges
 26 WebSearch
 19 WebNotify
 18 WebLeftBar
 17 RescueDescription?
 16 WebIndex
 14 WebSearchAdvanced
 13 WebTopicList
 
Jul 2007 0 0 0    
Jun 2007 0 0 0    
May 2007 0 0 0    
Apr 2007 0 0 0    
Mar 2007 0 0 0    
Feb 2007 0 0 0    

Notes:

  • Do not edit this topic, it is updated automatically. (You can also force an update)
  • TWikiDocumentation tells you how to enable the automatic updates of the statistics.
  • Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

r125 - 16 Jan 2008 - 00:55:32 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM