| Home \ Research Areas \ Research Stream | Login |
[ 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.
page 1 of 37 - listing publications 1 to 20 of a total of 735
Research Stream publications in BibTeX format
Elements of style of BPMN language[ Feb, 2015 ] - technical reports
Anacleto Correia
Disciplined Structured Communications with Disciplined Runtime Adaptation [ Jan, 2015 ] - articles
Cinzia Di Giusto, Jorge A. Pérez
Dependent Information Flow Types[ Jan, 2015 ] - in proceedings
Luísa Lourenço, Luis Caires
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems[ Nov, 2014 ] - in proceedings
Cinzia Di Giusto, Jorge A. Pérez
The Case for Fast and Invariant-Preserving Geo-Replication[ Oct, 2014 ] - in proceedings
Valter Balegas, Mahsa Najafzadeh, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Marc Shapiro, Nuno Preguiça
Foreword of the Thematic Track: Evidence-Based Software Quality Engineering[ Sep, 2014 ] - editorial activities
Guilherme Horta Travassos, Fernando Brito e Abreu
A cover-based approach for configuration repair[ Sep, 2014 ] - in proceedings
Jorge Barreiros, Ana Moreira
Introducing usability concerns early in the DSL development cycle: FlowSL experience report[ Sep, 2014 ] - in proceedings
Ankica Barisic, Vasco Amaral, Miguel Goulão, Ademar Aguiar
Otimização automática de aplicações web usando templates client-side[ Sep, 2014 ] - in proceedings
Sara Gonçalves, Hugo Lourenço, Sérgio Silva, João Costa Seco
Dynamic Role Authorization in Multiparty Conversations[ Sep, 2014 ] - in proceedings
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective[ Sep, 2014 ] - in proceedings
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
SnapMind: A framework to support consistency and validation of model-based requirements in agile development[ Aug, 2014 ] - in proceedings
Fernando Wanderley, António SIlva, João Araújo, Denis Silveira
Indirect Keyword Recommendation[ Aug, 2014 ] - in proceedings
André Sabino, Armanda Rodrigues, Miguel Goulão, João Gouveia
Flexible Modeling and Product Derivation in Software Product Lines [ Jul, 2014 ] - in proceedings
Jorge Barreiros, Ana Moreira
Rely-Guarantee Protocols[ Jun, 2014 ] - in proceedings
Filipe Militão, Jonathan Aldrich, Luis Caires
Experimental Evaluation of Conceptual Modelling through Mind Maps and Model Driven Engineering[ Jun, 2014 ] - in proceedings
Fernando Wanderley, Denis Silveira, João Araújo, Ana Moreira
Identifying modularity improvement opportunities in goal-oriented requirements models[ Jun, 2014 ] - in proceedings
Catarina Gralha Almeida, Miguel Goulão, João Araújo
Avaliação empírica do sucesso da utilização da gestão ágil de projetos no desenvolvimento de software em portais de notícias do Brasil[ Jun, 2014 ] - articles
Elton Santos Vianna, Gutenberg A. Silveira, Fernando Brito e Abreu
Consistency Checking in Early SPL Specifications - The VCC Approach[ May, 2014 ] - articles
Mauricio Alférez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed
Web-GIS models: accomplishing modularity with aspects[ Mar, 2014 ] - articles
Matias Urbieta, Ana Isabel Durão Mata de Oliveira , João Araújo, Armanda Rodrigues, Ana Moreira, S. Gordillo, Gustavo Rossi