Software Engineering and Science

Aims and Scope

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.

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

Program Committee

• António Rito Silva, ISTUL
• Bruno Cabral, UC
• Carla Ferreira, FCTUNL
• Dimitris Mostrous, FCUL
• Eduardo Marques, FCUL
• Gonçalo Oliveira, Frotcom
• Hugo Lourenço, OutSystems
• Jorge Sousa Pinto, UM
• João Pascoal de Faria, FEUP
• João Pina, Novabase
• José Luís Oliveira, UA
• Luis Caires, FCTUNL
• Luís Lopes, FCUP
• Luís Soares Barbosa, UM
• Marco Vieira, UC
• Mário Florido, FCUP
• Nuno Silva, Critical Software
• Pedro Adão, ISTUL
• Salvador Pinto Abreu, UE
• Simão Melo de Sousa, UBI
• Vasco Thudichum Vasconcelos, FCUL (coordenador)