OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Análise da gestão do líder formal em relação à implementação da mudança organizacional : estudo de caso na Universidade Federal do Rio Grande do Sul

Esta pesquisa analisa a gestão do líder formal em relação às mudanças acontecidas em sete Unidades de Ensino da Universidade Federal do Rio Grande do Sul (UFRGS), as quais decidiram unir seus ambientes de trabalho, pela falta de recursos humanos, para serem mais eficientes e dar um melhor atendimento à comunidade universitária. Segundo a Pró-Reitoria de Recursos Humanos da UFRGS, um dos principais fatores que fizeram com que a implementação das Secretarias Unificadas apresentasse situações de resistência e de conflito foram os problemas de liderança das pessoas que possuem autoridade formal e que dirigem as Unidades (líderes formais). Os resultados indicam que eles desconsideraram os elementos comportamentais e de planejamento da mudança no inicio e durante a implementação das Secretarias Unificadas. Foram entrevistados os líderes formais (Diretores e Assessores Administrativos) do Instituto de Geociências, do Instituto de Matemática, da Escola de Administração, da Escola de Educação Física, da Escola de Enfermagem, da Faculdade de Biblioteconomia e Comunicação e da Faculdade de Veterinária, e aplicaram-se questionários na totalidade dos funcionários das Secretarias Unificadas, para obter dados sobre estratégias implementadas, tipo de mudança, fatores facilitadores e fatores inibidores da mudança, características da liderança e gestão atual nas Secretarias Unificadas. A partir da análise dos dados coletados, chegou-se à afirmação de que o sucesso na gestão do líder formal nas Secretarias Unificadas de penderá da sua capacidade de criar boas condições de trabalho e desenvolver os fatores motivacionais, profissionais e pessoais, considerando que muitas das necessidades de mudança nas Unidades são compartilhadas e outras são específicas, devido aos seus interesses.

Efeitos da variação da carga por eixo, pressão de inflação e tipo de pneu na resposta elástica de um pavimento

O presente trabalho é uma análise experimental que procura investigar os efeitos dos fatores carga por eixo, pressão de inflação e tipo de pneu sobre o desempenho de pavimentos. Os dados e informações existentes sobre o quadro de cargas por eixo praticada pela frota de veículos pesados é razoável. A ação conjunta dos referidos fatores é ainda uma questão pouco explorada. Assim, para compensar a escassez de dados sobre pressão de inflação e tipo de construção de pneus utilizados na frota de carga, programou-se uma pesquisa de campo na rodovia estadual RS/240. As informações oriundas da pesquisa demonstram que há um acréscimo generalizado no valor da pressão dos pneus e um aumento de uso dos pneus de fabricação radial em relação aos pneus convencionais. Os dados de campo subsidiaram a programação de um experimento fatorial cruzado executado na Área de Pesquisas e Testes de Pavimentos da UFRGS/DAER. A variação dos níveis dos fatores deu-se através de um simulador linear de tráfego atuando sobre uma pista experimental com 20 m de comprimento por 3,5 m de largura. Tendo como resposta estrutural do pavimento a máxima deflexão superficial recuperável medida com uma viga Benkelmam, determinou-se como significantes os efeitos dos fatores carga por eixo e pressão de enchimento dos pneus. Os cálculos estatísticos indicam também que não há diferenças significativas entre os pneus tipo 9.00R20 e 9.00x20 e que todas interações não exercem efeitos significativos sobre a variável de resposta. Em seqüência, determinaram-se as áreas de contato do rodado duplo do simulador de tráfego com a superfície do pavimento ensaiado para as combinações dos níveis dos fatores. Pode-se, então, comparar área de contato medida com área circular calculada, considerada em muitos modelos de dimensionamento de pavimentos. Relacionou-se a variação da pressão de contato com a deflexão recuperável e procedeu-se uma comparação da mesma com a pressão de inflação nominal dos pneus. Apresenta-se um modelo de análise do desempenho do pavimento em função da carga por eixo e da pressão de inflação, nos limites do experimento. Os dados decorrentes do experimento viabilizaram a determinação dos Fatores de Equivalência de Cargas para os níveis dos fatores, considerando-se o pavimento ensaiado. Avaliou-se, via evolução das deflexões e dos Fatores de Equivalência de Cargas, a redução da vida do pavimento, obtendo-se, para a combinação de níveis mais críticos de carregamento, resultados significativos de até 88 % de redução. Propõe-se, por último, uma formulação para o Fator de Equivalência de Cargas que considere também a ação da pressão de inflação.

Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Variação da estrutura e da biomassa fitoplanctônica na Lagoa Itapeva (Litoral Norte do Rio Grande do Sul) em função da hidrodinâmica

