apoios-header

 

Maxdata

 

NKA

 

WEDO

 

F3M

 

 

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

Comissão de Programa

Ademar AguiarFE - U. Porto
Alcides FonsecaU.Lisboa
Ana PaivaU.Porto
André SantosISCTE
António Rito SilvaIST-U.Lisboa
Bruno CabralU.Coimbra
Carla FerreiraU.Nova Lisboa
Daniela da CruzCheckmarx
Eduardo MarquesU.Porto
Francisco MartinsU.Açores
Hugo LourençoOutSystems
Hugo VieiraIMT Lucca
Isabel Sofia BritoI. P. Beja
João Costa SecoU.Nova Lisboa
João Pascoal de FariaU.Porto
João Paulo FernandesU.Coimbra
João SaraivaU.Minho
Jorge Sousa PintoU.Minho
José Luís OliveiraU.Aveiro
Luís LopesU.Porto
Luís Soares BarbosaU.Minho
Marco VieiraU.Coimbra
Mário FloridoU.Porto
Miguel GoulãoU.Nova Lisboa
Nuno SilvaCritical Software
Rui MaranhãoIST - U. Lisboa
Simão Melo de SousaU.Beira Interior
organizacao-header

 

Universidade do Minho
 
Sections