Universidade do Porto


Cister - Research Center in Real-Time & Embedded Computing systems


CCTC -Computer Science and Technology Center


INESC Tecnologia e Ciência - INESC TEC

Software Engineering and Science

Motivation and Goals

( versão PT)

SOFT-PT is a meeting for academic and industrial researchers working on topics related to software engineering and science in a broad sense, bridging theory to practice, methods and principles, systems and tools. Starting right from its first edition in 2010, SOFT-PT also seeks to provide a privileged occasion for gathering the national software science and engineering community.

Topics of Interest

Papers reporting original work in all topics related to software are welcome, with an emphasis (but not exclusively) on the following technical themes:

  • Foundations of software engineering
  • Methods of programming and of software development
  • Principles, design, and implementation of programming languages
  • Models of computation and programming
  • Design and implementation of modelling languages (general or domain specific)
  • Specification, analysis, verification, validation, and testing of software
  • Security, dependability, and trustworthiness of software
  • Software architecture
  • Software requirements
  • Software development, maintenance, and quality processes
  • Model-driven engineering applied to various domains
  • Software development environments and tools
  • Runtime support systems
  • Techniques and tools for modelling and meta-modelling
  • Techniques and tools for meta-programming and code manipulation
  • Theory and practice of automatic programming and program synthesis
  • Distributed and concurrent programming methods and techniques
  • Analysis and design of algorithms, search and optimisation
  • Software intensive systems for science, engineering and society
  • Industrial case studies and experience reports

Program Committee

  • Salvador Abreu, Universidade de Évora & CENTRIA
  • Ademar Aguiar, Universidade do Porto & INESC TEC
  • Tiago Miguel Alves, Microsoft Portugal
  • Luís Soares Barbosa, Universidade do Minho & HASLab INESC TEC (chair)
  • Bruno Cabral, Universidade de Coimbra & CISUC
  • João Cachopo, Instituto Superior Técnico & INESCID
  • Luís Caires, Universidade Nova de Lisboa & CITI
  • João Paulo Fernandes, Universidade da Beira Interior & HASLab INESC TEC
  • Lúcio Ferrão, Outsystems
  • João Fernando Ferreira, University of Teeside, UK
  • Hugo Sereno Ferreira, , Universidade do Porto & INESCP
  • Eduardo Guerra, Instituto Nacional de Pesquisas Espaciais – INPE, Brasil
  • Luís Lopes, Universidade do Porto & CRACS
  • Alexandre Madeira, HASLAb INESC TEC & Educed
  • Rui Maranhão, Universidade do Porto & HASLab INESC TEC
  • José Luís Oliveira, Universidade de Aveiro & IEETA
  • José Nuno de Oliveira, Universidade do Minho & HASLab INESC TEC
  • Vasco Pedro, Universidade de Évora & CENTRIA
  • João Costa Seco, Universidade Nova de Lisboa & CITI
  • Alberto Silva, Instituto Superior Técnico & INESCID
  • António Rito Silva, , Instituto Superior Técnico & INESCID
  • Nuno Silva, Critical Software
  • Simão Melo de Sousa, Universidade da Beira Interior & LIACC
  • Ana Paula Tomás, Universidade do Porto & LIACC
  • Vasco Vasconcelos, Universidade de Lisboa & LASIGE
  • Hugo Vieira, Universidade de Lisboa & LASIGE
  • Marco Vieira, Universidade de Coimbra & CISUC
Acções do Documento