As lagoas costeiras em geral exibem reduzidas profundidades máximas, sendo portanto, ambientes altamente vulneráveis às oscilações dos fatores climáticos, em particular o vento. Movimentos da água em zonas pelágicas são fortemente influenciados por mudanças no tempo, as quais promovem mudanças no plâncton. A biomassa é uma importante variável em ecossistemas aquáticos uma vez que representa a quantidade de energia estocada em certo nível trófico da comunidade biológica. O trabalho teve como hipótese principal do trabalho que o vento (principal fator determinante na hidrodinâmica da Lagoa Itapeva), influencia diretamente a biomassa fitoplanctônica. Períodos de ausência de ventos ou ventos fracos provocam uma homogeneidade da comunidade, devido á estabilidade da coluna d’água, propiciando eventos de florações com alta biomassa e baixa diversidade. Outra hipótese formulada é que há variação espaço-temporal da biomassa, da diversidade de espécies e das diferentes frações de tamanho na Lagoa Itapeva, no período estudado. O objetivo do trabalho foi determinar o efeito do vento, principal fator hidrodinâmico da Lagoa Itapeva, sobre a comunidade fitoplanctônica em termos de biomassa, diversidade de espécies e categorias de tamanho. A Lagoa Itapeva é a primeira lagoa do Sistema Lagunar de Tramandaí no sentido N→S. Foram realizadas análises espaciais, formando-se três pontos de amostragem (Norte, Centro e Sul) ao longo do maior eixo longitudinal da lagoa, aliada a uma escala temporal diária (turnos de amostragem: 6h, 10h, 14h e 18h) e sazonal (quatro estações do ano), procurando estabelecer padrões e relações com os fatores hidrodinâmicos (velocidade e direção de vento, e nível d’água). Durante o estudo a Divisão Cyanophyta foi a responsável pelos elevados valores de biomassa observados nos pontos de amostragem. Este fato deve-se principalmente às florações de Anabaena circinalis durante as campanhas sazonais. A biomassa foi a variável que melhor se relacionou com os fatores físicos (nível d’água e velocidade média do vento) pela ação dos ventos de quadrantes predominantes que resultavam num fetch efetivo longo. Neste estudo foram apresentados índices de diversidade de espécies calculados através de indivíduos (H’ind) e de biomassa (H’ biom). Estes índices apresentaram estreitas relações positivas entre si. Os índices também apresentaram relações diretas e significativas com os fatores físicos (nível d’água e velocidade média do vento). Na Lagoa Itapeva, a contribuição das diferentes categorias de tamanho em função da biomassa (estimada através do biovolume), ressaltou três frações que melhor representaram a comunidade fitoplanctônica: nanoplâncton, microplâncton e netplâncton. A fração netplanctônica predominou sobre as demais frações de tamanho. A predominância desta fração sobre as outras estudadas deu-se principalmente às espécies de colônias filamentosas Aulacoseira granulata, Anabaena circinalis e A. spiroides. O comportamento da comunidade fitoplanctônica na Lagoa Itapeva sugere estar de acordo com a Hipótese de Distúrbio Intermediário de Connell (1978). Os distúrbios intensos (provocados pelos forte ventos e fetch longo) ou a falta deste (criando um ambiente estável), nos pontos de amostragem, resultaram em florações da cianobactéria Anabaena circinalis. Essas florações proveram uma densa biomassa em todo o período da pesquisa, além de promoverem a baixa diversidade através do domínio desta cianobactéria, e provocar sucessões das frações de tamanho do fitoplâncton.

Modos em vigas com secção transversal de variação linear

O objetivo principal deste trabalho é a obtenção dos modos e as freqüências naturais de vigas de variação linear e em forma de cunha, com condições de contorno clássicas e não-clássicas, descritas pelo modelo estrutural de Euler-Bernoulli. A forma dos modos foi determinado com o uso das funções cilíndricas. No caso forçado se considera uma força harmônica e se resolve o problema pelo método espectral, utuilizando o software simbólico Maple V5. Realiza-se uma análise comparativa dos resultados obtidos com os resultados existentes na literatura para vigas uniformes.

Teatro e variação : a colocação pronominal em duas versões de A viúva Pitorra, de João Simões Lopes Neto

