CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Software Systems ]

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.


bulletLuis Caires, Full Professor, Area/Group coordinator
bulletLuis Monteiro, Full Professor
bulletPedro Guerreiro, Full Professor
bulletAna Moreira, Associate Professor
bulletFernando Brito e Abreu, Associate Professor
bulletAntónio Ravara, Assistant Professor
bulletArtur Miguel Dias, Assistant Professor
bulletCarla Ferreira, Assistant Professor
bulletFernanda Barbosa, Assistant Professor
bulletJoão Araújo, Assistant Professor
bulletJoão Costa Seco, Assistant Professor
bulletMargarida Mamede, Assistant Professor
bulletMiguel Goulão, Assistant Professor
bulletMiguel Pessoa Monteiro, Assistant Professor
bulletVasco Amaral, Assistant Professor
bulletAnacleto Correia, Associate Researcher
bulletElisabete Freire, Associate Researcher
bulletHugo Torres Vieira, Associate Researcher
bulletIsabel Sofia Brito, Associate Researcher
bulletJorge A. Pérez, Associate Researcher
bulletLuís Alexandre Ferreira da Silva, Associate Researcher
bulletMarco Giunti, Associate Researcher
bulletMauricio Alférez, Associate Researcher
bulletAna Paula Maldonado, PhD Student
bulletAnkica Barisic, PhD Student
bulletAnne Kersten, PhD Student
bulletBernardo Toninho, PhD Student
bulletCarlos Leandro, PhD Student
bulletCédric Grueau, PhD Student
bulletFilipe Militão, PhD Student
bulletJorge Barreiros, PhD Student
bulletJosé Magno Lopes, PhD Student
bulletLuísa Lourenço, PhD Student
bulletMiguel Domingues, PhD Student
bulletSérgio Bryton, PhD Student
bulletTiago Santos, PhD Student
Research Stream Activities:

*  Research Projects (55)
*  Publications (735)
*  Seminars @ CITI (86)
*  External Talks (128)
*  Graduation Activities (230)
*  Organization of Events (277)
*  Editorial Committees (11)
*  Prototypes (72)
*  Visits (128)


[ Stream/CITI Graduation Activities ]      [ Participation in Graduations Jury ]

page 5 of 8 - listing post-graduations 81 to 100 of a total of 144

prev   |   1  2  3  4  5  6  7  8   |   next


* Multi-criteria Analysis for Architectural Choices in Software Product Lines
   MSc, Afonso Pimentel (CITI)
   [ 3 Mar 2008 to 14 Apr 2009 ]
   Supervised by João Araújo, Ana Moreira, Rita Ribeiro (UNINOVA)

* Towards a DSL based on KAOS goal and agent-oriented paradigms
   MSc, Ana Cristina de Freitas Dias (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 13 Mar 2008 to 3 Apr 2009 ]
   Supervised by João Araújo, Vasco Amaral

* Integrating Problem frames and aspects
   MSc, Gustavo Marquês (Departamento de Informática FCT/UNL)
   [ 1 Feb 2008 to 3 Apr 2009 ]
   Supervised by João Araújo

* Integrating the Theme Approach with Aspectual Scenarios
   MSc, Ana Sofia Conceição Penim (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Mar 2008 to 18 Feb 2009 ]
   Supervised by João Araújo

* Improving the Search for Refactoring Opportunities on Object-Oriented and Aspect-Oriented Software
   Phd, Eduardo Piveta (Universidade Federal do Rio Grande do Sul)
   [ 1 Sep 2005 to 23 Jan 2009 ]
   Supervised by Ana Moreira, Marcelo Pimenta (Universidade Federal do Rio Grande do Sul), Tom Price (Universidade Federal do Rio Grande do Sul)

* Assessment of IT Infrastructures: A Model Driven Approach
   MSc, Luís Alexandre Ferreira da Silva
   [ 22 Dec 2008 ]
   Supervised by Fernando Brito e Abreu

* Component-Based Software Engineering: a Quantitative Approach
   Phd, Miguel Goulão
   [ 16 Dec 2008 ]
   Supervised by Fernando Brito e Abreu

* Inferência de Tipos Em Ruby
   MSc, Pedro Costa Teodoro (Instituto Superior de Agronomia)
   [ 28 Feb 2007 to 5 Dec 2008 ]
   Supervised by Artur Miguel Dias

* MULTI-DIMENSIONAL COMPOSITION BY OBJECTIVES IN ASPECT-ORIENTED REQUIREMENTS ANALYSIS
   MSc, André Marques (Universidade Nova de Lisboa)
   [ 19 Sep 2006 to 28 Nov 2008 ]
   Supervised by João Araújo, Ana Moreira

* Automatic Recovery of Behavioural Modelling with Applications to Model-Based Testing
   MSc, Filipa Pires Duarte da Silva
   [ 25 Nov 2008 ]
   Supervised by Fernando Brito e Abreu

* Visual Scenarios: Requirements Tracing, Documentation and Enactment for Legacy Systems
   MSc, Vitor Emanuel Gomes Gouveia
   [ 24 Nov 2008 ]
   Supervised by Fernando Brito e Abreu

* Traceability Support in Software Product Lines
   MSc, André Sousa
   [ 1 Sep 2007 to 21 Nov 2008 ]
   Supervised by Ana Moreira, Vasco Amaral, Uira Kulesza (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)

* Deriving SPL Requirements Analysis Models from Textual Requirements
   MSc, João Santos
   [ 1 Sep 2007 to 21 Nov 2008 ]
   Supervised by João Araújo, Ana Moreira

* Integrating KAOS with Aspects
   MSc, André Varejão Gil (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Sep 2007 to 15 Nov 2008 ]
   Supervised by João Araújo

* Domain Analysis with Aspects
   MSc, António Pedro Rodrigues (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 15 Nov 2008 ]
   Supervised by João Araújo

* Traceability with MDD in Aspect-oriented product lines
   MSc, João Santos
   [ 5 Nov 2008 ]
   Supervised by João Araújo, Ana Moreira

* Paving the way from Requirements to Architecture: From AORA to an improved AspectualACME
   MSc, joão Marques (CITI)
   [ 1 Sep 2007 to 27 Oct 2008 ]
   Supervised by João Araújo, Ana Moreira, Vasco Amaral

* From aspectual requirements to multi-agent architectures: a model-driven approach
   MSc, Pedro Dias (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Sep 2007 to 30 Sep 2008 ]
   Supervised by João Araújo

* De Arquitecturas Organizacionais em i* para Arquitecturas Baseadas em Agentes: Uma Abordagem Orientada a Modelos
   MSc, Pedro Dias (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 1 Sep 2007 to 30 Sep 2008 ]
   Supervised by João Araújo, Ana Moreira, Carla Silva (Universidade Federal de Pernambuco)

* Extension of the type system of ComponentJ with dynamic reconfiguration
   MSc, Margarida Piriquito (Onera)
   [ 1 Sep 2007 to 30 Sep 2008 ]
   Supervised by João Costa Seco


prev   |   1  2  3  4  5  6  7  8   |   next