Go to:
Esta página em português Ajuda Autenticar-se
Projecto da Casa da U. Porto
You are here: Start > PRODEI014

Site map
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

Software Engineering Research Topics

Code: PRODEI014     Acronym: TIES

Classification Keyword
OFICIAL Software Engineering

Instance: 2018/2019 - 1S Ícone do Moodle

Active? Yes
Responsible unit: Department of Informatics Engineering
Course/CS Responsible: Doctoral Program in Informatics Engineering

Cycles of Study/Courses

Acronym No. of Students Study Plan Curricular Years Credits UCN Credits ECTS Contact hours Total Time
PRODEI 4 Syllabus 1 - 6 28 162

Teaching - Hours

Recitations: 2,00
Type Teacher Classes Hour
Recitations Totals 1 2,00
João Carlos Pascoal Faria 2,00

Teaching language



To present research topics and recent improvements in the field of Software Engineering, in order to prepare students to conduct a doctorate research work in the field of Software Engineering.

Learning outcomes and competences

Know some advanced software engineering techniques and be able to identify some areas of active research in software engineering.

Working method



Research topics and recent improvements in:
- Software testing and analysis: model-based testing, pattern-based testing, automatic fault localization and debugging. 
- Model-driven software development: constructions of rigorous and executable models, domain specific modeling languages, model transformations, models at run-time.
- Software process improvement: process quality and performance indicators; process definition and modeling notations; process performance models for prediction and analysis; lean six sigma techniques for software process improvement.
- Architectures, languages and design patterns for the construction of parallel and distributed secure systems.

Mandatory literature

Mark Utting, Bruno Legeard; Practical Model-Based Testing. ISBN: 978-0-12-372501-1

Teaching methods and learning activities

The classroom sessions of the course will be devoted primarily to the presentation and discussion of selected topics.
Each student must conduct a "survey" on a research topic in software engineering, involving literature review, case studies and experimentation.
Each student must analyze at least one scientific paper indicated on each topic covered, and produce a short text summary and critical analysis of it (1-2 pages).

Evaluation Type

Distributed evaluation without final exam

Assessment Components

Designation Weight (%)
Trabalho escrito 100,00
Total: 100,00

Amount of time allocated to each course unit

Designation Time (hours)
Estudo autónomo 28,00
Frequência das aulas 54,00
Trabalho de investigação 80,00
Total: 162,00

Calculation formula of final grade

The final grade is based on the following components:
- critical analysis of scientific articles and conduction of experiments indicated along the classes (weight 50%);
- survey (weight 50%).

A minimum score of 50% is required on each of these components.
Recommend this page Top
Copyright 1996-2019 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2019-03-26 at 21:20:00