Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Táticas oligopolísticas para controlar mercados e o crescimento das CTNs na indústria de material elétrico do Brasil

A maioria das explicações convencionais da rápida expansão das corporações transnacionais (CTNs) nos países em desenvolvimento atribui seu crescimento à eficiência superior das CTNs em relação a seus competidores domésticos. Uma interpretação alternativa focaliza as estruturas industriais do oligopólio que estão associadas ao investimento transnacional e o poder de mercado das CTNs. Este trabalho explora algumas táticas de mercado e extramercado empregadas pelas CTNs para protegerem sua vantagem monopolística nos países hospedeiros. Usando o exemplo da indústria de material elétrico do Brasil, o artigo considera as conseqüências econômicas de sete formas de conduta de CTN: diretorias entrosadas, indulgência mútua, controle de canais de suprimento, subsidiação mútua e predação, conluio formal e informal, vínculos políticos formais e comportamento de aquisição das CTNs. Conclui-se que nem as barreiras à entrada determinadas pela eficiência, nem as determinadas pela tecnologia são completamente satisfatórias para explicar o crescimento da participação do mercado transnacional; ao menos no caso da indústria de material elétrico do Brasil, o poder de mercado associado ao comportamento da CTN é igualmente, ou talvez mais, importante.

Orientação para o mercado externo: o refinamento de uma escala de mensuração

O presente estudo consiste em um survey exploratório de corte transversal único, realizado com 617 empresas exportadoras brasileiras, desenvolvido com o objetivo de validar, no Brasil, uma escala de orientação para o mercado externo. Utilizou-se a modelagem de equações estruturais como base para a análise estatística dos dados coletados. Duas escalas de mensuração de orientação para o mercado serviram de referência para o estudo - a escala de orientação para o mercado externo de Cadogan, Diamantopoulos e Mortanges (1999) e a escala de orientação para o mercado de Matsuno, Mentzer e Rentz (2000b). A escala resultante - um modelo híbrido, unindo indicadores das duas escalas citadas, mas principalmente alicerçada sobre o modelo de Cadogan et al. (1999) - demonstrou resultados confiáveis e apresenta-se como um modelo válido para mensurar o grau de orientação para o mercado externo das organizações exportadoras brasileiras.

Refinamento de diagramas de classes: análise e verificação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Desenvolvimento de uma técnica de refinamento adaptativo hierárquico de malhas estruturadas em análise limite

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

Versão portuguesa das “Escalas de Táticas de Conflito Revisadas”: estudo de validação

As escalas de Táticas de Conflito Revisadas (CTS2) destinam-se a avaliar o modo como os casais resolvem os seus conflitos, através de estratégias de negociação ou de abuso: (a) abuso físico sem sequelas; (b) agressão psicológica; (c) abuso físico com sequelas; (d) coerção sexual. A versão portuguesa foi administrada a uma amostra de 551 estudantes universitários (332 do sexo feminino), 45 dos quais têm uma relação íntima entre si. Considera os cinco factores propostos pelos autores das escalas originais e apresenta valores de consistência interna compreendidos entre .78 e .50. As correlações entre os diferentes tipos de abuso e a desejabilidade social, história de socialização violenta, crime violento, domínio na relação, e ainda a concordância nos heterorrelatos de ambos elementos da díade, testemunham a validade das escalas. Investigadores e técnicos da psicologia e áreas afins têm agora à sua disposição a versão portuguesa das CTS2, que tem demonstrado elevada aplicabilidade na determinação da presença de relações abusivas no seio da família, na avaliação da eficácia de programas de intervenção no contexto forense e em estudos de cariz epidemiológico.

Redução de aplicações de inseticidas através da adoção de táticas de manejo integrado do Triozoida limbata (Enderlein, 1918) (Hemiptera: triozidae) em goiabeira

A praga de goiabeira que tem requerido maior frequência de controle, na região de Jaboticabal-SP, nos últimos anos, é o psilídeo Triozoida limbata. Assim, esta pesquisa objetivou: a) Comparar táticas de controle de T. limbata baseadas no monitoramento e na seletividade de inseticidas, visando a diminuir as aplicações; b) Registrar e correlacionar os inimigos naturais habitantes no agroecossistema goiabeira com a praga-chave e com fatores meteorológicos; c) Constatar se o controle de T. limbata afeta a população de moscas-das-frutas, e d) Verificar a eficiência de inseticidas adequados ao MIP, no controle de T. limbata. O experimento foi conduzido com a cultivar Paluma, em 2004, no município de Vista Alegre do Alto-SP. As estratégias utilizadas foram (doses em g.i.a./100L de água): testemunha; imidacloprid (4,0); imidacloprid + beta-cyfluthrin (2,5 + 0,3); acetamiprid (4,0); fenpropathrin (15,0), e tratamento convencional regional. Através dos resultados, conclui-se que é possível diminuir o número de aplicações e utilizar inseticidas menos agressivos ao meio ambiente e ao homem, com a adoção do monitoramento de T. limbata e aplicação no nível de ação. As densidades populacionais dos inimigos naturais (Scymnus spp., Cycloneda sanguinea, Azia luteipes, Crysoperla spp., Polybia spp., Brachygastra spp.) apresentam correlações positivas com as densidades populacionais de T. limbata. As flutuações populacionais de T. limbata e dos inimigos naturais não são alteradas pelos fatores meteorológicos (precipitação e temperatura), em pomar irrigado. A população de Anastrepha spp. é minimizada quando as aplicações são para controlar T. limbata. Os inseticidas imidacloprid, imidacloprid + beta-cyfluthrin, acetamiprid e fenpropathrin são eficientes no controle de T. limbata.

