Universidade da Beira Interior


INESC Tecnologia e Ciência - INESC TEC




Dimension Data


MaxData-Healthcare Solutions

Software Engineering and Science

( versão PT)

Aims and Scope

SOFT-PT is a workshop of academic and industrial researchers working on topics related to software engineering, and computing science in general, linking theory to practice through methods and principles, systems and tools. Since its first edition in 2010, SOFT-PT aims to be a privileged forum for the Portuguese scientific and engineering communities with interests in this area.

Topics of interest

We welcome papers containing original contributions in all topics related to software, particularly in (but not limited to) the following topics:

  • Software engineering fundamentals
  • Software development methodologies
  • Principles, design and implementation of programming languages
  • Models of computing and programming
  • Design and implementation of modeling languages (general or domain specific)
  • Specification, analysis, verification, validation and software testing
  • Security and software reliability
  • Software architectures
  • Software requirements analysis
  • The integration between engineering requirements and model-based engineering
  • Development processes, maintenance, and software quality
  • Model-based engineering applied to different domains
  • Environments and tools support for software development
  • Supporting environments for software development
  • Techniques and tools for modeling and metamodeling
  • Methods and techniques for concurrent and distributed programming
  • Methods and techniques for meta-programming and code transformation
  • Theory and practice of automatic programming and program synthesis
  • Analysis and design of algorithms, search and optimization
  • Computational methods for science, engineering and society
  • Case studies and experience reports in the software industry

Program Committee

  • António Rito Silva, ISTUL
  • Bruno Cabral, UC
  • Carla Ferreira, FCTUNL
  • Dimitris Mostrous, FCUL
  • Eduardo Marques, FCUL
  • Gonçalo Oliveira, Frotcom
  • Hugo Lourenço, OutSystems
  • Jorge Sousa Pinto, UM
  • João Pascoal de Faria, FEUP
  • João Pina, Novabase
  • José Luís Oliveira, UA
  • Luis Caires, FCTUNL
  • Luís Lopes, FCUP
  • Luís Soares Barbosa, UM
  • Marco Vieira, UC
  • Mário Florido, FCUP
  • Nuno Silva, Critical Software
  • Pedro Adão, ISTUL
  • Salvador Pinto Abreu, UE
  • Simão Melo de Sousa, UBI
  • Vasco Thudichum Vasconcelos, FCUL (coordenador)
Acções do Documento


Universidade da Beira Interior


Faculdade de Ciências da Universidade do Porto


Instituto Superior Técnico


INESC Tecnologia e Ciência - INESC TEC


Inesc ID Lisboa