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.

50 Recent Changes in TWiki Web retrieved at 09:34 (GMT)

News 04 Sep 2011 - 22:16 - r8 LuisSoaresBarbosa
11 August 11 Paper accepted at FACS'11: A. Sanchez, L. S. Barbosa and D. Riesco. Bigraphical Modelling of Architectural Patterns 8 August 11 Paper accepted at ...
2ndWorkshop 26 Apr 2011 - 09:41 - r4 LuisSoaresBarbosa
2nd MONDRIAN Workshop: 9 10 May, 2011 This 2nd Research Workshop intends to bring together researchers in mathematical foundations for specification and verification ...
Publications 26 Apr 2011 - 09:40 - r4 LuisSoaresBarbosa
Project Publications Journal papers CH11 Maria Manuel Clementino and Dirk Hofmann, On the completion monad via the Yoneda embedding in quasi uniform spaces ...
WebSideBar 25 Apr 2011 - 18:02 - r11 LuisSoaresBarbosa
Overview Home Project Description Team Research Team Job Opportunities Results Publications Project Workshops 2nd Workshop: Minho, 9 ...
Description 25 Apr 2011 - 17:06 - r3 LuisSoaresBarbosa
Motivation Getting large, heterogeneous, dynamic service oriented systems right is very difficult, because of their inherent complexity which challenges our current ...
Jobs 25 Apr 2011 - 17:05 - r2 LuisSoaresBarbosa
Job Opportunities (tba)
Team 25 Apr 2011 - 17:05 - r3 LuisSoaresBarbosa
Research Team António Martins (UA Staff) Hofmann (UA Staff) Soares Barbosa (UM Staff) Nuno Oliveira (UM Staff) Bernardo Barros (UM Staff) ...
WebHome 25 Apr 2011 - 16:12 - r26 LuisSoaresBarbosa
Foundations for architectural design: Service certification, dynamic reconfiguration and self adaptability This project aims at developing new calculi and techniques ...
WebPreferences 29 Oct 2009 - 16:48 - r23 LuisSoaresBarbosa
Research/MONDRIAN Web Preferences The following settings are web preferences of the Research/MONDRIAN web. These preferences overwrite the site level preferences ...
ProjectSummary 28 Oct 2009 - 17:52 - NEW LuisSoaresBarbosa
Project Summary The problem Continuous evolution towards very large, heterogeneous, highly dynamic computing systems requires innovative approaches to master their ...
WebCss 16 Jan 2008 - 01:12 - r2 JoseBacelarAlmeida
.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ...
WebStatistics 16 Jan 2008 - 00:55 - r125 JoseBacelarAlmeida
Statistics for Research/MONDRIAN Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/MONDRIAN web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Research/MONDRIAN web"}% /Research/MONDRIAN
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
WebLeftBar 28 Mar 2005 - 09:40 - r4 TWikiContributor
" warn "off"}%
Found 22 topics.

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

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM