Test score disclosure and school performance

In this paper we test whether the disclosure of test scores has direct impacts on student performance, school composition and school inputs. We take advantage of the discontinuity on the disclosure rules of The National Secondary Education Examination (ENEM) run in Brazil by the Ministry of Education: In 2006 it was established that the 2005 mean score results would be disclosed for schools with ten or more students who took the exam in the previous year. We use a regression discontinuity design to estimate the e ects of test disclosure. Our results indicate that private schools that had their average scores released in 2005 outperformed those that did not by 0.2-0.6 in 2007. We did not nd same results for public schools. Moreover, we did not nd evidence that treated schools adjusted their inputs or that there was major changes in the students composition of treated schools. These ndings allow us to interpret that the main mechanism driving the di erences in performance was the increased levels of students', teachers' and principals' e ort exerted by those in schools that had scores publicized.

O impacto da implantação do TPM nos indicadores de manutenção

Esta dissertação tem por objetivo desenvolver e aplicar um modelo para avaliação do impacto da implantação da Manutenção Produtiva Total (TPM) nos indicadores de desempenho relacionados à atuação da manutenção na área de pintura em uma indústria automobilística. Para o desenvolvimento do modelo de avaliação utilizaram-se alguns conceitos do Balanced Scorecard (BSC). Inicialmente é apresentada a fundamentação teórica do trabalho através da abordagem dos principais assuntos relacionados ao TPM e indicadores de desempenho. Posteriormente é desenvolvido e aplicado o modelo de avaliação, observando-se quais os resultados obtidos com a implantação do TPM. As conclusões deste trabalho indicam que a implantação do TPM foi positiva para o departamento de pintura da indústria automobilística pesquisada. Além disso, é observada a possibilidade de aplicação do modelo desenvolvido em outros ramos da indústria.

Os fatores de sucesso que impactam o desdobramento de metas à luz do balance scorecard: uma aplicação de técnicas de convergência de opiniões

O conceito Balanced Scorecard (BSC) facilita a visualização da estratégia para liderança das organizações. No entanto, percebe-se, na prática, que é pouco explorado no tocante ao desdobramento das metas. Nesse contexto, a presente dissertação tem como objetivo identificar os fatores críticos de sucesso, à luz do conceito de BSC, que impactam o desdobramento de metas. Inicialmente, pretende-se verificar se o processo é realizado em todos os níveis das organizações, procurando identificar e compreender as principais dificuldades e lacunas. Para tanto, utiliza-se a aplicação de técnicas de convergência de opiniões, com base na metodologia Delphi, concentrando-se na percepção de profissionais especialistas e consultores no Brasil, que possuem experiência marcante na implementação e gestão de soluções BSC. A pesquisa revela que uma das principais dificuldades e lacunas, no que se refere ao desdobramento de metas, constitui-se em fazê-lo atingir a totalidade dos níveis nas organizações. A principal causa está no desalinhamento da estratégia, sendo que, ao mesmo tempo em que há um considerável esforço e dedicação por parte da força de trabalho, a estratégia apresenta, ainda, determinada falta de foco, fato que a compromete bem como ao resultado almejado.

Desenvolvimento do Balanced Scorecard numa indústria de alimentos

Este estudo teve por objetivo desenvolver um Balanced Scorecard para uma indústria de alimentos do Vale do Taquari. O Balanced Scorecard é um sistema de avaliação de desempenho através de indicadores, desenvolvido pelos autores Robert S. Kaplan e David P. Norton. Através da identificação de um quadro equilibrado de indicadores, o Balanced Scorecard apresenta um conjunto de medidas que fornece uma visão rápida e abrangente da empresa, buscando eliminar o excesso de informação e concentrando a atenção naquelas medidas que são fundamentais. Além das medidas financeiras, que informam sobre os resultados das ações já tomadas, apresenta também medidas operacionais de satisfação do cliente; dos processos internos e atividades de inovação e aperfeiçoamento da organização. A metodologia adotada foi de natureza qualitativa voltada ao estudo de caso. Foram realizadas entrevistas e visitas à empresa buscando os dados necessários para o desenvolvimento do trabalho e definição dos indicadores, suas metas e responsáveis, para cada uma das perspectivas. O resultado do trabalho é um Balanced Scorecard, que contempla as quatro perspectivas (financeira, cliente, processos internos e aprendizado), demonstrando a relação de causas e efeitos entre os indicadores destas perspectivas, apresentando um mapa estratégico que permite visualizar o desempenho da organização frente a sua estratégia e metas definidas.

Gestão por resultados: proposta de desdobramento da estratégia e criação de incentivos para o alcance das metas na Prefeitura do Município de Osasco

Desde 2013, a Prefeitura do Município de Osasco iniciou a implantação de um modelo de gestão por resultados, com a utilização da metodologia do Balanced Scorecard (BSC) e a celebração de Acordos de Resultados entre o prefeito e respectivos secretários. A dissertação objetivou, inicialmente, responder à demanda da Secretaria de Planejamento e Gestão (Seplag), de realizar diagnóstico e propor soluções de incentivos prioritariamente não financeiros para estimular os funcionários a perseguirem o cumprimento dos objetivos e metas contidos no planejamento estratégico da prefeitura. Neste sentido, buscou-se estabelecer um modelo conceitual para embasar a adoção de políticas de reconhecimento no trabalho, especialmente no âmbito da gestão pública. Adicionalmente, verificou-se a necessidade de agregar dois novos objetivos àquele proposto de início: (1) avaliar o nível de disseminação e desdobramento até as equipes de ponta das metas estratégicas pactuadas nos Acordos de Resultados, utilizando-se como referência a metodologia do BSC; (2) verificar o nível de aderência do modelo de gestão atualmente praticado pela prefeitura de Osasco aos preceitos da chamada Nova Gestão Pública (NGP). Ao final, são propostas ações para o aperfeiçoamento e continuidade do modelo de gestão adotado.

