Ciência e Engenharia de Software (CES)
Motivação e Objectivos
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 visa também ser uma ocasião privilegiada para o encontro das comunidades científica e de engenharia nacionais com interesses nesta área.
São bem vindos artigos com trabalho original em todos os tópicos relacionados com o software, nomeadamente (mas não apenas) trabalhos que se enquadrem nas seguintes áreas:
Tópicos
- Fundamentos e 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
- 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
- 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
- Fernando Brito e Abreu, ISCTE-IUL & CITI
- Vasco Amaral, Universidade Nova de Lisboa & CITI
- Luís Barbosa, Universidade do Minho & CCTC
- Bruno Cabral, Universidade de Coimbra & CISUC
- João Cachopo, Instituto Superior Técnico & INESCID (coordenador)
- Luís Caires, Universidade Nova de Lisboa & CITI
- Rui Carmo, SAPO
- João Paulo Carvalho, Quidgest
- Nestor Catano, Universidade da Madeira & ITI
- João Pascoal Faria, Universidade do Porto & INESCP
- Lúcio Ferrão, OutSystems
- Antónia Lopes, Universidade de Lisboa & LASIGE
- Leonel Nóbrega, Universidade da Madeira & ITI
- José N Oliveira, Universidade do Minho & CCTC
- Ana Paiva, Universidade do Porto
- Alberto Silva, Instituto Superior Técnico & INESCID
- Fernando Silva, Universidade do Porto & CRACS
- Nuno Silva, Critical Software
- Simão Melo de Sousa, Universidade da Beira Interior & LIACC
- Ana Paula Tomás, Universidade do Porto & CMUP
- Vasco Vasconcelos, Universidade de Lisboa & LASIGE
- Marco Vieira, Universidade de Coimbra & CISUC