Distúrbios no desenvolvimento : cognição ou afeto?

Por que não aprendem certas crianças? Este é um estudo exploratório, no qual buscam-se respostas a esta interrogação. O problema de aprendizagem é baseado no domínio da Psicologia do Desenvolvimento. Para abordá-lo, demonstra-se o interesse na utilização do referencial piagetiano, o ambiente informático e a linguagem LOGO de programação. Desse referencial "cognitivo", surge outra dimensão, a da "afetividade". Do histórico da interrelação entre ambos na teoria piagetiana, surge a psicanálise como disciplina que poderia contribuir. Fundamenta-se a utilização desta útlima em pesquisa, relacionando, ainda, hipóteses que a psicanálise possui sobre o desenvolvimento e seus distúrbios. Escolhemos o estudo de caso como delineamento metodológico desta investigação. Nos resultados, destacam-se situações em que interfiriam elementos "afetivos" a ele vinculados. Verificou-se que o computador oferece possibilidades e recursos específicos para essa expressão, que, combinados com a necessidade do raciocínio para sua utilização, permitiram aos sujeitos a superação das situações que intreferiam no seu desenvolvimento. Conclui-se pelo interesse no prosseguimento da investigação, no ambiente informatizado, desta zona de fronteira entre a "cognição" e o "afeto".

Método de otimização de produtos e processos medidos por múltiplas características de qualidade

Esta dissertação pretende consolidar um método quantitativo, flexível e genérico que possa ser útil na otimização experimental dos mais variados produtos e processos industriais medidos por múltiplas variáveis de resposta. O que se pretende com o método é identificar o ajuste ótimo dos fatores controláveis, ou seja, aquele que reduz os custos devido à má qualidade de um produto considerando também os custos de matéria-prima e energia gastos na fabricação desse produto. A redução dos custos gerados pela má qualidade de um produto é alcançada através da minimização dos desvios das variáveis de resposta dos seus valores alvos e maximização da robustez do produto ou processo aos fatores de ruído e a possíveis oscilações nos fatores controláveis, pois toda vez que uma variável de resposta desvia-se do seu valor alvo ou apresenta variabilidade, existe uma perda financeira experimentada pelo seu usuário. Ao longo do texto, faz-se uma revisão da literatura existente sobre o assunto, apresentam-se as etapas do método que devem ser cumpridas e algumas ferramentas consideradas eficientes no cumprimento dessas etapas. Logo após, realizam-se estudos práticos para validar o método e, baseado nesses estudos e no referencial teórico, conclui-se sobre o assunto.

Análise de barragens de gravidade de concreto considerando a fase construtiva e a interação dinâmica barragem-reservatório-fundação

o objetivo deste trabalho é a análise de barragens de gravidade de concreto desde a faseda sua construção até sua completa entrada em serviço. Inicialmente é feita a análise da fase construtiva, onde o problema fundamental é devido às tensões térmicas decorrentes do calor de hidratação. O método dos elementos finitos é empregado para a solução dos problemasde transferência de calor e de tensões. A influência da construção em camadas é introduzidaatravés da redefinição da malha de elementos finitos, logo após o lançamento de cadacamada de concreto. Uma atenção especial é dada ao problema de fissuração em estruturas de concreto simples.Algunsmodelos usuais são apresentados, discutindo-se a eficiência dos mesmos. Os modelosde fissuração distribuída têm sido preferidos, em virtude dos vários inconvenientes apresentados pelas formulações discretas. Esses modelos, entretanto, fornecem resultados dependentesda malha de elementos finitos e alguma consideração adicional deve ser feita para corrigiressas distorções. Normalmente, tenta-se corrigir esse problema através da adoção de umaresistênciaà tração minorada que é definida em função da energia de fratura do material. Neste trabalho, é demonstrado que esse procedimento não é satisfatório e é proposta uma novaformulaçãopara a análise de grandes estruturas de concreto. A análise das tensões na etapa de construção da barragem é feita com o emprego de um modelo constitutivo viscoelástico com envelhecimento para o concreto. Em virtude do envelhecimento,a matriz de rigidez da estrutura é variável no tempo, devendo ser redefinida e triangularizadaem cada instante. Isto leva a um grande esforço computacional, sobretudo, quandoa barragem é construída em muitas camadas. Para evitar esse inconveniente, adota-se um procedimento iterativo que permite que a matriz de rigidez seja redefinida em poucas idadesde referência. Numa segunda etapa da análise, a barragem é submetida à pressão hidrostática e a uma excitação sísmica. A análise dinâmica é realizada considerando-se o movimento do sistema acoplado barragem-reservatório-fundação. O sismo é considerado um processo estocásticonão estacionário e a segurança da estrutura é determinada em relação aos principais modos de falha

