Ciência e Engenharia de Software
SOFT-PT: Ciência e Engenharia de Software
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.
Tópicos
São bem vindos artigos com trabalho original em todos os tópicos relacionados com o software, nomeadamente trabalhos que se enquadrem nas seguintes áreas:
- 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
- Ambientes e ferramentas de suporte ao desenvolvimento de software
- Concepção e implementação de linguagens de modelação
- Especificação de software
- Análise de programas e verificação
- Validação e teste de software
- Ambientes de suporte à execução de programas e de aplicações
- Segurança, fiabilidade e confiabilidade do software
- Arquitectura de software
- Análise de requisitos de software
- Processos de desenvolvimento, manutenção e qualidade
- 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
- Ademar Aguiar, Universidade do Porto & INESCP
- Vasco Amaral, Universidade Nova de Lisboa, CITI
- Luís Barbosa, Universidade do Minho & CCTC
- Fernando Brito e Abreu, ISCTE & CITI
- Bruno Cabral, Universidade de Coimbra & CISUC
- João Cachopo, Instituto Superior Técnico & INESCID
- Luís Caires, Universidade Nova de Lisboa & CITI
- 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, chair
- José N Oliveira, Universidade do Minho & CCTC
- Nuno Silva, Critical Software
- Fernando Silva, Universidade do Porto & CRACS
- António Rito Silva, Instituto Superior Técnico & INESCID
- Simão Melo de Sousa, Universidade da Beira Interior & LIACC
- Ana Paula Tomás, Universidade do Porto
- Vasco Vasconcelos, Universidade de Lisboa & LASIGE
- Marco Vieira, Universidade de Coimbra & CISUC