Balanced scorecard: o caso do município de Santos - gestão por resultados e planejamento estratégico

O presente trabalho pretende estabelecer um nexo entre a implantação do Programa Participação Direta nos Resultados - PDR da Prefeitura de Santos, uma das principais cidades do Estado de São Paulo e o Balanced Scorecard. Cabe esclarecer que a analise a ser feita é baseada nos resultados encontrados e já mencionados no trabalho anteriormente apresentado denominado “Incentivo à cultura de resultados: implantação do programa participação direta nos resultados”, da MPGPP-FGV Termo de Referência para Trabalho Final – 2014

Gestão por resultados: disseminação e engajamento dos servidores para implementação do planejamento estratégico municipal. Propostas à Prefeitura Municipal de Osasco

O presente trabalho foi realizado com o intuito de identificar os principais desafios da disseminação e engajamento do corpo de funcionários e buscar respostas de forma propostitiva a partir de um planejamento estratégico municipal e, através deste, excisar o caso do município de Osasco que, por intermédio de sua Secretaria de Planejamento e Gestão (SEPLAG), buscou consolidar o pleno desenvolvimento de seu plano em âmbito local. Realizaram-se entrevistas presenciais com representantes da SEPLAG, da Secretaria de Comunicação (SECOM) e da Secretaria de Meio Ambiente (SEMA), para fornecer elementos chaves que possibilitem um diagnóstico minimamente fundamentado do processo que levou o município a instituir tal mecanismo de gestão. Foram levantadas também as diferentes metodologias de planejamento, além do Balanced Scorecard (BSC), o contexto do tema no mundo e no Brasil e o resultado prático em outros municípios de mesmo porte de forma sintetizada. Devido à relevância e atualidade do tema, relacionado à Nova Gestão Pública (NGP), foi feito um diagnóstico com base nos seus pontos críticos e possibilidades de aprimoramento quanto ao desdobramento e perpetuação da cultura da gestão por resultados no município. Buscou-se, por fim, contribuir para o aprimoramento do processo de formulação e implementação do planejamento estratégico com mecanismos práticos e sugestões.

A comparative study of the credit card market dynamics in Mexico and Brazil

This research analyzes and compares the attractiveness of the Brazilian and Mexican credit card markets from a financial firm’s perspective. The market dynamics in Latin America’s two economic powerhouses are fleshed out with qualitative and quantitative data, using a strategic framework to structure the analysis. Since its adoption by both countries in 1956, credit card usage has experienced many years of double digit growth. However, penetration levels remain low compared with most developed countries. Brazil has a more developed credit card infrastructure, with more potential profit, and issuers might face fewer competitive challenges.  Alternatively, Mexico, is witnessing a more favorable economy, a friendlier business and regulatory environment, combined with fewer financial products that compete with the credit card. Therefore, this paper concludes that Brazil and Mexico both offer market opportunities for credit card companies that can navigate the different technological, demographic, macroeconomic, and regulatory shifts in each country.

Template Score

Imagem componente do jogo “Musikinésia (http://www.loa.sead.ufscar.br/musikinesia.php)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

A fast method using a new hydrophilic–lipophilic balanced sorbent in combination with ultra-high performance liquid chromatography for quantification of significant bioactive metabolites in wines

This manuscript describes the development and validation of an ultra-fast, efficient, and high throughput analytical method based on ultra-high performance liquid chromatography (UHPLC) equipped with a photodiode array (PDA) detection system, for the simultaneous analysis of fifteen bioactive metabolites: gallic acid, protocatechuic acid, (−)-catechin, gentisic acid, (−)-epicatechin, syringic acid, p-coumaric acid, ferulic acid, m-coumaric acid, rutin, trans-resveratrol, myricetin, quercetin, cinnamic acid and kaempferol, in wines. A 50-mm column packed with 1.7-μm particles operating at elevated pressure (UHPLC strategy) was selected to attain ultra-fast analysis and highly efficient separations. In order to reduce the complexity of wine extract and improve the recovery efficiency, a reverse-phase solid-phase extraction (SPE) procedure using as sorbent a new macroporous copolymer made from a balanced ratio of two monomers, the lipophilic divinylbenzene and the hydrophilic N-vinylpyrrolidone (Oasis™ HLB), was performed prior to UHPLC–PDA analysis. The calibration curves of bioactive metabolites showed good linearity within the established range. Limits of detection (LOD) and quantification (LOQ) ranged from 0.006 μg mL−1 to 0.58 μg mL−1, and from 0.019 μg mL−1 to 1.94 μg mL−1, for gallic and gentisic acids, respectively. The average recoveries ± SD for the three levels of concentration tested (n = 9) in red and white wines were, respectively, 89 ± 3% and 90 ± 2%. The repeatability expressed as relative standard deviation (RSD) was below 10% for all the metabolites assayed. The validated method was then applied to red and white wines from different geographical origins (Azores, Canary and Madeira Islands). The most abundant component in the analysed red wines was (−)-epicatechin followed by (−)-catechin and rutin, whereas in white wines syringic and p-coumaric acids were found the major phenolic metabolites. The method was completely validated, providing a sensitive analysis for bioactive phenolic metabolites detection and showing satisfactory data for all the parameters tested. Moreover, was revealed as an ultra-fast approach allowing the separation of the fifteen bioactive metabolites investigated with high resolution power within 5 min.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.