Sections
« Agosto 2017 »
Agosto
Do
123456
78910111213
14151617181920
21222324252627
28293031

Ir para o conteúdo. | Ir para a navegação

apoios-header

 

Maxdata

 

Outsystems

Techdays 2016

 

Câmara Municipal de Aveiro

 

 

Ciência e Engenharia de Software


Call for Papers

Descrição e sua relevância

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 tem vindo a tornar-se cada vez mais uma ocasião privilegiada para o encontro das comunidades científica e de engenharia nacionais com interesses nesta área.

SOFT-PT is a workshop of academic and industrial researchers working on topics related to software engineering, and computing science in general, linking theory to practice through methods and principles, systems and tools. Since its first edition in 2010, SOFT-PT aims to be a privileged forum for the Portuguese scientific and engineering communities with interests in this area.

Edições anteriores

2010 a 2016

Tópicos de interesse

São bem-vindos 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:

  • Fundamentos da engenharia de software
  • 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
  • Arquitetura de software
  • Análise de requisitos de software
  • Integração entre engenharia de requisitos e engenharia conduzida por modelos
  • 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 meta-modelação
  • Métodos e técnicas para a programação concorrente e distribuída
  • Métodos e técnicas para meta-programação e transformação de código
  • Teoria e prática da programação automática e síntese de programas
  • 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

Topics of Interest

We welcome papers containing original contributions in all topics related to software, particularly in (but not limited to) the following topics:

  • Software engineering fundamentals
  • Software development methodologies
  • Principles, design and implementation of programming languages
  • Models of computing and programming
  • Design and implementation of modeling languages (general or domain specific)
  • Specification, analysis, verification, validation and software testing
  • Security and software reliability
  • Software architectures
  • Software requirements analysis
  • The integration between engineering requirements and model-based engineering
  • Development processes, maintenance, and software quality
  • Model-based engineering applied to different domains
  • Environments and tools support for software development
  • Supporting environments for software development
  • Techniques and tools for modeling and metamodeling
  • Methods and techniques for concurrent and distributed programming
  • Methods and techniques for meta-programming and code transformation
  • Theory and practice of automatic programming and program synthesis
  • Analysis and design of algorithms, search and optimization
  • Computational methods for science, engineering and society
  • Case studies and experience reports in the software industry

Organização

  • João Costa Seco, FCTUNL

Comissão de Programa

  • Ademar Aguiar, FEUP
  • Ana Matos, ISTUL
  • André Santos, ISCTE
  • António Rito Silva, ISTUL
  • Bruno Cabral, UC
  • Carla Ferreira, FCTUNL
  • Daniela da Cruz, Checkmarx
  • Francisco Martins, FCUL
  • Hugo Lourenço, OutSystems
  • Hugo Vieira, IMT Lucca
  • Isabel Sofia Brito, IPB
  • Jorge Sousa Pinto, UM
  • José Luís Oliveira, UA
  • João Costa Seco, FCTUNL
  • João Pascoal de Faria, FEUP
  • João Paulo Fernandes, UC
  • João Saraiva, UM
  • Luís Lopes, FCUP
  • Luís Soares Barbosa, UM
  • Marco Vieira, UC
  • Miguel Goulão, FCTUNL
  • Mário Florido, FCUP
  • Nuno Silva, Critical Software
  • Rui Maranhão, ISTUL
  • Salvador Pinto Abreu, UE
  • Simão Melo de Sousa, UBI
  • Vasco Thudichum Vasconcelos, FCUL
  • Vítor Santos Costa, FCUP
organizacao-header

 

Universidade de Aveiro

 

Instituto de Eng. Electrónica e Telemática de Aveiro

 

Instituto de Telecomunicações - Aveiro

 

 
Sections