Gestão do conhecimento : proposta de um modelo aplicável às agências de correios

A era do conhecimento, produto da revolução tecnológica e da velocidade das informações, tem apresentado grandes desafios para as organizações atuais que buscam a excelência e a competitividade no segmento de serviços. Este trabalho apresenta um estudo aplicado às agências da Empresa Brasileira de Correios e Telégrafos. Inicialmente, são apresentados alguns conceitos sobre a Gestão do Conhecimento, que constitui uma importante ferramenta para empresas que buscam esta competitividade no mercado onde atuam. Logo após, é feita a proposta e aplicação de um modelo fundamentado de Gestão do Conhecimento e adaptado para a realidade das agências da Empresa Brasileira de Correios e Telégrafos. O modelo de Gestão do Conhecimento apresentado, envolvendo o mapeamento, a construção e a disseminação do conhecimento, representa uma inovação no âmbito da organização em estudo. Ao utilizar as melhores práticas mapeadas e construídas pelos seus próprios funcionários, a Empresa Brasileira de Correios e Telégrafos rompe o paradigma de trabalhar voltada simplesmente para seus processos, passando a valorizar o conhecimento, a informação e o capital humano, que constitui o principal ativo da organização.

Janet Frame : uma escritora de ficção e a ficção de uma escritora : os múltiplos processos da autobiografia estética

A escritora objeto desta tese, figura proeminente da literatura neozelandesa, voltou-se ao gênero autobiográfico após um longo percurso na área da ficção, para definir-se como uma primeira pessoa, depois de sua vida particular ter sido insistentemente confundida com sua obra por parte da crítica. Uma questão que logo vem à tona é que praticamente toda ficção resulta ser, até um certo grau, fundamentalmente autobiográfica e que a análise crítica da obra de um escritor possibilita o conhecimento de sua vida. Nosso argumento, opondo-se a esse pressuposto, parte da vida para melhor compreender a obra, evidenciando que Janet Frame manteve um grande distanciamento entre os eventos reais e sua ficcionalização, realizando uma tarefa que a coloca lado a lado dos nomes mais ilustres da literatura ocidental do século XX. Numa atitude comparatista, procuramos extrair os diversos processos de transmutação estética realizados pela escritora, buscando sanar algumas distorções que impediram uma análise mais confiável de sua obra, problematizando, entre outros aspectos, a questão do gênero autobiográfico, da mímese e do realismo ficcional. A manipulação artística da vida particular de Janet Frame foi resgatada por um conjunto de processos, entre os quais a antimímese, a poetização do quotidiano, a intertextualidade e a interdiscursividade, que revelam um alcance estético e uma auto-referencialidade deslocada muito além do mero biografismo. Outros aspectos analisados na obra como um todo indicam que novas abordagens da ficção de Janet Frame, a partir de enfoques pós-modernos, pós-coloniais, pós-estruturalistas e feministas podem superar as posturas reducionistas das quais ela foi alvo.

Análise da interação solo-estrutura em fundações de concreto armado pelo método dos elementos finitos