Síntese da hidroxiapatita e refinamento estrutural por difração de raios-x

A sample of hydroxyapatite was synthesized and its crystalline structure was analyzed by X-ray diffraction by means of the Rietveld method. Two functions were used to fit the peak profiles, modified Voigt (TCHZ) and Pearson VII. The occupational factors and lattice parameters obtained by both models show that the sample does not contain relevant cationic substitutions. The interatomic distances from Ca1 to oxygens O1, O2 and O3 were adequate for a pure hydroxyapatite without defect at site Ca1. Besides, the use of multiple lines in planes (300) and (002) associated with the model Pearson VII resulted in good agreement with the TCHZ model with respect to the size-strain effectswith an ellipsoidal shape of crystallites. In conclusion, the procedures adopted in the synthesis of hydroxyapatite produced a pure and crystalline material. The experimental results of transmission electron microscopy confirmed the predicted shape of crystals.

Ascaridíase biliar complicada: espectro de problemas e táticas cirúrgicas

OBJETIVO: Discutir as variantes clínicas e táticas para tratamento cirúrgico da ascaridíase biliar complicada. MÉTODO: Trabalho retrospectivo de pacientes operados por complicações de ascaridíase biliar num período de cinco anos. RESULTADOS: São descritos quatro casos de ascaridíase biliar complicada em crianças (três pré escolares e um escolar), expressos através de pseudocisto pancreático, icterícia obstrutiva, colangite e múltiplos abscessos hepáticos, todos tratados cirurgicamente. Descrevemos detalhes técnicos da abordagem operatória para cada um dos casos. CONCLUSÕES: O espectro das afecções biliares secundárias à ascaridíase é variável e é necessário um arsenal de táticas operatórias para a abordagem de cada caso. É desaconselhável o uso de anti-helmínticos antes da resolução clínica da invasão da via biliar. A afecção preferencial de crianças jovens exige o uso de técnicas e materiais adequadamente delicados para a manipulação das vias biliares.

Táticas de marketing de relacionamento e seu efeito na geração de mensagens boca-a-boca sobre a empresa de serviços

A decisão de desenvolver uma tese sobre este tema deu-se primeiramente pela relevância da comunicação boca-a-boca como elemento influenciador no processo de decisão de consumo de produtos e serviços .. Na década de 60 já se realizaram pesquisas mostrando que a comunicação boca-a-boca era sete vezes mais eficaz que anúncios em jornais e revista e duas vezes mais eficaz que anúncios de rádio para convencer consumidores a trocarem de marca. No mesmo sentido, estudos dos anos 90 indicaram que os consumidores constantemente buscam informações junto a amigos e conhecidos, para decidir sobre a contratação de serviços, e que a comunicação boca-a-boca chega ser o fator mais importante para a difusão de um serviço. Atualmente, toma-se ainda mais importante estudar o processo de comunicação boca-a-boca em razão do desenvolvimento das possibilidades de comunicação virtual, o que expande muito o potencial de propagação de mensagens boca-a-boca. Além disso, é crescente a necessidade das empresas atuarem com sucesso em mercados cada vez mais competitivos, nos quais o orçamento disponível para investimentos publicitários tende a ser cada vez menor. Assim, parece ser cada vez mais relevante para as empresas gerenciarem as atividades de comunicação boca-a-boca.

Estudo do comportamento do consumidor na categoria de geléias de frutas: aplicação de táticas de escolha no processo de decisão de compra

Trata do comportamento do consumidor durante o processo de tomada de decisão de compra. O trabalho avalia a hierarquia deste processo, e os fatores que influenciam a tomada de decisão. Replica na categoria de geléias de fruta, o experimento realizado por Wayne Hoyer, em 1984, procurando avaliar a aplicação de táticas de escolha na decisão de compra e o envolvimento do consumidor com o processo.

Os estilos de liderança e as principais táticas de influência utilizadas pelos líderes brasileiros

As organizações são alvos constantes de mudanças impostas pelo ambiente em que estão inseridas, seja por consequência das incertezas macroeconômicas, pela evolução constante dos sistemas de comunicação, pela concorrência ou por outros fatores que exigem uma adaptação rápida e consistente para se manterem competitivas. Neste contexto, as competências interpessoais são apontadas como fator determinante para o sucesso e os indivíduos que conseguem se adaptar, redefinindo prioridades e promovendo crescimento e desenvolvimento organizacional sustentável, são percebidos como líderes. Este trabalho tem como objetivo conhecer e identificar os principais estilos de liderança encontrados nas organizações brasileiras e as táticas de influência utilizadas pela liderança para conseguir o apoio de seus subordinados, pares e chefes na realização de seus projetos e no alcance das metas e objetivos traçados. Para tanto, foi realizada uma pesquisa tipo survey com a utilização de questionários específicos que permitiram avaliar comportamentos e práticas da liderança. Com os resultados obtidos foi possível identificar a incidência dos estilos de liderança e das táticas de influência nas organizações, bem como verificar a eficácia dos mesmos.