Navigation

apoios-header

 

Universidade de Évora

 

haslab

 

citi.jpg

 

lasige.jpg

 

Outsystems

 

Cortex

 

Centria

 

DigitalWorks

 

 

Software Science and Engineering (SSE)

Software Science and Engineering (SSE)

(versão PT)

Motivation and Goals

SOFT-PT is a meeting for academic and industrial researchers working on topics related to software engineering and science in a broad sense, bridging theory to practice, methods and principles, systems and tools. Starting right from its first edition in 2010, SOFT-PT also seeks to provide a privileged occasion for gathering the national software science and engineering community.

Topics of Interest

Papers reporting original work in all topics related to software are welcome, with an emphasis (but not exclusively) on the following technical themes:

 

  • Foundations and methods of programming and of software development
  • Principles, design, and implementation of programming languages
  • Models of computation and programming
  • Design and implementation of modeling languages (general or domain specific)
  • Specification, analysis, verification, validation, and testing of software
  • Security, dependability, and trustworthiness of software
  • Software architecture
  • Software requirements
  • Software development, maintenance, and quality processes
  • Model-driven engineering applied to various domains
  • Software development environments and tools
  • Runtime support systems
  • Techniques and tools for modeling and meta-modeling
  • Distributed and concurrent programming methods and techniques
  • Analysis and design of algorithms, search and optimization
  • Software intensive systems for science, engineering and society
  • Industrial case studies and experience reports

Program Committee

  • 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 (coordinator)
  • Tiago L. Alves (OutSystems)
  • Vasco Vasconcelos(FCUL)
  
Acções do Documento
« Outubro 2018 »
Outubro
Do
1234567
891011121314
15161718192021
22232425262728
293031
 
Sections