Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Pagamento em função do desempenho nos cuidados de saúde primários : três serviços nacionais de saúde, três experiências

RESUMO – A atribuição de incentivos financeiros em função do desempenho e do alcance de metas de qualidade, aos prestadores e especificamente aos médicos constitui um dos principais paradigmas das reformas dos Cuidados de Saúde Primários (CSP) que ocorrem em diversos países. O pay for performance (P4P) - pagamento em função do desempenho tem sido considerado, a nível internacional, como uma estratégia capaz de imputar mais qualidade, eficiência, acessibilidade e equidade aos CSP, pilares fundamentais na prossecução dos objectivos dos sistemas de saúde. Recompensar financeiramente os prestadores de cuidados pelos resultados em saúde e pela concretização de metas específicas, que reflectem prioridades assistenciais é uma forma de promover a satisfação profissional e estimular o envolvimento no processo de cuidados e nas novas formas de governação clínica. O interesse em desenvolver uma comparação internacional e em particular, através de três sistemas de saúde com serviço nacional de saúde (SNS) no âmbito da caracterização do impacto da implementação do P4P nos CSP prende-se com a importância atribuída aos contributos das experiências do P4P decorridas em diferentes países, onde os mesmos objectivos foram procurados de formas diferentes e obtiveram resultados diferentes. A implementação de programas de P4P no Reino Unido, na Nova Zelândia e em Portugal é geradora de melhorias na qualidade assistencial e nos resultados em saúde, determinantemente influenciados pelos contextos e processos de implementação dos programas de P4P, bem como, pela magnitude dos incentivos financeiros.

Price linkages in pharmaceutical markets

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Do hospitals react to random demand pressure by early discharges?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Dom Pedro and its internalization to Rio de Janeiro

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Business article: M&A as the Portuguese route to Brazil

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Altis Hotel and its internationalization to São Paulo-Brazil

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Evaluating the potential benefits and challenges of lean construction adoption in the portuguese construction industry: a survey study

Proceedings IGLC-18, July 2010, Technion, Haifa, Israel

The effects of rent control in Lisbon

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Aconselhamento médico na prevenção da doença e promoção da saúde : análise a propósito do consumo de tabaco