A análise da iteração solo-estrutura em fundações é um importante campo de pesquisa que ainda tem um grande progresso a ser feito. No presente trabalho foi desenvolvido um programa computacional para a análise da interação solo-estrutura de fundações de concreto armado. Este tema abrange duas áreas da engenharia civil: estruturas e geotecnia. O método dos elementos finitos foi usado no trabalho na seqüência para resolver o problema considerando estado plano de defonnação e comportamento elastoplásti.co dos materiais estudados (solo, concreto e aço). A linguagem de programação MATLAB foi usada em toda esta pesquisa como alternativa ao FORTRAN. O MATLAB foi escolhido uma vez que é uma linguagem de programação que permite facilmente construir uma interfàce de pré e pósprocessamento amigável. Os passos para a solução completa do problema foram os seguintes: Primeiramente um programa foi desenvolvido considerando o comportamento elastoplástico com critérios de plastificação e ruptura específicos para o concreto e solo. Soluções analíticas fechadas foram usadas para checar a precisão do programa. O segundo passo foi a introdução do reforço de aço no concreto por meio de um modelo para armaduras. Logo após, um modelo de fissuras para o concreto 1racionado foi in1roduzido no programa. Na seqüência o programa de pré e pós-processamento foi desenvolvido para gerar a malha de elementos finitos (pré-processamento), distribuição tensões e deformações, mapa de fissuras, etc (pósprocessamento). Finalmente, os parâme1ros constitutivos do solo, concreto e aço foram calibrados e várias situações reais de interação do solo-concreto de fundações de concreto armado foram simuladas. Nesta dissertação são encontrados resultados para as pressões de contato sapata-solo. Diferentes diagramas de tensões de interfàce foram obtidos em função rigidez relativa do elemento estrutural de concreto armado-solo. Na análise mnnérica, rigidez relativa desempenhou uma relevante função no comportamento mecânico do elemento estrutural de concreto armado (sapata) e da base de assentamento (solo), uma vez ruptura em ambos os casos esteve diretamente relacionada a esta grandeza. São encon1rados, em função da rigidez relativa, resultados indicativos dos modos de falha da fundação, excessiva plastificação do solo em fundações com rigidez relativa alta, e a plastificação armaduras, esmagamento do concreto, formação de fissuras, bielas e confinamento concreto para fundações de rigidez relativa baixa. Na análise numérica, obteve-se resultados importantes com relação ao projeto de fundações. Estes resultados foram cOnITontadoscom normas, destacando-se as discordâncias com relação às recomendações da nonna brasileira Projeto e Execução de Fundações" NBR-6122 (1996) para os diagramas de tensões interface sapata-solo usados no dimensionamento de fundações de concreto armado.

Estabilização de processos : um estudo de caso no setor de pintura automotiva

Esta dissertação propõe um modelo conceitual para a estabilização de processos de manufatura através da utilização integrada de ferramentas de engenharia de qualidade. A metodologia consiste de uma série de etapas cronológicas bem definidas, que permitem identificar e controlar parâmetros de processo mais significativos ligados à construção das características de qualidade consideradas mais importantes pelos clientes. Ao longo do texto, faz-se uma revisão da literatura existente sobre o assunto, apresentam as etapas do modelo conceitual proposto e as ferramentas de engenharia de qualidade eficientes no cumprimento destas etapas. Logo após, a aplicação do modelo conceitual proposto de estabilização de processos proposta é ilustrada através de um estudo de caso no setor de pintura automotiva.

Bem comum, razoabilidade prática e direito : a fundamentação do conceito de bem comum na obra de John M. Finnis

