Ciência e Engenharia de Software (SOFT-PT)
Motivação e Objetivos
O SOFT-PT é um encontro de investigadores académicos e industriais que trabalham em temas relacionados com a engenharia de software e a ciência da computação, unindo a teoria à prática através de princípios, metodologias, sistemas e ferramentas. Já na sua nona edição, o SOFT-PT estabeleceu-se como um ponto de encontro privilegiado para os especialistas nacionais com interesse nesta área.
SOFT-PT is a workshop of academic and industrial researchers working on topics related to software engineering and computer science in general, linking theory to practice through principles, methodologies, systems and tools. Already in its 9th edition, SOFT-PT has established itself as a privileged national forum for specialists with interests in this area.
Edições anteriores
A sessão é organizada desde 2010.
Tópicos de Interesse
Solicitam-se 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:
- Modelos de computação e de programação
- Fundamentos da ciência e engenharia de software
- Metodologias de desenvolvimento de software
- Princípios, desenho e implementação de linguagens de programação e de modelação
- Especificação, análise, verificação, validação e testes de software
- Segurança e fiabilidade de software
- Análise de requisitos e arquiteturas de software
- Processos de desenvolvimento, manutenção e qualidade de software
- Ambientes e ferramentas para o desenvolvimento de software
- Desenho e análise de algoritmos, pesquisa e optimização
- Casos de estudo e relatos de experiências na indústria de software
We welcome papers containing original contributions in all topics related to software, particularly in (but not limited to) the following topics:
- Computing and programming models
- Foundations of science and software engineering
- Software development methodologies
- Principles, design and implementation of programming and modeling languages
- Software specification, analysis, verification, validation and testing
- Software security and reliability
- Software requirement analysis and architectures
- Software development processes, maintenance and quality
- Environments and tools for software development
- Analysis and design of algorithms, search and optimization
- Case studies and experience reports in the software industry
Coordenador
| Bruno Cabral | U.Coimbra |
Comissão de Programa
| Ademar Aguiar | FE - U. Porto |
| Alcides Fonseca | U.Lisboa |
| Ana Paiva | U.Porto |
| André Santos | ISCTE |
| António Rito Silva | IST-U.Lisboa |
| Bruno Cabral | U.Coimbra |
| Carla Ferreira | U.Nova Lisboa |
| Daniela da Cruz | Checkmarx |
| Eduardo Marques | U.Porto |
| Francisco Martins | U.Açores |
| Hugo Lourenço | OutSystems |
| Hugo Vieira | IMT Lucca |
| Isabel Sofia Brito | I. P. Beja |
| João Costa Seco | U.Nova Lisboa |
| João Pascoal de Faria | U.Porto |
| João Paulo Fernandes | U.Coimbra |
| João Saraiva | U.Minho |
| Jorge Sousa Pinto | U.Minho |
| José Luís Oliveira | U.Aveiro |
| Luís Lopes | U.Porto |
| Luís Soares Barbosa | U.Minho |
| Marco Vieira | U.Coimbra |
| Mário Florido | U.Porto |
| Miguel Goulão | U.Nova Lisboa |
| Nuno Silva | Critical Software |
| Rui Maranhão | IST - U. Lisboa |
| Simão Melo de Sousa | U.Beira Interior |