RESUMO - O consumo de tabaco foi responsável por 100 milhões de mortes no século XX. Apesar dos grandes avanços alcançados no controlo deste problema a nível mundial, sob os auspícios da OMS, no contexto da Convenção-Quadro para o Controlo do Tabaco da OMS, se não forem adoptadas medidas consistentes e efectivas de saúde pública, a morbi-mortalidade que lhe está associada continuará a aumentar durante o presente século. A promoção da cessação tabágica constitui a estratégia populacional que permitirá obter ganhos em saúde a mais curto prazo. Embora a larga maioria dos fumadores faça, ao longo da vida, várias tentativas para parar de fumar sem apoio, apenas uma pequena minoria consegue manter-se abstinente a longo prazo. Os médicos de Medicina Geral e Familiar são, de entre todos os profissionais de saúde, os que podem intervir de modo mais consistente e efectivo neste âmbito e que melhores resultados obtêm na cessação tabágica dos pacientes fumadores, dado o vínculo terapêutico e a interacção frequente e continuada que com eles estabelecem ao longo do seu ciclo de vida. O aconselhamento breve, tendo por base a adopção de um estilo de comunicação motivacional centrado no paciente, adaptado aos estádios de mudança comportamental, tem-se revelado efectivo no apoio à mudança de comportamentos relacionados com a saúde e à resolução da ambivalência que caracteriza este processo. A revisão de literatura evidenciou o facto de os médicos nem sempre intervirem nas áreas preventivas e de promoção da saúde, em particular na área da cessação tabágica, com o investimento e a continuidade desejáveis. Por outro lado, muitos pacientes fumadores referem nunca ter sido aconselhados pelo seu médico a deixar de fumar.. Não são conhecidos estudos de âmbito nacional que permitam conhecer esta realidade, bem como os factores associados às melhores práticas de intervenção ou as barreiras sentidas pelos médicos de MGF à actuação nesta área. O presente trabalho teve como objectivos: (i) avaliar a hipótese de que os médicos que disseram adoptar o método clínico centrado no paciente teriam atitudes mais favoráveis relativamente à cessação tabágica e uma maior probabilidade de aconselhar os seus pacientes a parar de fumar; (ii) estudar a relação entre as atitudes, a percepção de auto-eficácia, a expectativa de efectividade e as práticas de aconselhamento sobre cessação tabágica, auto-referidas pelos médicos; (iii) Identificar as variáveis preditivas da adopção de intervenções breves de aconselhamento adaptadas ao estádio de mudança comportamental dos pacientes fumadores; (iv) identificar as barreiras e os incentivos à adopção de boas práticas de aconselhamento nesta área. A população de estudo foi constituída pelo total de médicos de medicina geral e familiar inscritos na Associação Portuguesa de Médicos de Clínica Geral, residentes em Portugal. Para recolha de informação, foi utilizado um questionário de resposta anónima, de autopreenchimento, aplicado por via postal a 2942 médicos, em duas séries de envio. O questionário integrou perguntas fechadas, semifechadas, escalas de tipo Likert e escalas de tipo visual analógico. Para avaliação da adopção do método clínico centrado no paciente, foi usada a Patient Practitioner Orientation Scale (PPOS). O tratamento estatístico dos dados foi efectuado com o Programa PASW Statistics (ex-SPSS), versão 18. Foram utilizados: o índice de α de Cronbach, diversos testes não paramétricos e a análise de regressão logística binária. Foi obtida uma taxa de resposta de 22,4%. Foram analisadas 639 respostas (67,4% de mulheres e 32,6% de homens). Referiram ser fumadores 23% dos homens e 14% das mulheres. Foi identificada uma grande carência formativa em cessação tabágica, tendo apenas 4% dos médicos afirmado não necessitar de formação nesta área. Responderam necessitar de formação em entrevista motivacional 66%, em prevenção da recaída 59%, de treino numa consulta de apoio intensivo 55%, em intervenção breve 54% e em terapêutica farmacológica 55%. Cerca de 92% dos respondentes consideraram que o aconselhamento para a cessação tabágica é uma tarefa que faz parte das suas atribuições, mas apenas 76% concordaram totalmente com a realização de uma abordagem oportunística deste assunto em todos os contactos com os seus pacientes. Como prática mais frequente, perante um paciente em preparação para parar, 85% dos médicos disseram tomar a iniciativa de aconselhar, 79% avaliar a motivação, 67% avaliar o grau de dependência, 60% marcar o “dia D” e 50% propor terapêutica farmacológica. Apenas 21% assumiram realizar com frequência uma intervenção breve com pacientes em preparação (5 Ás); 13% uma intervenção motivacional com pacientes não motivados para mudar (5 Rs) e 20% uma intervenção segundo os princípios da entrevista motivacional, relativamente a pacientes ambivalentes em relação à mudança. A análise multivariada de regressão logística permitiu concluir que as variáveis com maior influência na decisão de aconselhar os pacientes sobre cessação tabágica foram a percepção de auto-eficácia, o nível de atitudes negativas, a adopção habitual do Programa-tipo de cessação tabágica da DGS, a posse de formação específica nesta área e a não identificação de barreiras ao aconselhamento, em particular organizacionais ou ligadas ao processo de comunicação na consulta. Embora se tenha confirmado a existência de associação entre a adopção do método clínico centrado no paciente e as atitudes face à cessação tabágica, não foi possível confirmar plenamente a associação entre a adopção deste método e as práticas autoreferidas de aconselhamento. Os médicos que manifestaram um nível baixo ou moderado de atitudes negativas, uma percepção elevada de auto-eficácia, que nunca fumaram, que referiram adoptar o Programa-tipo de cessação tabágica e que não identificaram barreiras organizacionais apresentaram uma maior probabilidade de realizar uma intervenção breve (“5 Ás”) de aconselhamento de pacientes fumadores em preparação para parar de fumar. Nunca ter fumado apresentou-se associado a uma probabilidade de realizar uma intervenção breve (“5 Ás”) com frequência, superior à verificada entre os médicos que referiram ser fumadores (Odds-ratio ajustado = 2,6; IC a 95%: 1,1; 5,7). Os médicos com o nível de auto-eficácia no aconselhamento mais elevado apresentaram uma probabilidade superior à encontrada entre os médicos com o menor nível de auto-eficácia de realizar com frequência uma intervenção breve de aconselhamento, integrando as cinco vertentes dos “5 Ás” (Odds ratio ajustado = 2,6; IC a 95%: 1,3; 5,3); de realizar uma intervenção motivacional breve com fumadores renitentes a parar de fumar (Odds ratio ajustado = 3,1; IC a 95%: 1,4; 6,5) ou de realizar com frequência uma intervenção motivacional com pacientes em estádio de ambivalência (Odds ratio = 8,8; IC a 95%: 3,8; 19,9). A falta de tempo, a falta de formação específica e a falta de equipa de apoio foram as barreiras ao aconselhamento mais citadas. Como factores facilitadores de um maior investimento nesta área, cerca de 60% dos médicos referiram a realização de um estágio prático de formação; 57% a possibilidade de dispor do apoio de outros profissionais; cerca de metade a melhoria da sua formação teórica. Cerca de 25% dos médicos investiria mais em cessação tabágica se dispusesse de um incentivo financeiro e 20% se os pacientes demonstrassem maior interesse em discutir o assunto ou existisse uma maior valorização desta área por parte dos colegas e dos órgãos de gestão. As limitações de representatividade da amostra, decorrentes da taxa de resposta obtida, impõem reservas à possibilidade de extrapolação destes resultados para a população de estudo, sendo de admitir que os respondentes possam corresponder aos médicos mais interessados por este tema e que optam por não fumar. Outra importante limitação advém do facto de não ter sido estudada a vertente relativa aos pacientes, no que se refere às suas atitudes, percepções e expectativas quanto à actuação do médico neste campo. Pesem embora estas limitações, os resultados obtidos revelaram uma grande perda de oportunidades de prevenção da doença e de promoção da saúde. Parece ter ficado demonstrada a importante influência que as atitudes, em especial as negativas, e as percepções, em particular a percepção de auto-eficácia, podem exercer sobre as práticas de aconselhamento auto-referidas. Todavia, será necessário aprofundar os resultados agora encontrados com estudos de natureza qualitativa, que permitam compreender melhor, por um lado, as percepções, expectativas e necessidades dos pacientes, por outro, as estratégias de comunicação que deverão ser adoptadas pelo médico, atendendo à complexidade do problema e ao tempo disponível na consulta, tendo em vista aumentar a literacia dos pacientes para uma melhor autogestão da sua saúde. Parece ter ficado igualmente patente a grande carência formativa neste domínio. A adopção do modelo biomédico como paradigma da formação médica pré e pós-graduada, proposto, há precisamente cem anos, por Flexner, tem contribuído para a desvalorização das componentes psicoemocionais e sociais dos fenómenos de saúde e de doença, assim como para criar clivagens entre cuidados curativos e preventivos e entre medicina geral e familiar e saúde pública. Porém, o actual padrão de saúde/doença próprio das sociedades desenvolvidas, caracterizado por “pandemias” de doenças crónicas e incapacitantes, determinadas por factores de natureza sociocultural e comportamental, irá obrigar certamente à revisão daquele paradigma e à necessidade de se (re)adoptarem os grandes princípios Hipocráticos de compreensão dos processos de saúde/doença e do papel da medicina.

