Ciência e Engenharia de Software

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

• António Rito Silva, ISTUL
• Bruno Cabral, UC
• Carla Ferreira, FCTUNL
• Dimitris Mostrous, FCUL
• Eduardo Marques, FCUL
• Gonçalo Oliveira, Frotcom
• Hugo Lourenço, OutSystems
• Jorge Sousa Pinto, UM
• João Pascoal de Faria, FEUP
• João Pina, Novabase
• José Luís Oliveira, UA
• Luis Caires, FCTUNL
• Luís Lopes, FCUP
• Luís Soares Barbosa, UM
• Marco Vieira, UC
• Mário Florido, FCUP
• Nuno Silva, Critical Software
• Pedro Adão, ISTUL
• Salvador Pinto Abreu, UE
• Simão Melo de Sousa, UBI
• Vasco Thudichum Vasconcelos, FCUL (coordenador)