Ciência e Engenharia de Software (SOFT-PT)
Ciência e Engenharia de Software (SOFT-PT)
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 de interesse
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:
- 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
- Alberto Silva (IST)
- Ana Paula Tomás(FCUP)
- Antónia Lopes (FCUL)
- Antonio Pedro Guerreiro Oliveira, PT
- António Rito Silva (IST)
- Joao Cachopo (IST)
- João Costa Seco (FCT-UNL)
- João Pascoal Faria (FEUP)
- João Paulo Fernandes (UBI)
- José Nuno de Oliveira (UM)
- Luís Barbosa, (UM)
- Luís Caires (FCT-UNL)
- Luís Lopes (FCUP)
- Marco Vieira (FEUC)
- Nestor Catano (UMadeira)
- Nuno Silva (Critical Software)
- Rui Maranhão (FEUP)
- Salvador Abreu (UEvora)
- Simão Melo de Sousa - DIUBI (coordenador)
- Tiago L. Alves (OutSystems)
- Vasco Vasconcelos(FCUL)