Esta dissertação expõe a fundamentação do conceito de bem comum no pensamento de JOHN MITCHELL FINNIS. Este jusfilósofo tem como ponto de partida para sua reflexão uma reinterpretação da ética tomista. Dela interessa o tratamento dado à separação das quatro ordens de conhecimento, particularmente a separação entre ordem natural e prática. A ordem prática de conhecimento tem suas próprias diretrizes. Logo, assim como na ordem natural de conhecimento a primeira diretriz é o princípio da não contradição, na ordem prática o primeiro princípio é o bem é para ser feito e buscado e o mal evitado. Estes postulados não são imperativos e nem indicativos, mas diretivos; e, no caso da ordem prática, uma diretiva para ação. A implicação epistemológica está em que a fundamentação imediata do agir humano não reside na natureza humana, mas na percepção prática de bens a serem realizados e dos males a serem evitados. Há um número determinado de bens humanos básicos, que são as razões primeiras para o agir humano. Eles são objetivos, incomensuráveis, auto-evidentes e pré-morais. O rol que FINNIS propõe é vida, conhecimento, matrimônio, excelência na realização, sociabilidade/amizade, razoabilidade prática e ‘religião’. O conteúdo da moral resulta destes bens humanos e tem como princípio supremo toda a escolha deve favorecer e respeitar o bem humano integral. Além de sintetizar a correção para o agir individual, a moral também fundamenta e demanda um agir social correto, que está expresso no conceito de bem comum. FINNIS define bem comum nos seguintes termos: um conjunto de condições que tornam aptos os membros de uma comunidade a alcançar por si mesmos objetivos razoáveis, ou realizar razoavelmente por si mesmos o(s) valor(es) pelos quais eles têm razão em colaborar uns com os outros (positiva e/ou negativamente) em uma comunidade. O conteúdo específico do bem comum da comunidade política é constituído pela justiça. O direito é o objeto da justiça e, assim, meio pelo qual o Estado a realiza e, por conseqüência, o bem comum.

Estudo da variabilidade da viscosidade na produção de lotes de tintas : um projeto Seis Sigma

Este trabalho de conclusão tem como tema a Qualidade Seis Sigma e a produção de tintas, com foco no parâmetro viscosidade. O objetivo principal é o estudo da variabilidade da viscosidade das tintas, com vistas à diminuição do número de desvios de viscosidade de lotes de produção e, conseqüentemente, do retrabalho e lead-time fabril. Inicialmente, foi realizada uma revisão bibliográfica sobre a metodologia Seis Sigma, suas principais ferramentas, e sobre os processos de produção de tintas, suas fontes de variabilidade e possibilidadesde melhoria.Na seqüência, foi conduzido o estudo de caso, realizado em uma tradicional fábrica de tintas da grande Porto Alegre. O estudo seguiu as etapas da metodologiaSeis Sigma:definição,mensuração,análise,aprimoramentoe controle. Dos lotes de tinta analisados, 78,5% necessitaram de algum tipo de ajuste de viscosidade.A viscosidadedas tintas, após a etapade completagem,foi, em média, 5,3 vezes maior que a semi-amplitude da tolerância. O tempo médio de ajuste de viscosidade foi de 20 minutos, o dobro do tempo gasto caso fosse feita somente a medição da viscosidade. Analisando-se a viscosidade em segundos, a diferença entre a medição já com o solvente previsto, e a medição logo após a completagem, foi, em média, de 28 segundos. A etapa de acertos de cor e brilho proporciona um aumento médio na viscosidade de cerca de 6 segundos Observou-se que os processos de fabricação não eram estáveis e nem capazes de atender as especificações, sem a etapa de ajustes, sendo o pior processo o em moinho pequeno (l,5P), e o melhor, em processo mistura. O sistema de medição contribuía para a variabilidade da viscosidade e foi melhorado. Outros fatores influentes na variabilidade da viscosidade foram: o fluxo de moagem, a sistemática de lavagem dos moinhos e a instabilidade (aumento) da viscosidade com o tempo. Como etapa final, foram sugeridas melhorias para o processo, na forma de um plano de ação, contemplando todos os fatores de variação identificados.

A qualificação de recursos humanos para a implantação e manutenção de sistemas de gestão ambiental : um estudo em dois países

