Title: A formal model for risk assessment in software projects
Description: The current state of the art techniques of risk assessment rely on checklists and human expertise. This thesis introduces a formal method to assess the risk and the duration of software projects automatically. The method has been designed according the characteristics of evolutionary software processes such as productivity, requirement volatility and complexity. The formal model based on these three indicators estimates the duration and risk of evolutionary software processes. The approach introduces benefits in two fields: a) automation of risk assessment and, b) early estimation method for evolutionary software processes.