Navigation

apoios-header

 

Universidade de Évora

 

haslab

 

citi.jpg

 

lasige.jpg

 

Outsystems

 

Cortex

 

Centria

 

DigitalWorks

 

 

Ciência e Engenharia de Software (SOFT-PT)

Ciência e Engenharia de Software (SOFT-PT)

(ENG version)

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 de interesse

São bem vindos artigos com trabalho original em todos os tópicos relacionados com o software, nomeadamente (mas não apenas) 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
  • 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
  • Arquitectura de software
  • Análise de requisitos de software
  • 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 metamodelação
  • 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

  • Alberto Silva (IST)
  • Ana Paula Tomás(FCUP)
  • Antónia Lopes (FCUL)
  • Antonio Pedro Guerreiro Oliveira, PT
  • António Rito Silva (IST)
  • Joao Cachopo (IST)
  • João Costa Seco (FCT-UNL)
  • João Pascoal Faria (FEUP)
  • João Paulo Fernandes (UBI)
  • José Nuno de Oliveira (UM)
  • Luís Barbosa, (UM)
  • Luís Caires (FCT-UNL)
  • Luís Lopes (FCUP)
  • Marco Vieira (FEUC)
  • Nestor Catano (UMadeira)
  • Nuno Silva (Critical Software)
  • Rui Maranhão (FEUP)
  • Salvador Abreu (UEvora)
  • Simão Melo de Sousa - DIUBI (coordenador)
  • Tiago L. Alves (OutSystems)
  • Vasco Vasconcelos(FCUL)
  
Acções do Documento
« Abril 2017 »
Abril
Do
12
3456789
10111213141516
17181920212223
24252627282930
 
Sections