O objetivo deste trabalho é estudar a qualificação de recursos humanos para a implantação e manutenção de Sistemas de Gestão Ambiental. Para isto, a literatura disponível foi revisada, enfocando a gestão ambiental como um todo, examinando as mudanças sociais e paradigmáticas atuais, fazendo uma revisão sobre a série ISO 14000 e a norma inglesa BS 7750, enfocando mais detalhadamente os Sistemas de Gestão Ambiental e as habilidades, conhecimentos e atitudes desejáveis em uma Gerência de Meio Ambiente. Logo em seguida, foi feita uma revisão sobre Qualificação, Treinamento e Desenvolvimento Gerencial, desenvolvendo os temas: tendências atuais em treinamento e desenvolvimento e formação do gerente ambiental. A seguir, foram feitas entrevistas com cinco gestores ambientais de empresas brasileiras e cinco de empresas inglesas. A Inglaterra foi escolhida por ser o primeiro país a estabelecer uma norma nacional para certificação de Sistemas de Gestão Ambiental. As entrevistas foram em profundidade e o método de análise escolhido foi o qualitativo. Ao fazer o cruzamento das respostas dos entrevistados com as informações da literatura consultada, chegou-se a conclusões sobre quem formar, ou seja, características e habilidades do gestor ambiental, e sobre como formar, ou seja, que conhecimentos deverão ser passados a este gestor, de que forma e quais os princípios pelos quais deve se pautar este aprendizado.

Estudos genéticos em milho sobre o caráter tolerância no encharcamento do solo

A introdução de culturas de sequeiro em solos de várzea é importante para o desenvolvimento da região sul do Brasil, uma vez que estas áreas estão sub aproveitadas com a cultura de arroz irrigado e a pecuária extensiva. O milho é uma alternativa para o melhor aproveitamento destas terras, logo o desenvolvimento de genótipos tolerantes ao encharcamento do solo é fundamental para viabilizar esta exploração. Neste sentido, os objetivos deste trabalho foram estudar a genética da tolerância ao encharcamento e identificar marcadores de DNA associados a esse caráter. O trabalho foi conduzido em casa de vegetação, sendo analisados genitores, híbridos F1 e populações segregantes provenientes de cruzamentos entre linhagens tolerantes e sensíveis ao encharcamento do solo. A análise molecular, através de marcadores de microssatélites, foi realizada com uma população F3, resultante do cruzamento entre os genótipos mais contrastantes para a tolerância ao encharcamento. A seleção dos marcadores obedeceu ao critério de amostrar todos os cromossomos, com preferência aos que estivessem ligados a genes pertencentes a rotas metabólicas envolvidas com a glicólise e a fermentação. Os genitores demonstraram a existência de variabilidade genética para os caracteres matéria seca de parte aérea (MSP) e matéria seca de raiz (MSR), sendo que os coeficientes de herdabilidades estimados foram elevados. Ambos os caracteres revelaram complexidade quanto ao número de genes envolvidos, onde a análise de QTL indicou a presença de pelo menos três locos envolvidos na manifestação da tolerância ao encharcamento. A ação gênica predominante foi a de dominância e o efeito materno foi pronunciado. Três marcadores explicaram conjuntamente 33,3% da variação para MSP e 19,9% para MSR, podendo ser úteis na seleção assistida para a tolerância ao encharcamento na fase de planta jovem em milho De maneira geral, a seleção fenotípica para MSP e MSR poderá ser uma alternativa eficiente na seleção de genótipos de milho com tolerância ao encharcamento do solo.

Holoparadigma : um modelo multiparadigma orientado ao desenvolvimento de software distribuído

Este texto apresenta um novo modelo multiparadigma orientado ao desenvolvimento de software distribuído, denominado Holoparadigma. O Holoparadigma possui uma semântica simples e distribuída. Sendo assim, estimula a modelagem subliminar da distribuição e sua exploração automática. A proposta é baseada em estudos relacionados com modelos multiparadigma, arquitetura de software, sistemas blackboard, sistemas distribuídos, mobilidade e grupos. Inicialmente, o texto descreve o modelo. Logo após, é apresentada a Hololinguagem, uma linguagem de programação que implementa os conceitos propostos pelo Holoparadigma. A linguagem integra os paradigmas em lógica, imperativo e orientado a objetos. Além disso, utiliza um modelo de coordenação que suporta invocações implícitas (blackboard) e explícitas (mensagens). A Hololinguagem suporta ainda, concorrência, modularidade, mobilidade e encapsulamento de blackboards em tipos abstratos de dados. Finalmente, o texto descreve a implementação da Holoplataforma, ou seja, uma plataforma de desenvolvimento e execução para a Hololinguagem. A Holoplataforma é composta de três partes: uma ferramenta de conversão de programas da Hololinguagem para Java (ferramenta HoloJava), um ambiente de desenvolvimento integrado (ambiente HoloEnv) e um plataforma de execução distribuída (plataforma DHolo).