Sagres beer and its sponsorship strategy: Will Sagres score with Sport Lisboa e Benfica?

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Urban containment: An effective tool for environmental protection?

This paper examines the effectiveness of urban containment policies to protect forestland from residential conversion and to increase the provision of forest public goods in the presence of irreversible investments and policy uncertainty. We develop a model of a single landowner that allows for switching between competing land uses (forestry and residential use) at some point in the future. Our results show that urban containment policies can protect (even if temporarily) forestland from being developed but must be supplemented with policies that influence the length and number of harvesting cycles if the goal is to increase nontimber benefits. The threat of a development prohibition creates incentives for preemptive timber harvesting and land conversion. In particular, threatened regulation creates an incentive to shorten rotation cycles to avoid costly land-use restrictions. However, it has an ambiguous effect on forestland conversion as the number of rotation cycles can also be adjusted to maximize the expected returns to land. Finally, in the presence of irreversibility, forestland conversion decisions should be done using real option theory rather than net present value analysis

Optimal job design in the presence of implicit contracts

We characterize the optimal job design in a multitasking environment when the firms rely on implicit incentive contracts (i.e., bonus payments). Two natural forms of job design are compared: (i) individual accountability, where each agent is assigned to a particular job and assumes full responsibility for its outcome; and (ii) team accountability, where a group of agents share responsibility for a job and are jointly accountable for its outcome. The key trade-off is that team accountability mitigates the multitasking problem but may weaken the implicit contracts. The optimal job design follows a cut-off rule: firms with high reputation concerns opt for team accountability, whereas firms with low reputation concerns opt for individual accountability. Team accountability is more likely the more acute the multitasking problem is. However, the cut-off rule need not hold if the firm combines implicit incentives with explicit pay-per-performance contracts.

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

The impact of changing the transportation cost structure of a food retail company

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics