Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Terceirização: exercício de atividades de representação judicial e de consultoria jurídica nos municípios paulistas

Constitui objetivo específico desta investigação verificar como, na prática, se desenvolvem as atividades de representação judicial e de consultoria jurídica dos municípios dentro do estado de São Paulo.

Compostos nominais em língua alemã em medicina em tradução para o português

Este trabalho observa e descreve o processo de composição de termos em textos de Medicina em língua alemã e sua tradução para o português. Ao buscar o reconhecimento de padrões de construção da terminologia e da sua tradução, a pesquisa faz uma revisão da literatura que inclui o tratamento gramatical e lexicográfico dos compostos em alemão, de trabalhos que tratam da tradução de Komposita, além de revisar fundamentos teóricos de Terminologia e de Tradução e sua relação com a composição de termos. A perspectiva adotada pela pesquisa vincula Lingüística de Corpus e enfoques de perspectiva textual de Terminologia, além de relacionar padrões de tradução de compostos a uma maior ou menor inserção cultural do texto traduzido. O trabalho apresenta um levantamento quantitativo e qualitativo de ocorrências de compostos e de suas traduções em um corpus formado por textos didáticos de Medicina nas subáreas Fisiologia e Genética. O corpus alinhado alemão-português é composto por 99 parágrafos de texto. A diversidade de escolhas de tradução verificada e a concentração de escolhas no padrão substantivo+preposição+substantivo apontam uma baixa inserção cultural da tradução produzida para o português

Unidade jurídica de negócios nas corporações

Trata do contexto operacional da flexibilidade das corporações, refletindo especificamente sobre o novo perfil da Unidade Jurídica, face as novas estruturas organizacionais das corporações

Estratégias de negócios voltadas para o cliente pessoa jurídica com foco em médias empresas : características deste mercado do setor bancário : um estudo de caso aplicado em um banco brasileiro

Esta dissertação aborda o uso de conceitos estratégicos de competitividade no setor bancário de clientes pessoa jurídica - médias empresas, visando obter uma caracterização deste mercado.

Traduzindo Moll Flanders : as versões de Lucio Cardoso e Antônio Alves Cury sob a perspectiva dos estudos de tradução

Os fenômenos da tradução, assim como vários dos diversos percursos históricos e teóricos apresentados ao longo da História sobre o tema, serão explicitados e discutidos. A avaliação comparatista de duas traduções de Moll Flanders, de autoria de Daniel Defoe, será desenvolvida, levando-se em consideração as concepções mais atuais dos Estudos de Tradução, como a teoria da Reescritura de Andre Lefevere. Aspectos como o status do tradutor, assim como o sistema literário do qual este provém, são fatores que também serão pertinentes às referidas análises críticas.

Tradução, adaptação e validação do Defensive Style Questinnaire (DSQ-40) para o português brasileiro

O estudo dos mecanismos de defesa do ego tem servido como indicativo do modo típico de um indivíduo lidar com os conflitos. Os mecanismos de defesa podem ser agrupados em três fatores alocados de forma hierárquica: fatores maduros, neuróticos e imaturos. Bond desenvolveu um questionário objetivo e auto-aplicável, o Defensive Style Questionnaire – DSQ, que visa identificar os derivados conscientes dos mecanismos de defesa. O objetivo desse estudo é o de descrever o processo de tradução do Defensive Style Questionnaire (DSQ-40) versão em português e avaliar a confiabiidade, validade de conteúdo de constructo dessa versão do instrumento. Métodos: A primeira versão da escala foi apresentada para cinco indivíduos, com graus diferentes de escolaridade, que efetuaram pequenos ajustes de linguagem. Posteriormente, a escala foi apresentada para três “experts”, que avaliaram a validade de conteúdo do instrumento. A versão final foi retraduzida e apresentada para o autor do instrumento original que aceitou essa versão do DSQ-40. Posteriormente foi avaliada a confiabilidade e validade da versão em português do Defensive Style Questionnaire (DSQ-40). A amostra constitui-se de 339 indivíduos. Uma subamostra (n=75) foi avaliada também pelo MMPI, e outra subamostra (n=66) foi também avaliada pelo DFS (Escala de Funcionamento Defensivo). Resultados: Houve necessidade de pequenos ajustes no vocabulário em oito questões e modificações na linguagem em quatro questões, resultando na versão final do instrumento. A média de correlação dos “experts” com cada defesa foi de 89%, e dos fatores maduros, imaturos e neuróticos foi de 100%. A análise fatorial do instrumento forneceu uma distribuição das defesas semelhante ao instrumento original. A avaliação teste-reteste demonstrou boa correlação intraclasse em todos os fatores. O uso de defesas imaturas e neuróticas foi maior entre os pacientes que os controles (p<0,05). Houve correlação entre o nível defensivo de acordo com o DFS (p=0,006) e MMPI (p=0,004) e as defesas imaturas. Conclusões: A adaptação do DSQ-40 por diferentes indivíduos com diferentes graus de escolaridade e pelo grupo de experts possibilitou o ajuste à realidade sociocultural brasileira. Os dados do presente estudo indicam que a versão em português do DSQ-40 possui características psicométricas que permite o seu uso na nossa cultura.

