Navigation

apoios-header

 

FCT.png

 

cisuc.jpg

 

citi.jpg

 

ieeta.jpg

 

lasige.jpg

 

cctc-logo

 

 

acordodia.jpg

 

eurotux.jpg

 

feedzai.jpg

 

Núcleo de Estudantes de Informática

 

 

Ciência e Engenharia de Software

SOFT-PT: Ciência e Engenharia de Software

Motivação e Objectivos

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 visa também ser uma ocasião privilegiada para o encontro das comunidades científica e de engenharia nacionais com interesses nesta área.

Tópicos

São bem vindos artigos com trabalho original em todos os tópicos relacionados com o software, nomeadamente trabalhos que se enquadrem nas seguintes áreas:

  • Fundamentos e 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
  • Ambientes e ferramentas de suporte ao desenvolvimento de software
  • Concepção e implementação de linguagens de modelação
  • Especificação de software
  • Análise de programas e verificação
  • Validação e teste de software
  • Ambientes de suporte à execução de programas e de aplicações
  • Segurança, fiabilidade e confiabilidade do software
  • Arquitectura de software
  • Análise de requisitos de software
  • Processos de desenvolvimento, manutenção e qualidade
  • Métodos e técnicas para a programação concorrente e distribuída
  • 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

 

Comissão de Programa

  • Ademar Aguiar, Universidade do Porto & INESCP
  • Vasco Amaral, Universidade Nova de Lisboa, CITI
  • Luís Barbosa, Universidade do Minho & CCTC
  • Fernando Brito e Abreu, ISCTE & CITI
  • Bruno Cabral, Universidade de Coimbra & CISUC
  • João Cachopo, Instituto Superior Técnico & INESCID
  • Luís Caires, Universidade Nova de Lisboa & CITI
  • Nestor Catano, Universidade da Madeira & ITI
  • João Pascoal Faria, Universidade do Porto & INESCP
  • Lúcio Ferrão, OutSystems
  • Antónia Lopes, Universidade de Lisboa & LASIGE, chair
  • José N Oliveira, Universidade do Minho & CCTC
  • Nuno Silva, Critical Software
  • Fernando Silva, Universidade do Porto & CRACS
  • António Rito Silva, Instituto Superior Técnico & INESCID
  • Simão Melo de Sousa, Universidade da Beira Interior & LIACC
  • Ana Paula Tomás, Universidade do Porto
  • Vasco Vasconcelos, Universidade de Lisboa & LASIGE
  • Marco Vieira, Universidade de Coimbra & CISUC
  
Acções do Documento
« Junho 2017 »
Junho
Do
1234
567891011
12131415161718
19202122232425
2627282930
 
Sections