Reação dos mercados de CDS e de cotações bolsistas a anúncios de rating: o caso dos maiores bancos portugueses

A presente dissertação tem como principal objetivo avaliar a capacidade que os mercados de Credit Default Swaps (CDS) e acionista apresentam de antecipar alterações nas notações das principais Agências de Rating mundiais. Para esse efeito serão analisadas as cotações diárias dos prémios de CDS e as cotações diárias de ações dos quatro principais bancos portugueses entre 2004 e 2012, bem como os eventos de rating associados a esses bancos. A literatura existente, apresenta, resultados que tendem a evidenciar que os CDS reagem, regra geral, de forma mais rápida a anúncios das Agências de Rating e que esta mesma reação é maior para eventos negativos (downgrade das notações de rating) do que para eventos positivos (upgrade das notações). O presente estudo detecta, para dois daqueles bancos alguma capacidade dos prémios dos CDS anteciparem eventos negativos de rating.

A penhora e os seus efeitos registais

Dissertação de Mestrado em Solicitadoria

The verification of temporal KBS: SPARSE - a case study in power systems

In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.