Rumo a uma teorização jurídica da inovação financeira: os negócios bancários indiretos

Inovações financeiras têm sido realizadas desde que se iniciou o processo de circunscrição jurídica da atividade bancária. Esta observação tem conseqüências importantes. Uma delas é a de que a discussão jurídica sobre o tema ganha relevância. Especificamente, a ênfase pode passar da discussão apenas meta-jurídica sobre a globalização financeira, para a análise das soluções jurídicas historicamente adequadas para lidar-se com inovações financeiras concretas. Essa mudança no eixo de análise permite considerar-se mais detidamente o aspecto jurídico-estrutural das inovações financeiras e suas implicações doutrinárias. A partir daí nota-se que inovações financeiras freqüentemente estruturam-se através de negócios bancários indiretos. Esses negócios não são necessariamente ilegítimos ou ilegais, embora possam sê-lo. No estado regulatório democrático de hoje, a discussão sobre a legalidade de um negócio bancário indireto é subsistêmica e administrativizada. Primeiro, cada setor regulado possui uma racionalidade, ou uma lógica, que lhe é própria. Isso é verdade mesmo quando se aceita que a Constituição dá um sentido macro para a formulação e a aplicação do direito. Segundo, no setor bancário a administrativização se traduz, concretamente, na idéia de que a legalidade de um negócio jurídico indireto depende basicamente de dois fatores: da inexistência de vedação típica; e da legitimidade do objetivo buscado pelas partes do negócio.

Fundos de recursos em consórcios de empresas: separação patrimonial sem personificação jurídica e seus impactos no campo da responsabilidade

Observando a falta de clareza da Lei nº 6.404/76 em suas disposições sobre o fundo consórtil (fundo de recursos composto pelas contribuições das empresas consorciadas), e a posição da tradição jurídica brasileira relutante em aceitar as idéias de separação patrimonial por meios diferentes da personificação jurídica, busca-se verificar quais os efeitos que o reconhecimento da autonomia patrimonial do fundo pode gerar no campo da responsabilidade. A pesquisa, então, objetiva avaliar a natureza patrimonial do fundo consórtil, verificando se há reconhecimento da sua autonomia patrimonial, e detectando quais os impactos disso quanto à limitação de responsabilidade do consórcio e das consorciadas. Aprofunda-se na análise dos seguintes temas: consórcio de empresas (natureza jurídica, traços específicos, regulação), com foco no fundo consórtil; separação patrimonial; e limitação de responsabilidade. Questões-alvo: O fundo consórtil pode ser alvo dos credores particulares das consorciadas? Os patrimônios gerais das consorciadas podem ser alvo de credores do consórcio? Quais os limites?

Súmula vinculante e ratio decidendi : uma abordagem empírica a respeito de redesenho institucional e cultura jurídica

A Reforma do Judiciário de 2004 é parte de um longo processo de tentativas políticas de implementação de mudanças que não surgiriam espontaneamente na cultura jurídica. A súmula vinculante é exemplar desse histórico, pois se trata de instrumento voltado para corrigir problemas persistentes que decorrem da ausência de uma cultura jurídica de precedentes no Brasil. Entretanto, o próprio funcionamento do instituto depende da adequada aplicação da lógica de precedentes, pois a clareza dos enunciados vinculantes aprovados decorre da clareza da ratio decidendi de seus respectivos precedentes. Além do estudo dos debates legislativos que criaram o instituto da súmula vinculante, bem como dos procedimentos de aprovação das súmulas vinculantes penais editadas até o final de 2010, pesquisou-se como o Supremo Tribunal Federal administrou o manejo deste instituto conflitante com a maneira tradicional de fundamentação judicial e de referência não-fática, mas conceitual, entre decisões passadas.