Ciência e Engenharia de Software

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..

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.

Nesta 13ª edição do INForum serão aceites dois tipos de submissões para as sessões temáticas:

(1) artigos, apresentando resultados de trabalho de investigação científica realizado em contexto académico ou industrial, em língua portuguesa ou inglesa, os quais serão alvo de um processo de revisão seletivo pela CP do tópico respetivo. Os artigos deverão ser submetidos no formato Springer LNCS com um máximo de 12 páginas; e

(2)  comunicações, que têm como objetivo permitirem a divulgação de uma forma mais expedita e informal de trabalho de I&D desenvolvido na comunidade, e cuja aceitação será decidida pelos responsáveis da CP do tópico respetivo com base na submissão de resumos estendidos. Seguir também o formato Springer LNCS, e o tamanho recomendado de 4 páginas, podendo ir até um limite de 12 páginas

Artigos e comunicações serão apresentados oralmente, tendo as comunicações um tempo de apresentação mais curto do que os artigos. Todas as submissões aceites terão, adicionalmente, direito a espaço de exposição para afixação de poster e/ou demonstração de ferramentas, condicionado a eventuais limitações de espaço.

 

Coordenadores de Sessão

  • Mário Florido - U. Porto

Comissão de Programa

  • Alexandra Mendes - U. Porto
  • Alexandra Silva - Cornell Univ.
  • Ana Almeida Matos - U. Lisboa
  • Antónia Lopes - U. Lisboa
  • Carla Ferreira - U. Nova de Lisboa
  • Daniela da Cruz - Checkmarx
  • David Pereira - I.P. Porto         
  • Francisco Martins - U. Açores
  • Henrique Santos - U. Minho
  • Isabel Sofia Brito - I.P. Beja
  • Jorge Sousa Pinto - U. Minho
  • José Luís Oliveira - U. Aveiro
  • Luís Caires - U. Nova de Lisboa
  • Marco Vieira - U. Coimbra
  • Maria João Frade - U. Minho
  • Nelma Moreira - U. Porto
  • Nuno Silva - Critical Software
  • Pedro Diniz - U. Porto
  • Pedro Guerreiro - U. Algarve
  • Salvador Pinto Abreu - U. Évora
  • Simão Melo de Sousa - U. Beira Interior
  • Vasco Vasconcelos - U. Lisboa