Ciência e Engenharia de Software
Call for Papers
Descrição e sua relevância
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.
SOFT-PT is a workshop of academic and industrial researchers working on topics related to software engineering, and computing science in general, linking theory to practice through methods and principles, systems and tools. Since its first edition in 2010, SOFT-PT aims to be a privileged forum for the Portuguese scientific and engineering communities with interests in this area.
Edições anteriores
2010 a 2016
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
- Arquitetura 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 meta-modelaçã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
Topics of Interest
We welcome papers containing original contributions in all topics related to software, particularly in (but not limited to) the following topics:
- Software engineering fundamentals
- Software development methodologies
- Principles, design and implementation of programming languages
- Models of computing and programming
- Design and implementation of modeling languages (general or domain specific)
- Specification, analysis, verification, validation and software testing
- Security and software reliability
- Software architectures
- Software requirements analysis
- The integration between engineering requirements and model-based engineering
- Development processes, maintenance, and software quality
- Model-based engineering applied to different domains
- Environments and tools support for software development
- Supporting environments for software development
- Techniques and tools for modeling and metamodeling
- Methods and techniques for concurrent and distributed programming
- Methods and techniques for meta-programming and code transformation
- Theory and practice of automatic programming and program synthesis
- Analysis and design of algorithms, search and optimization
- Computational methods for science, engineering and society
- Case studies and experience reports in the software industry
Organização
- João Costa Seco, FCTUNL
Comissão de Programa
- Ademar Aguiar, FEUP
- Ana Matos, ISTUL
- André Santos, ISCTE
- António Rito Silva, ISTUL
- Bruno Cabral, UC
- Carla Ferreira, FCTUNL
- Daniela da Cruz, Checkmarx
- Francisco Martins, FCUL
- Hugo Lourenço, OutSystems
- Hugo Vieira, IMT Lucca
- Isabel Sofia Brito, IPB
- Jorge Sousa Pinto, UM
- José Luís Oliveira, UA
- João Costa Seco, FCTUNL
- João Pascoal de Faria, FEUP
- João Paulo Fernandes, UC
- João Saraiva, UM
- Luís Lopes, FCUP
- Luís Soares Barbosa, UM
- Marco Vieira, UC
- Miguel Goulão, FCTUNL
- Mário Florido, FCUP
- Nuno Silva, Critical Software
- Rui Maranhão, ISTUL
- Salvador Pinto Abreu, UE
- Simão Melo de Sousa, UBI
- Vasco Thudichum Vasconcelos, FCUL
- Vítor Santos Costa, FCUP
