Sessões Paralelas

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 ciência e engenharia de software, unindo a teoria à prática através de princípios, metodologias, sistemas e ferramentas. Já na sua décima primeira 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 science and engineering, linking theory to practice through principles, methodologies, systems and tools. Already in its 11th 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 a primeira edição do INForum.
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 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 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
Organizadores

Carla Ferreira    carla.ferreira@fct.unl.pt     NOVA LINCS, Faculdade de Ciências e Tecnologia — Universidade NOVA Lisboa

Comissão de Programa

Alcides Fonseca, Universidade de Lisboa
Alcino Cunha, Universidade do Minho
Ana Paiva, Universidade do Porto
André Santos, ISCTE — Instituto Universitário de Lisboa
Antónia Lopes, Universidade de Lisboa
Bruno Cabral, Universidade de Coimbra
Daniela da Cruz, Checkmarx
Francisco Martins, Universidade dos Açores
Hugo Torres Vieira, Universidade da Beira Interior & C4
Isabel Sofia Brito, Instituto Politécnico de Beja
Jorge Sousa Pinto, Universidade do Minho
José Fragoso Santos, Universidade de Lisboa
José Luís Oliveira, Universidade de Aveiro
João Abreu, OutSystems
João Costa Seco, Universidade NOVA de Lisboa
João Pascoal de Faria, Universidade do Porto
Luís Lopes, Universidade do Porto
Nuno Silva, Critical Software
Pedro Vasconcelos, Universidade do Porto
Rui Maranhão, Universidade de Lisboa
Salvador Pinto Abreu, Universidade de Évora
Simão Melo de Sousa, Universidade da Beira Interior