Do formal para o informal: executivos em trabalhos flexíveis

Quando observamos o mundo do trabalho atual, percebemos que, há um movimento em direção à maior flexibilidade, tanto em relação aos empregados formais quanto aos trabalhadores que passam a atuar por meio de formas flexíveis de contrato de trabalho. O contrato de emprego flexível refere-se àquele que não segue o modelo formal de contrato de trabalho, regido por CLT (Consolidação das Leis do Trabalho), e, vem sendo estudado ultimamente como um resultado das mudanças na organização do trabalho, em geral, associado à busca por trabalhadores mais produtivos e de menor custo. Devido à amplitude dos fenômenos envolvidos nestas transformações, delimitamos o tema e o público a ser estudado: adotando a idéia de construção social da realidade, de Berger e Luckmann (1966/2002), analisamos os processos de “migração” de 30 executivos, residentes no município de São Paulo, ex-empregados de grandes corporações, que tiveram experiências em cargos de gerência média e alta em organizações nacionais e multinacionais, e, que atualmente, trabalham no mercado sob regime de contratos flexíveis. Para nosso estudo, entendemos os executivos como trabalhadores formais que ocupam posições de alta e média gerência na hierarquia organizacional e detêm posições de poder e prestígio. Assim, o objetivo deste estudo é descrever o sentido atribuído por executivos, ao processo de “migração” para formas mais flexíveis de trabalho e à nova realidade vivida no trabalho. A pesquisa segue uma abordagem qualitativa, utilizando-se de entrevista em profundidade semi-estruturada, para a coleta de dados; para a análise das entrevistas realizadas, usamos, como base, as idéias de práticas discursivas e produção de sentidos, de Spink e Medrado (1999/2004). A abordagem construcionista permitiu verificar que os executivos em trabalhos flexíveis possuem alto nível de autoconfiança, uma visão missionária sobre o seu trabalho, e diversos motivos diferentes para a “migração”. Por meio de seus relatos, pode-se observar as estratégias para a sobrevivência e obtenção de sucesso como um trabalhador flexível; a percepções dos entrevistados sobre o mercado brasileiro; a mudança de relacionamento com os clientes, a família e a rede de contatos. Apesar dos problemas enfrentados para se estabilizar, a maioria demonstra a vontade de permanecer no trabalho flexível, contrariando grande número de estudo que enxergam a flexibilização de contratos de trabalho como precarização para os trabalhadores. Para os executivos em regime flexível, a vida como trabalhador CLT parece fazer parte do passado: agora, eles precisam se mostrar competentes a qualquer custo, planejar-se para as “entressafras”, buscar melhorar a rede de contatos, aumentar o conhecimento e passar um tempo com a sua família. Os motivos de permanência são diversos, mas possuem um ponto de conversão: a sensação de deter o domínio sobre a sua vida, seu tempo, seu dinheiro, seu conhecimento, seu futuro. Talvez, o cotidiano apresente muitas situações de submissão à vontade do cliente e de dedicação maior do que na época de empregado formal; mas, na “realidade cotidiana”, a sensação é de ser o “dono” da sua vida.

Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Os recursos físicos para a educação formal na América Latina: uma análise de sua distribuição

Este estudo examina o modo como se encontram distribuídos os recursos humanos e materiais, destinados ao ensino formal de 1o e 2o Graus, em amostras de escolas de cinco países da América do Sul (Argentina, Bolívia, Brasil, Paraguai e Peru). Mediante o emprego de uma metodologia quantitativa, a distribuição dos recursos é estudada segundo a localizaçao geográfica, a dependência administrativa, o nível de ensino e a origem social da clientela das escolas. A ·análise dos dados indica a existência de flagrantes disparidades na dotação de recursos as escolas, cujas causas devem ser buscadas no sistema social mais amplo, e não apenas no contexto interno do sistema de ensino de cada país.

Os determinantes da mudança da desigualdade de salários no setor formal do Brasil

Neste trabalho estudamos a evolução da desigualdade de salários no mercado formal de trabalho no Brasil utilizando dados da Relação Anual de Informações Sociais (RAIS) no período entre 1994 e 2009. Utilizamos a variância do log do salário real por hora contratual de trabalho como medida de desigualdade e, através do uso de métodos de decomposição da variância em seus componentes permanente e transitório, verificamos que, no Brasil, cerca de 84% da desigualdade é explicada pelo componente permanente, ou seja, por características individuais invariantes no tempo. A educação responde por uma parcela expressiva deste componente (54% em média). Ao longo do período em questão houve uma redução da desigualdade de salários, sendo esta explicada pela redução do componente transitório entre 1994 e 1998 e pela diminuição do componente permanente entre 1999 e 2009.

Efeitos da provisão pública de bens sobre a escolha de trabalho no setor formal e informal da economia

Este trabalho investiga a relação entre a provisão de bens pelo setor público e a escolha dos indivíduos de trabalhar no setor formal ou informal da economia. A extensão do modelo de evasão fiscal de Sandmo (1981), com a inclusão do gasto do governo na utilidade dos indivíduos, estabelece motivação teórica para analisar o efeito do bem provido publicamente sobre a decisão dos indivíduos de alocar horas no setor formal ou informal. Utilizando dados da PNAD (Pesquisa Nacional por Amostra de Domicílios) de 2008 e 2009, são obtidas informações sobre domicílios com acesso à infraestrutura (água, energia elétrica, esgotamento sanitário e coleta de lixo), utilização de Educação Básica, Ensino Superior, serviços públicos de saúde e sentimento de segurança dos indivíduos. A análise empírica estabelece uma correlação entre infraestrutura (negativa), Educação Básica, Ensino Superior, saúde e segurança (positiva) e a proporção de horas dedicadas ao trabalho informal. Isto pode sugerir que a provisão destes bens afeta o mercado de trabalho formal e informal de maneira diferenciada. Devido à grande diferença entre indivíduos com e sem acesso aos serviços públicos, não é possível identificar efeito causal do bem provido publicamente sobre a probabilidade de trabalhar no setor formal.

The experience of semi-formal infrastructure finance in developing countries: proposals for Brazil and Latin America

This paper has the purpose of analyzing the role of civil society in funding and providing nfrastructure projects in developing countries. Considering that local associations around the world have been directly engaged on some infrastructure projects – some scholars define it as “semi-formal finance” –, the intention is to demonstrate that the experiences on such arrangements in developing countries have been responsible for fostering infrastructure investments in the poorer regions where the government is more absent. Based upon legal, economic and social aspects, this paper aims to contribute to a broader debate for the development of infrastructure in emerging countries. The conclusion is that, under a more social approach, the legal and economic mechanisms in developing countries are able to consider such arrangements in the benefit of their development.

Os efeitos das transferências de renda sobre a duração do emprego no mercado formal

A população pobre brasileira é analisada em relação a um suposto efeito preguiça, que seria causado pela diminuição de oferta de trabalho das famílias que recebem o benefício financeiro do Programa Bolsa Família. Um modelo de sobrevivência foi usado para comparar a duração no emprego entre beneficiários do programa e um grupo controle, utilizando uma base de dados com mais de 3 milhões de indivíduos. A hipótese de um efeito preguiça é rejeitada. O risco de desligamento do emprego para os beneficiários do Bolsa Família é medido como sendo de 7% a 10% menor, o que é capaz de anular, por exemplo, o maior risco de saída do emprego causado pela presença de filhos pequenos na composição familiar.

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 JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.