Esta pesquisa investiga a colocação pronominal em duas versões da peça A Viúva Pitorra, de João Simões Lopes Neto, tendo por perspectiva problematizar o texto teatral como fonte de estudos da sociolingüística variacionista em função do caráter oral e coloquial atribuído a estes textos, tanto pela lingüística, como pela crítica teatral e literária. Temos como hipótese geral que os arranjos promovidos na colocação pronominal na segunda versão da peça refletem uma reescrita orientada para a variedade falada, indicando, por extensão, o comportamento de próclises e ênclises no plano geral da língua e a sensibilidade lingüística do autor não só para a linguagem em uso, mas também para a força coercitiva da norma gramatical. Como hipóteses específicas, temos que 1) a ocorrência de próclises e ênclises na peça reflete as características do português falado no Brasil e que 2) sobre as formas enclíticas, atua fortemente a coerção da norma cultuada. A revisão teórica propõe um diálogo entre a crítica literária e a teatral, identificando as (in)definições da área para os termos oral e coloquial; na área da lingüística, resenhamos as pesquisas cujos corpora são formados de peças teatrais e nos apoiamos nos estudos de variação e mudança que abordam diacronicamente a colocação pronominal, instituindo especificidades do sistema gramatical do português brasileiro em relação ao português europeu. Os dados são analisados descritivamente em relação aos arranjos promovidos na segunda versão e quantitativamente (programas Varbrul/Varbwin) em relação aos fatores definidos para análise. No geral, os resultados indicam 1) o favorecimento da próclise em ambas as versões, refletindo as características do português brasileiro falado e 2) a incidência da norma nas formas enclíticas. Dos quatro fatores selecionados como estatisticamente significativos, destacamos os fatores a) gênero do personagem e b) sujeito expresso x sujeito nulo, ambos ausentes na literatura lingüística resenhada. O fator a) acrescenta um dado sociolingüístico às pesquisas cujos corpora são formados a partir de peças teatrais, e o fator b) indica a necessidade de pesquisas pontuais sobre a relação indicada como estatisticamente significativa. Acrescentamos à discussão a colocação pronominal em dois outros textos do autor gaúcho: um drama e duas versões de um conto, objetivando fundamentar a inadequação do termo oralidade e oferecer o termo “linguagem verossímil” para caracterizar traços lingüísticos da variedade falada em diferentes gêneros literários.

Efeito da abertura comercial na variação da taxa de câmbio real em episódios de sudden stop

A dissertação investiga a relação entre a abertura comercial e o custo de reversão do saldo da conta corrente em economias que sofrem episódios de contração abrupta do influxo de capital. Nesses episódios, os governos procuram inicialmente equilibrar o balanço de pagamentos recorrendo às reservas internacionais, mas normalmente o fenômeno persiste até que se efetive uma desvalorização real do câmbio. Apresentamos um modelo simples para mostrar que, em economias mais abertas comercialmente, o saldo da balança comercial responde com mais intensidade à desvalorização cambial. Dessa forma, a reversão do saldo de conta corrente em episódios de restrição de liquidez decorrentes da contração dos influxos de capital é alcançada de maneira menos custosa. Confirmamos essa constatação teórica para países emergentes através de um exercício empírico que utiliza dados trimestrais de 42 países entre 1980 e 2003.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Educação musical não-formal e atuação profissional : um survey em oficinas de música de Porto Alegre - RS

O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.

Variação dos perfis metabólico, hematológico e lácteo em ovinos leiteiros na serra gaúcha

