Ciência e Engenharia de Software
Motivação e Objectivos
(UK version)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 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
- 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 (coordenador)
- 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
