|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.
Luis Caires, Full Professor, Area/Group coordinator
Luis Monteiro, Full Professor
Pedro Guerreiro, Full Professor
Ana Moreira, Associate Professor
Fernando Brito e Abreu, Associate Professor
António Ravara, Assistant Professor
Artur Miguel Dias, Assistant Professor
Carla Ferreira, Assistant Professor
Fernanda Barbosa, Assistant Professor
João Araújo, Assistant Professor
João Costa Seco, Assistant Professor
Margarida Mamede, Assistant Professor
Miguel Goulão, Assistant Professor
Miguel Pessoa Monteiro, Assistant Professor
Vasco Amaral, Assistant Professor
Anacleto Correia, Associate Researcher
Elisabete Freire, Associate Researcher
Hugo Torres Vieira, Associate Researcher
Isabel Sofia Brito, Associate Researcher
Jorge A. Pérez, Associate Researcher
Luís Alexandre Ferreira da Silva, Associate Researcher
Marco Giunti, Associate Researcher
Mauricio Alférez, Associate Researcher
Ana Paula Maldonado, PhD Student
Ankica Barisic, PhD Student
Anne Kersten, PhD Student
Antonielly Garcia Rodrigues, PhD Student
Bernardo Toninho, PhD Student
Carlos Leandro, PhD Student
Cédric Grueau, PhD Student
Filipe Militão, PhD Student
Jorge Barreiros, PhD Student
José Magno Lopes, PhD Student
Luís Miguel Lourenço, PhD Student
Luísa Lourenço, PhD Student
Miguel Domingues, PhD Student
Sérgio Bryton, PhD Student
Tiago Santos, PhD Student
Luís Pires da Silva, MSc Student
Joana Dâmaso, Intern
|Research Stream Activities:|
Research Projects (55)
Seminars @ CITI (86)
External Talks (128)
Graduation Activities (230)
Organization of Events (277)
Editorial Committees (11)
CITI Advisory Board Meetings.
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 Models
Joint work in the area of compensation policies for long running transactions.Seminars @ CITI: Bridging the gap between Interaction- and Process-Oriented Choreographies
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 studies
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 Revisited
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 Automation
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 Systems
Visit as a post-doc related to the bilateral project CAPES/GRICES.
Visit as a post-doc.
Tracebility in Early Aspects
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.
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.
Work force meetings concerning language meta-modeling research topics. Invited Tutorial on GMF/EMF metamodeling tools.
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
Deriving an architectural specification from a requirements specification
Modularizing i* using AOSD concepts and techniques
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 Tool
Discuss collaboration in the context of the ICTI grant related to the CMU-Portugal project.
CMU PT activities research and management activities.