A ovinocultura no Rio Grande do Sul (RS), tem mostrado mudanças no tipo de exploração nos últimos 20 anos. A produção de lã, que por muito tempo movimentou a economia do setor primário, cedeu lugar para a produção de cordeiros. Recentemente, a ovinocultura leiteira começa a dar seus primeiros passos dentro do sistema de produção ovina. Esta dissertação tem por objetivo apresentar a variação dos perfis metabólico, hematológico e lácteo em ovinos leiteiros na Serra Gaúcha e discutir seus resultados. O trabalho foi realizado em ovelhas da raça Lacaune, criadas em regime de confinamento no município de Bento Gonçalves (RS). As observações se estenderam pelo período de dois anos consecutivos. Para determinação do perfil bioquímico foram coletadas amostras de sangue por venipunção jugular sem anticoagulante. O mesmo procedimento foi empregado na coleta de amostras para o hemograma, utilizando-se, nesse caso, tubos contendo EDTA, como anticoagulante. As amostras foram coletadas de sete animais ao acaso nos seguintes períodos fisiológico: (a) ovelhas vazias; (b) início, (c) meio e (d) final da gestação e (e) aos 7, (f) 30, (g) 60 e (h) 140 dias de lactação. Durante os mesmos períodos da lactação foram coletadas amostras para a determinação dos componentes físico-químicos do leite. Os valores dos parâmetros físico-químicos do leite estudados discordam com os resultados citados pela literatura em outros países. A acidez em °Dornic (°D) foi maior que a relatada em outros estudos. Os valores de proteína e gordura foram inferiores aos citados na literatura. Os parâmetros com variação estatística (P<0,05) no período da lactação foram: pH, acidez em °D, densidade, proteína, lactose, gordura, ESTe ESD. O perfil metabólico apresentou as maiores variações com relação à média no final da gestação e início da lactação. Não foi observada diferença significativa nos parâmetros analisados entre o grupo de ovelhas vazias e prenhes, com exceção do cálcio que foi maior nas ovelhas vazias (P<0,05). Dentre os parâmetros do metabolismo nitrogenado, apenas a uréia mostrou variação durante a gestação e a lactação (P<0,05). Os valores de glicose e fructosamina diminuíram e os de BHB aumentaram significativamente (P<0,05) no final da gestação. Durante a lactação a glicose diminuiu e o colesterol aumentou significativamente (P<0,05) com o avanço do período. O nível de magnésio aumentou no final da lactação e o fósforo apresentou um diminuição nos valores aos 30 dias após o parto (P<0,05). Os parâmetros hematológicos mostraram não haver diferença significativa nos diferentes períodos fisiológicos estudados, com exceção dos neutrófilos segmentados que aumentaram com o avanço da gestação. Os dados encontrados servem como referência para estudos sobre nutrição, metabolismo e qualidade do leite em ovelhas leiteiras.

Do falar quilombola à fala falquejada : um estudo de variação estilística

O objetivo deste trabalho é elucidar as atitudes lingüísticas de um líder de uma comunidade de remanescentes de quilombo, localizada no interior do estado do Rio Grande do Sul, nos domínios públicos e privados. A análise da fala de nosso informante está apoiada nas abordagens teóricas de Attention to Speech, Audience Design e Speaker Design. As gravações da fala pública e privada da fala de nosso informante foram realizadas em 2001 e 2003 em eventos sociais em sua própria comunidade. Nossas hipóteses centrais previam que nas situações de fala pública, nosso informante apresentaria níveis de concordância verbal similares aos encontrados na fala de informantes escolarizados. Previam também que nas situações de fala privada nosso informante apresentaria traços da variedade rural do português e características de crioulização prévia de seu dialeto. A análise dos resultados da fala do líder comunitário demonstra que sua variação estilística esta relacionada não só aos diferentes domínios, mas também aos seus interlocutores. Os resultados também sugerem que entre 2001 e 2003 nosso informante adquiriu traços da fala culta e do português padrão. Uma das motivações centrais para a realização deste trabalho foi a observação de que não existiam trabalhos sociolingüísticos a respeito de comunidades afro-descendentes na região sul do Brasil. Diante deste quadro, um dos objetivos deste trabalho é instigar a realização de outras pesquisas sociolingüísticas sobre esta importante parcela da população da região sul do Brasil.

Entre o Controle social formal e o (des) controle fragmentado

A presente dissertação discute a participação cidadã na gestão pública, em três áreas do governo municipal de São Gonçalo: saúde , educação e a implantação do orçamento participativo. São apresentados os fundamentos teóricos para se tentar o fenômeno: a noção de participação, os limites da democracia representativa e as potencialidades de uma maior participação política na gestão local. Confrontam-se a teoria com os casos empíricos e conclui-se que mais que uma participação na gestão o que se observa é construção de formas de gestão desta participação. Ainda que haja algum nível de interferência de ação dos representantes da sociedade civil nas ações do governo local, e sempre há, esta é crescentemente gerida pelo próprio governo.

Poder normativo da Justiça do Trabalho : direito formal da classe trabalhadora brasileira

Resumo não disponível.

Os gastos públicos em educação e a variação da proficiência: uma análise do período 2005-2007

This study aimed at the public expenses in education and its impact on the level of the student's proficiency. The data passed through a statistical and an econometrical analysis. The multiple regressions did not identify a significant relation between the differential of expenses per pupil in the elementary level and the level of proficiency of the students of municipal schools. It is possible to conclude that a raise of the level of resources isolated cannot contribute to the improvement of the system. The quality of the public expenses must be monitored in order to promote more effective polices.