| Home \ Research Areas \ Research Stream | Login |
Software Systems researches new programming and modeling languages, development methods and environments for large software-intensive systems, with a focus on web based and dependable systems, where communication and concurrency are pervasive. Sample application scenarios we are particularly interested in include web based applications (e.g., business apps, social networks), service infrastructures (e.g., app-stores, multi-party services / mashups), and ubiquitous computing infrastructures, such as smart buildings. Our work bridges from foundational theoretical principles to prototype development, experimental validation, and ultimately to technology and knowledge transfer.
[ Visitors Hosted @ CITI ] [ CITI Members Visits ]
page 2 of 4 - listing visits 21 to 40 of a total of 77
Rocco de Nicola, Università di Firenze (Italy)[ 15 Jun 2009 to 20 Jun 2009 ]
Hosted by: Luis Caires
CITI Advisory Board Meetings.
Gunter Mussbacher, University of Ottawa (Canada)[ 2 Jun 2009 to 13 Jun 2009 ]
Hosted by: João Araújo
Gunter is developing the Aspect-oriented User Requirements Notation (AoURN), a framework that enables goal-oriented, scenario-based, and aspect-oriented modeling in a unified way. During his visit we will write a paper to be submitted to a journal.
Seminars @ CITI: Semantic-Based and Syntactic-Based Feature Interactions in Aspect-oriented ModelsIvan Lanese, Universitá di Bologna (Italy)[ 14 Dec 2008 to 20 Dec 2008 ]
Hosted by: Carla Ferreira
Joint work in the area of compensation policies for long running transactions.
Seminars @ CITI: Bridging the gap between Interaction- and Process-Oriented ChoreographiesMaurizio Morisio , Politecnico di Torino (Italy)[ 15 Dec 2008 to 17 Dec 2008 ]
Hosted by: Fernando Brito e Abreu
Identification of joint research work in the areas of agile development and test-driven development. Presentation of a seminar for CITI. Participation as jury member in the PhD panel of Miguel Goulão.
Seminars @ CITI: Agile methodologies and test driven development: report on two empirical studiesGuido Moerkotte, University of Mannheim (Germany)[ 10 Dec 2008 to 11 Dec 2008 ]
Hosted by: Vasco Amaral
Prof. Doctor Guido Moerkotte gives a seminar with the title: "Dynamic Programming for Join Ordering Revisited". Also has a meeting with the DSL /(software languages engineering) working group in order to build the foundations for a future collaboration project.
Seminars @ CITI: Dynamic Programming for Join Ordering RevisitedCarl-Christian Kanne, University of Zurich (Switzerland)[ 9 Dec 2008 to 11 Dec 2008 ]
Hosted by: Vasco Amaral
Prof. Doctor Carl-Christian Kanne gives a seminar with the title: "Scalable Business Process Automation". Also has a meeting with Vasco Amaral and the rest of the students part of the DSL / Software Languages Engineering working group in order to build the foundations for a future collaboration project.
Seminars @ CITI: Scalable Business Process AutomationLevi Silva Lúcio, CITI (Portugal)[ 22 Oct 2008 to 29 Oct 2008 ]
Hosted by: Vasco Amaral
Work meetings with the BATIC3S project team concerning the integration of Model Based Testing tools and concepts. Seminar at DI.
Seminars @ CITI: SATEL - A Test Intention Language for Object Oriented Specifications of Reactive SystemsMaria Lencastre, Universidade de Pernambuco (Brazil)[ 1 Feb 2008 to 30 Aug 2008 ]
Hosted by: João Araújo
Visit as a post-doc related to the bilateral project CAPES/GRICES.
Carla Silva, Universidade Federal de Pernambuco (Brazil)[ 4 Aug 2007 to 3 Aug 2008 ]
Hosted by: João Araújo
Visit as a post-doc.
Marta Silvia Tabares, Universidad Nacional de Colombia (Colombia)[ 1 Jan 2007 to 30 Jul 2008 ]
Hosted by: Ana Moreira
Tracebility in Early Aspects
Marcelo Pimenta, Universidade Federal do Rio Grande do Sul (Brazil)[ 12 Jun 2008 to 30 Jun 2008 ]
Hosted by: Ana Moreira
Visit organized in the context of the project on Refactoring with Aspects with Universidade Federal do Rio Grande do Sul and the co-supervision of the PhD student Eduardo Piveta.
Tom Price, Universidade Federal do Rio Grande do Sul (Brazil)[ 1 Jun 2008 to 18 Jun 2008 ]
Hosted by: Ana Moreira
Research visit organised within the scope of the project Refactoring with Aspects, with Universidade Federal do Rio GRande do Sul, and the co-authorship of a paper on identifying refactoring opportunities.
Luís Venceslau Pedro, University of Geneva (Switzerland)[ 10 Mar 2008 to 14 Mar 2008 ]
Hosted by: Vasco Amaral
Work force meetings concerning language meta-modeling research topics. Invited Tutorial on GMF/EMF metamodeling tools.
Gunter Mussbacher, University of Ottawa (Canada)[ 16 Feb 2008 to 10 Mar 2008 ]
Hosted by: Ana Moreira
Gunter is developing the Aspect-oriented User Requirements Notation (AoURN) in the context of his PhD. During this visit we worked on several aspects of AOURN and wrote a paper on Modeling Requirements with AoURN
Pablo Sanchez, Universidad de Malaga (Spain)[ 14 Feb 2008 to 27 Feb 2008 ]
Hosted by: Ana Moreira
Deriving an architectural specification from a requirements specification
Fernanda Alencar, Universidade Federal de Pernambuco (Brazil)[ 1 Sep 2007 to 27 Feb 2008 ]
Hosted by: Ana Moreira
Modularizing i* using AOSD concepts and techniques
Eduardo Piveta, Universidade Federal do Rio Grande do Sul (Brazil)[ 1 Jan 2007 to 1 Feb 2008 ]
Hosted by: Ana Moreira
Refactoring Opportunities
Manuel Clavel, Universidad Complutense de Madrid (Spain)[ 28 Jan 2008 to 31 Jan 2008 ]
Hosted by: Fernando Brito e Abreu
Definition of joint research work in the area of metamodeling and OCL. Presentation of a seminar for CITI. Participation as panel member in the annual QUASAR workshop.
Seminars @ CITI: Title: The MOVA ToolJason Reed, Carnegie Mellon University (United States)[ 3 Dec 2007 to 6 Dec 2007 ]
Hosted by: Luis Caires
Discuss collaboration in the context of the ICTI grant related to the CMU-Portugal project.
Frank Pfenning, Carnegie Mellon University (United States)[ 20 Nov 2008 to 25 Nov 2007 ]
Hosted by: Luis Caires
CMU PT activities research and management activities.