Navigation

apoios-header

 

Outsystems

 

MaxData-Healthcare Solutions

 

Instituto Superior Técnico
 

Ciência e Engenharia de Software

English text|PDF

Motivação e Objetivos

O SOFT-PT é um encontro de investigadores académicos e industriais que trabalham em temas relacionados com engenharia de software, e a ciência da computação num sentido lato, unindo a teoria à prática através de métodos e princípios, sistemas e ferramentas. Desde a sua primeira edição em 2010, o SOFT-PT tem vindo a tornar-se cada vez mais uma ocasião privilegiada para o encontro das comunidades científica e de engenharia nacionais com interesses nesta área.

Tópicos de Interesse

São bem vindos artigos com contribuição original em todos os tópicos relacionados com o software, nomeadamente (mas não apenas) trabalhos que se enquadrem nas seguintes áreas:

  • Fundamentos da engenharia de software
  • Métodos da programação e do desenvolvimento de software
  • Princípios, concepção e implementação de linguagens de programação
  • Modelos de computação e programação
  • Concepção e implementação de linguagens de modelação (generalistas ou específicas de domínio)
  • Especificação, análise, verificação, validação e teste de software
  • Segurança, fiabilidade e confiabilidade do software
  • Arquitectura de software
  • Análise de requisitos de software
  • Integração entre engenharia de requisitos e engenharia conduzida por modelos
  • Processos de desenvolvimento, manutenção, e qualidade do software
  • Engenharia conduzida por modelos, aplicada a diferentes domínios
  • Ambientes e ferramentas de suporte ao desenvolvimento de software
  • Ambientes de suporte à execução de programas e de aplicações
  • Técnicas e ferramentas de modelação e metamodelação
  • Métodos e técnicas para a programação concorrente e distribuída
  • Métodos e técnicas para meta-programação e transformação de código
  • Teoria e prática da programação automática e síntese de programas
  • Análise e concepção de algoritmos, pesquisa e optimização
  • Métodos computacionais para as ciências, engenharias e a sociedade
  • Casos de estudo e relatos de experiência na indústria de software

Comissão de Programa

  • Ademar Aguiar, FEUP
  • António Menezes Leitão, ISTUL
  • António Ravara, FCTUNL
  • António Rito Silva, ISTUL
  • Bruno Cabral, UC
  • Francisco Martins, FCUL
  • Henrique Madeira, UC
  • Hugo Lourenço, OutSystems
  • Isabel Sofia Brito, IPB
  • João Costa Seco, FCTUNL
  • João Paulo Fernandes, UBI
  • Jorge Sousa Pinto, UM
  • José Luís Oliveira, UA
  • Luís Soares Barbosa, UM
  • Mário Florido, FCUP
  • Nuno Silva, Critical Software
  • Salvador Pinto Abreu, UE (coordenador)
  • Simão Melo de Sousa, UBI
  • Tiago Miguel Alves, Microsoft
  • Vasco Thudichum Vasconcelos, FCUL
  • Vitor Santos Costa, FCUP
  
Acções do Documento
Sections