Estratégias de operações em empresas prestadoras de serviços de engenharia elétrica na região metropolitana de Curitiba

A forte pressão do mercado pela contratação de melhores serviços faz com que as empresas busquem tornar-se cada vez mais competitivas; portanto, em uma doutrina voltada à competitividade, as empresas obrigam-se a tratar as questões relacionadas às estratégias de Produção e Operações como fator prioritário para competir. Esta pesquisa propôs-se a estudar o mercado de construção de obras de rede de distribuição de energia elétrica. Inicialmente foram identificados os graus de importância para o cliente, com relação a determinados critérios competitivos. Logo após, foram identificados o desempenho das empresas para os mesmos critérios. Finalmente, por meio da Matriz Importância x Desempenho, avaliou-se a adequação entre o grau de importância para o cliente e o desempenho das empresas fornecedoras. As empresas selecionadas para esta pesquisa exploratória são: 1) cliente: Companhia Paranaense de Energia – COPEL, e 2) fornecedoras: empresas da região metropolitana de Curitiba/PR, com cadastro tipo “A” na COPEL. O resultado demonstrou haver, por parte do cliente, um equilíbrio com relação ao grau de importância nas dimensões competitivas qualidade, velocidade, confiabilidade, flexibilidade, custo e inovação. Com relação às empresas fornecedoras foi possível verificar que a grande maioria dos critérios competitivos se situou na “zona de melhoramento” da Matriz Importância x Desempenho.

A montagem no cinema e a associação-livre na psicanálise

O Cinema e a Psicanálise são contemporâneos. Ao longo do ano de 1995 muitos eventos marcaram a comemoração do centenário de um e outro. Se ambos surgem no mesmo momento histórico, que outros elos poderiam ser estabelecidos? Algumas considerações preliminares marcam possibilidades de interseções entre um e outro campo, para logo fazer um recorte onde a escolha recai por estabelecer uma associação entre os temas da associação-livre na psicanálise e a montagem no cinema. A questão básica norteadora da pesquisa está dada pela busca de bases comuns entre o fazer do analista quando interpreta a cadeia associativa produzida por seus pacientes e o fazer do montador quando produz cortes e junções de trechos fílmicos justapondo-os em uma seqüência determinada. A metodologia que perpassa a presente pesquisa está constituída basicamente pelo referencial psicanalítico. Subsidiariamente os aportes postos pelo método clínico piagetiano, em suas origens, servem de guia e inspiração para alguns momentos do trabalho. Estudamos cadeias associativas produzidas em três contextos diferentes, configurando três fontes de coleta e análise de dados: trechos de falas de pacientes em análise, principalmente aqueles que fazem referências a relatos de sonhos e filmes; "montagens" de trechos de filmes produzidas por alunos para ilustrar trabalhos na disciplina de "Teoria e Técnicas Psicoterápicas" e cortes e transições numa seqüência fílmica digitalizada utilizando os recursos propiciados pelo software Adobe Premiere LE. Algumas conclusões apontam no sentido da possibilidade de ser profícuo o trabalho conjunto de cineastas e psicanalistas, especialmente na constituição de um laboratório de estudos para construção de conhecimentos e desenvolvimento das habilidades requeridas para a formação de profissionais das duas áreas. Muitas perspectivas para desdobramentos e continuidade são indicadas, visando constituir uma linha de pesquisa sistemática na interseção dos campos do cinema e da psicanálise

ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.