Vasco Sousa

Learn More
In this paper we present DSLTrans: a visual language and a tool for model transformations 1. We aim at tackling a couple of important challenges in model transformation languages — transformation termination and confluence. The contribution of this paper is the proposition of a transformation language where all possible transformations are guaranteed to be(More)
Lurasidone, a novel second-generation antipsychotic agent, exerts antidepressant actions in patients suffering from bipolar type I disorder. Lurasidone acts as a high affinity antagonist at multiple monoamine receptors, particularly 5-HT2A, 5-HT7, D2 and α2 receptors, and as a partial agonist at 5-HT1A receptors. Accumulating evidence indicates therapeutic(More)
Access control is one the main security mechanisms for software applications. It ensures that all accesses conform to a predefined access control policy. It is important to check that the access control policy is well implemented in the system. When following an MDD methodology it may be necessary to check this early during the development lifecycle, namely(More)
Preclinical and clinical data have identified ketamine, a non-selective NMDAR (N-methyl-D-aspartate receptor) antagonist, as a promising medication for patients who do not respond to treatment with monoamine-based antidepressants. Moreover, unlike the current monoamine-based antidepressants, ketamine has a long-lasting effect already after a single dose.(More)
The Flinder Sensitive Line (FSL) is a rat strain that displays distinct behavioral and neurochemical features of major depression. Chronic selective serotonin reuptake inhibitors (SSRIs) are able to reverse these symptoms in FSL rats. It is well known that several abnormalities in the serotonergic system have been found in FSL rats, including increased 5-HT(More)
As new ubiquitous projects emerge, it is often required the integration of ubiquitous devices in development frameworks. This commonly leads to developing new frameworks, usually created in General Purpose Languages (GPL). Although this solves immediate problems, it also leads to a decrease of productivity and efficiency, due time spent while adapting code.(More)
Software tools are being used by experts in a variety of domains. There are numerous software modeling editor environments (MEs) tailored to a specific domain expertise. However, there is no consistent approach to generically synthesize a product line of such MEs that also take into account the user interaction and experience (UX) adapted to the domain. In(More)
  • 1