Navigation

apoios-header

 

cctc-logo

 

haslab

 

citi.jpg

 

C.M.Almada.jpg

 

FCT.png

 

lasige.jpg

 

Outsystems

 

AnubisNetworks

 

UNLisboa

 

SAS da UNLisboa

 

OrdemEngenheiros

 

 

Software Science and Engineering (SSE)

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.

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

Topics

  • 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

  • Fernando Brito e Abreu, ISCTE-IUL & CITI
  • Vasco Amaral, Universidade Nova de Lisboa & CITI
  • Luís Barbosa, Universidade do Minho & CCTC
  • Bruno Cabral, Universidade de Coimbra & CISUC
  • João Cachopo, Instituto Superior Técnico & INESCID (coordenador)
  • Luís Caires, Universidade Nova de Lisboa & CITI
  • Rui Carmo, SAPO
  • João Paulo Carvalho, Quidgest
  • 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
  • Leonel Nóbrega, Universidade da Madeira & ITI
  • José N Oliveira, Universidade do Minho & CCTC
  • Ana Paiva, Universidade do Porto
  • Alberto Silva, Instituto Superior Técnico & INESCID
  • Fernando Silva, Universidade do Porto & CRACS
  • Nuno Silva, Critical Software
  • Simão Melo de Sousa, Universidade da Beira Interior & LIACC
  • Ana Paula Tomás, Universidade do Porto & CMUP
  • Vasco Vasconcelos, Universidade de Lisboa & LASIGE
  • Marco Vieira, Universidade de Coimbra & CISUC
  
Acções do Documento
« Agosto 2017 »
Agosto
Do
123456
78910111213
14151617181920
21222324252627
28293031
 
Sections