999 resultados para Fornecer
Resumo:
Este trabalho é o resultado de uma pesquisa realizada em micro, pequenas e médias empresas que formam a indústria de confecções de Sarandi - RS, visando identificar a postura estratégica das organizações do segmento de confecções do município, reposicionando-a face ao ambiente competitivo atual. As empresas nas quais foi aplicada a pesquisa foram identificadas junto aos cadastros da Prefeitura Municipal e da Associação Comercial e Industrial do município de Sarandi. O universo das indústrias que atuam na área de confecções do município é formado por 45 empresas. A pesquisa foi aplicada em 39 empresas (86,67% do total). Este número foi definido de acordo com a aceitação e disponibilidade dos dirigentes em fornecer as informações solicitadas. Trata-se de uma pesquisa descritiva; foram realizadas inicialmente entrevistas em profundidade, não estruturadas, com os principais atores responsáveis pela criação das indústrias de confecções no município. Posteriormente, foi aplicado um questionário aos dirigentes das organizações. A postura estratégica predominante foi a analítica. Entretanto, o reconhecimento do fortalecimento da competitividade dos dias atuais fez com que emergisse a necessidade de uma atuação além da empresa, vista de maneira individualizada, sugerindo uma atuação em redes flexíveis. Neste sentido, existem ações realizadas e o espírito da comunidade está aberto. O presente estudo é aprofundado nesta direção.
Resumo:
Aplicações como videoconferência, vídeo sob-demanda, aplicações de ensino a distância, entre outras, utilizam-se das redes de computadores como infra-estrutura de apoio. Mas para que tal uso seja efetivo, as redes de computadores, por sua vez, devem fornecer algumas facilidades especiais para atender às necessidades dessas aplicações. Dentre as facilidades que devem ser fornecidas estão os suportes à qualidade de serviço (QoS - Quality of Service) e as transmissões multicast. Além do suporte a QoS e multicast nas redes, é necessário fornecer um gerenciamento da rede adequado às expectativas de tais aplicações. Soluções que fornecem gerenciamento de forma individual para tais facilidades, já foram propostas e implementadas. Entretanto, estas soluções não conseguem agir de modo integrado, o que torna a tarefa do gerente da rede extremamente complexa e difícil de ser executada, pois possibilitam um fornecimento não adequado das facilidades desejadas às aplicações. Nesta dissertação é apresentada uma solução para gerenciamento integrado de QoS e multicast. Fazem parte da solução: a definição e implementação de uma arquitetura para gerenciamento integrado de QoS e multicast, utilizando gerenciamento baseado em políticas (PBNM - Policy-Based Network Management), além da validação da solução proposta através da implementação de um protótipo. Um ambiente, condições de teste, e análise dos resultados obtidos, também são apresentados durante a dissertação.
Resumo:
Com a proliferação de computadores pessoais e a popularização da Internet, as novas tecnologias da comunicação começam a provocar impactos no setor educacional, com a promessa de construção de cenários inovadores, apoiados em diferentes formas de educação baseada na Web. Estas inovações tecnológicas aplicadas ao ensino caracterizam a intensificação dos processos de educação à distância como uma das tendências mais marcantes desse final de milênio. A tendência destas inovações é crescer e juntamente com a Internet contribuir para a melhoria do ensino e/ou aprendizagem a distância. A Educação à Distância (EAD) tem sido um termo usado para qualquer forma de estudo em que os alunos não estejam em contato direto com seu professor. Este tipo de ensino pode ser considerado como uma alternativa educacional capaz de propiciar a ampliação de oportunidades educativas, através de programas de qualidade. Atualmente, para desenvolver ambientes para o ensino a distância são utilizados os conceitos de Inteligência Artificial Distribuída, mais precisamente o conceito de sistemas multiagentes, com a finalidade de aprimorar e monitorar o ensino através da Internet. O sistema AME-A proposto por D’Amico é um exemplo de ambiente que utiliza a tecnologia de multiagentes. Ele é constituído de vários agentes inteligentes que atuam de forma concorrente e comunicam-se através de mensagens. Dessa maneira, transformam o sistema em um conjunto de agentes cooperantes em busca de um objetivo que é o de ensinar e/ou aprender. Este trabalho tem como objetivo utilizar o estudo e a abordagem de modelagem do sistema de ensino/aprendizagem definido por D’Amico no que se refere ao agente ferramentas para o professor. Propõe-se a desenvolver uma ferramenta que irá auxiliar o professor na distribuição de seus conhecimentos na Internet, armazenando as informações inseridas pelo professor bem como fornecer orientações a respeito de determinadas operações que o sistema realiza. Estas orientações também apresentam como foco os seguintes fatores: descrição da importância da motivação e interatividade num curso a distância, sugestões de metodologias de ensino que o professor pode usar nas suas aulas, orientações a respeito de avaliação do aprendizado do aluno, dicas sobre conteúdos de materiais complementares às aulas e por fim, menciona exemplos de ferramentas em modo texto e multimídia que podem ser utilizadas para comunicação.
Resumo:
Como o mercado está se transformando cada vez mais em mercado de commodities, onde que o cliente percebe muito pouco as diferenças técnicas entre os produtos concorrentes, aumenta a necessidade de criação de vantagem diferencial através de valor adicionado. A principal fonte deste valor é, cada vez mais, o serviço prestado ao cliente. Fornecer um serviço de qualidade superior a de seus concorrentes é uma forma de diferenciar a empresa, que pode dar uma vantagem competitiva e levar a um nível superior de vendas e de desempenho de lucros. Assim sendo, o prestador de serviços precisa identificar as expectativas dos clientes ao que concerne à qualidade. Baseando-se na importância de conhecer as expectativas dos clientes, desenvolve-se o presente estudo de caso com o objetivo de identificar os atributos ou dimensões da qualidade dos serviços de telecomunicações prestados pela Brasil Telecom – Filial Rio Grande do Sul, que afetam a satisfação dos clientes corporativos. Também são avaliados o grau de importância destes atributos e o desempenho dos mesmos em relação à concorrência a partir da percepção dos clientes. Para a identificação dos atributos da qualidade é empregada a pesquisa exploratória e na avaliação dos atributos pesquisa quantitativa. Utilizou-se a Matriz Importância versus Desempenho de Slack (1993) como ferramenta para análise dos dados coletados e verificar a posição da empresa em relação aos concorrentes.
Resumo:
Neste trabalho foi modelado um reator catalítico heterogêneo, pressurizado, adiabático e provido de reciclo. O leito deste reator está dividido em duas partes, sendo que a primeira opera como um reator trickle-bed, enquanto a segunda opera como um reator de leito fixo, onde os regentes estão em fase líquida. Um Sistema de Hidrogenação de Propeno em operação no Pólo Petroquímico do Sul foi utilizado para fornecer os dados necessários à validação do modelo proposto. Neste sistema, a reação de hidrogenação de propeno, em fase líquida, ocorre sobre um catalisador níquel/óxido de níquel. Uma equação, que representa a taxa da reação no intervalo de temperatura de interesse para o sistema, foi desenvolvida utilizando-se dados experimentais obtidos em um reator batelada. O comportamento termodinâmico foi representado através de dados de equilíbrio do sistema binário hidrogênio-propano. Considerou-se que a fase líquida escoa em plug-flow e a fase gasosa, devido à existência de um selo líquido no interior do reator, foi considerada estagnada.
Resumo:
O presente estudo tem como objetivos: contribuir para o desenvolvimento de oito espécies do gênero Trifolium L., Trifolium incamatum L., Trifolium polymorphum Poir, Trifolium pratense L., Trifolium repens L., trifolium resupinatum L., Trifolium riograndense Burkart, Trifolium subterraneum L. e Trifolium vesiculosum Savi, através da caracterização da variabilidade isoenzimática presente em quatro sistemas enzimáticos, Fosfoglicoisomerase (PGI), Esterase (EST), Malato desidrogenase (MDH) e Superóxido dismutase (SOD) e fornecer subsídios para futuros trabalhos de melhoramento de plantas forrageiras.
Resumo:
Muitos problemas de Dinâmica em Economia se encaixam dentro de uma estrutura de modelos de decisão seqüencial, sendo resolvidos recursivamente. Programação Dinâmica uma técnica de otimização condicionada que se encarrega de solucionar problemas desse tipo. Esse trabalho tem como objetivo apresentar uma resenha dos principais resultados teóricos em Programação Dinâmica. Os métodos da Programação Dinâmica são válidos tanto para problemas determinísticos como para os que incorporam variável incerteza. esperada objetividade de uma dissertação de Mestrado, no entanto, nos impediu de extender análise, deixando assim de considerar explicitamente neste trabalho modelos estocásticos, que teria enriquecido bastante parte destinada aplicações Teor ia Econômica. No capítulo desenvolvemos instrumental matemático, introduzindo uma série de conceitos resultados sobre os quais se constrói análise nos capítulos subsequentes. Ilustramos tais conceitos com exemplos que seguem um certo encadeamento. Nas seções 1.1 1.2 apresentamos as idéias propriedades de espaços métricos espaços vetoriais. Na seção 1.3, prosseguimos com tópicos em análise funcional, introduzindo noção de norma de um vetor de espaços de Banach. seção 1.4 entra com idéia de contração, Teor ema do Ponto Fixo de Banach e o teor ema de Blackwell. O Teorema de Hahn-Banach, tanto na sua forma de extensão quanto na sua forma geométrica, preocupação na seção 1.5. Em particular, forma geométrica desse teorema seus corolários são importantes para análise conduzida no terceiro capítulo. Por fim, na seção 6, apresentamos Teorema do Máximo. Ao final deste capítulo, como também dos demais, procuramos sempre citar as fontes consultadas bem como extensões ou tratamentos alternativos ao contido no texto. No capítulo II apresentamos os resultados métodos da Programação Dinâmica em si seção 2.1 cuida da base da teoria, com Princípio da Otimal idade de Eellman e a derivação de um algoritmo de Programação Dinâmica. Na seção 2.2 mostramos que esse algoritmo converge para função valor ótima de um problema de horizonte infinito, sendo que esta última satisfaz chamada Equação de Bellman. seção seguinte se preocupa em fornecer caracterizaçBes para função valor mencionada acima, mostrando-se propriedades acerca de sua monotonicidade concavidade. seção 2.4 trata da questão da diferenciabi idade da função valor, que permite se obter alguns resultados de estática Cou dinâmica} comparativa partir da Equação de Bellman. Finalmente, na seção 2.5 apresentamos uma primeira aplicação Teoria Econômica, através de um modelo de crescimento econômico ótimo. No capítulo III introduzimos uma outra técnica de otimização Programação Convexa- mostramos dificuldade em se tentar estabelecer alguma relação de dominância entre Programação Dinâmica Programação Convexa. Na seção 3.2 "apresentamos os Teoremas de Separação, dos quais nos utilizamos na seção seguinte para demonstrar existência de Multiplicadores de Lagrange no problema geral da Programação Convexa. No final desta seção dizemos porque não podemos inferir que em espaços de dimensão infinita Programação Convexa não pode ser aplicada, ao contrário da Programação Dinâmica, que evidenciaria uma dominancia dessa última técnica nesses espaços. Finalmente, capítulo IV destinado uma aplicação imediata das técnicas desenvolvidas principalmente no segundo capítulo. Com auxílio dessas técnicas resolve-se um problema de maximização intertemporal, faz-se uma comparação dos resultados obtidos através de uma solução cooperativa de uma solução não-cooperativa.
Resumo:
Nesta dissertação realizou-se um experimento de Monte Carlo para re- velar algumas características das distribuições em amostras finitas dos estimadores Backfitting (B) e de Integração Marginal(MI) para uma regressão aditiva bivariada. Está-se particularmente interessado em fornecer alguma evidência de como os diferentes métodos de seleção da janela hn, tais co- mo os métodos plug-in, impactam as propriedades em pequenas amostras dos estimadores. Está-se interessado, também, em fornecer evidência do comportamento de diferentes estimadores de hn relativamente a seqüência ótima de hn que minimiza uma função perda escolhida. O impacto de ignorar a dependência entre os regressores na estimação da janela é tam- bém investigado. Esta é uma prática comum e deve ter impacto sobre o desempenho dos estimadores. Além disso, não há nenhuma rotina atual- mente disponível nos pacotes estatísticos/econométricos para a estimação de regressões aditivas via os métodos de Backfitting e Integração Marginal. É um dos objetivos a criação de rotinas em Gauss para a implementação prática destes estimadores. Por fim, diferentemente do que ocorre atual- mente, quando a utilização dos estimadores-B e MI é feita de maneira completamente ad-hoc, há o objetivo de fornecer a usuários informação que permita uma escolha mais objetiva de qual estimador usar quando se está trabalhando com uma amostra finita.
Resumo:
Esta dissertação visa investigar a estrutura de custos do setor aéreo doméstico brasileiro. A fim de realizar essa investigação com maior detalhamento, faz-se, respectivamente, nos capítulos 1 e 2, descrições histórica e econômica desse setor. Essa investigação permitirá dar uma resposta a polêmica sobre a quantidade de empresas que esse setor comporta; além disso, fornecerá indicações de políticas públicas, para que se possa fazer uma melhor avaliação de possíveis mudanças no comportamento das empresas aéreas existentes.
Resumo:
O modelo atual de desenvolvimento que está baseado na capacidade inesgotável do ambiente em fornecer energia e matéria, passa a ser cada dia menos viável quando se avalia a situação a ser deixada para as futuras gerações. A utilização de fontes não-renováveis de energia, como o petróleo e seus derivados, tem proporcionado elevados índices de desenvolvimento em algumas nações, mas também tem causado sérios impactos ao meio ambiente. Já na década de 70, as crises relacionadas à volatilidade nos preços do petróleo e a força dos movimentos ambientalistas trouxeram a necessidade de uma nova orientação para as questões energéticas em geral, estimulando a busca por fontes renováveis de energia e, entre elas, alternativas no setor agrícola para produção de biocombustíveis. Sendo assim, diversos biocombustíveis vêm sendo testados em todo o país, sendo que um deles, o biodiesel, vem tendo seu interesse retomado nos últimos anos. O biodiesel é um produto obtido da transesterificação de óleos e gorduras de origem vegetal, animal ou residual, que possui características muito semelhantes ao diesel do petróleo. O biodiesel pode ser utilizado puro ou misturado ao óleo diesel em diferentes proporções, sendo que seu maior atrativo é o fato de ser um combustível renovável e menos poluente. Entretanto, o fato de uma tecnologia ser científica e tecnicamente viável não garante que ela seja socialmente aceita pelo mercado e que se torne um produto comercial de sucesso, já que fatores sociais, políticos, econômicos e psicológicos interferem na capacidade dos agentes de avaliar as alternativas disponíveis e tomar decisões. Diante disso, este trabalho visa analisar as alternativas de constituição da cadeia produtiva do biodiesel no Brasil na perspectiva dos centros de P&D e, dessa forma, constatar junto a especialistas as questões fundamentais que têm sido consideradas na análise de viabilidade técnica, econômica e socioambiental da produção e comercialização deste produto. Para tanto, procurou-se identificar os principais elementos de viabilidade a serem abordados junto aos centros de P&D e, por meio de entrevistas em profundidade, delinear alternativas de configuração da cadeia produtiva do biodiesel no Brasil.
Resumo:
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.
Resumo:
O presente estudo tem como objetivo analisar a relação entre pobreza rural e degradação ambiental, a fim de comprovar ou refutar a hipótese de que a pobreza é a maior causa da degradação ambiental. Tal hipótese, citada pelo mainstream do Desenvolvimento Sustentável, afirma que a relação entre pobreza e degradação ambiental acontece sob a forma de uma armadilha ou de um círculo vicioso e, nesse sentido, políticas que visem aliviar a condição de pobreza têm, necessariamente, impactos positivos sobre o meio ambiente. Para comprovar ou refutar tal hipótese, a área de estudo compreende os municípios de Machadinho e Maximiliano de Almeida, ambos situados na mesoregião Noroeste do Rio Grande do Sul. Com base nas entrevistas com 48 agricultores, 24 em cada município, foi formado um banco de dados, contemplando vários indicadores socioeconômicos, e indicadores de preservação e degradação ambiental. Com isso, foram estimados diversos modelos não-lineares de regressão (probit), tendo variáveis binárias como dependentes, expressando a degradação ambiental, e os diversos indicadores socioeconômicos como variáveis independentes, expressando as situações de pobreza rural. Também foram estimados os impactos do acesso a mercado, informação, crédito e assistência técnica sobre as probabilidades de degradação ambiental, a fim de fornecer subsídios para a formulação de políticas de combate à pobreza e preservação do meio ambiente. Os resultados encontrados sugerem que a relação entre pobreza rural e degradação ambiental, nos municípios estudados, não é direta e expressiva, como reza a teoria do mainstream sobre o tema. Muito pelo contrário, a relação é ambígua e, nesse sentido, refuta-se a hipótese de que tal relação apresenta-se na forma de uma armadilha ou de um círculo vicioso, bem como de que melhorias nas condições socioeconômicas dos agricultores têm, necessariamente, impactos positivos sobre o meio ambiente.
Resumo:
A presente pesquisa teve como objetivo investigar vivências e concepções de folclore e música folclórica de alunos de 9 a 11 anos do ensino fundamental. A revisão da literatura encontra-se no primeiro capítulo, no qual procurei apresentar pesquisas e estudos recentes em educação musical, cuja crescente tendência tem sido aproximar o ensino de música das vivências cotidianas dos alunos, e pesquisas sobre folclore e folclore na educação. O referencial teórico, apresentado no segundo capítulo, é constituído pela soma de três perspectivas distintas, porém complementares: modelos de ensino escolar, a partir dos estudos de Pérez Gómez (1998a, 1998b, 1998c, 1998d, 1998e, 2001), o folclore (ALMEIDA, 1971; BENJAMIN, 2002; CÂMARA CASCUDO, 1984; GARCIA, 2000; LIMA, 1985) e propostas de inclusão do folclore na escola, onde utilizo como base a Carta do Folclore Brasileiro de 1951 e a Carta do Folclore Brasileiro de 1995. A metodologia da pesquisa é apresentada no terceiro capítulo. O método escolhido para conduzir esta investigação foi o survey interseccional de pequeno porte. Através de procedimentos de amostragem por estratos e amostragem aleatória simples, foram selecionados 11 alunos da Rede Municipal de Ensino de Porto Alegre. Os dados foram coletados por meio de entrevista semi-estruturada. O terceiro capítulo também inclui os procedimentos de análise de dados O quarto capítulo é destinado à apresentação dos resultados da pesquisa. Inclui informações sobre as vivências e concepções de folclore e música folclórica dos alunos investigados, além de informações sobre a educação musical existente nas escolas cujos alunos foram pesquisados. No final do capítulo encontra-se uma síntese dos resultados, onde destaco os principais padrões encontrados nesta pesquisa, bem como as relações existentes entre as categorias de análise. Na Conclusão são apresentadas as contribuições deste trabalho para a área de educação musical, onde enfatizo a necessidade de se estabelecer uma interlocução entre o ensino escolar e o folclore, numa tentativa de fornecer subsídios para a construção de alternativas de inclusão do folclore no ensino escolar.
Resumo:
Avaliação de desempenho de malhas de controle, na abordagem baseada em controle com variância mínima, é uma tecnologia bastante promissora e de grandes potencialidades. No entanto ainda não é devidamente explorada no meio científico nacional e muito menos em nível industrial. Neste trabalho é apresentado um estudo abrangente na área de avaliação de desempenho de malhas de controle. Um vasto levantamento bibliográfico é feito e os fundamentos teóricos necessários para o entendimento das técnicas existentes são detalhadamente desenvolvidos. As características positivas e as principais falhas são apontadas. Diferentes abordagens são propostas, técnicas complementares à avaliação de desempenho baseada em variância mínima são sugeridas e questões de cunho prático são levantadas. Simulações e estudo de casos reais são levados a cabo, nos casos SISO e MIMO, com a finalidade de colocar em prática os procedimentos estudados, fornecer subsídios a uma avaliação crítica dos métodos apresentados e também possibilitar conclusões a respeito dos resultados obtidos. Como resultado, este trabalho introduz o assunto no meio acadêmico nacional, fornece diretrizes para a implementação industrial das técnicas apresentadas e demonstra, através da interpretação de resultados obtidos, que esta tecnologia é valiosa no sentido que pode resultar em grande retorno econômico ao resolverem-se os problemas detectados nos diagnósticos produzidos pela análise de desempenho de malhas de controle.
Resumo:
A tecnologia de processos de desenvolvimento de software ´e uma importante área de estudo e pesquisas na Engenharia de Software que envolve a construção de ferramentas e ambientes para modelagem, execução, simulação e evolução de processos de desenvolvimento de software, conhecidos como PSEEs (do inglês: Process-Centered Software Engineering Environments). Um modelo de processo de software é uma estrutura complexa que relaciona elementos gerenciáveis (i.e. artefatos, agentes, e atividades) que constituem o processo de software. Esta complexidade, geralmente, dificulta a percepção e entendimento do processo por parte dos profissionais envolvidos, principalmente quando estes profissionais têm acesso apenas a uma visão geral do modelo. Desta forma, há necessidade de mecanismos para visualização e acompanhamento dos processos, fornecendo informações adequadas aos diferentes estados, abstraindo as informações relevantes tanto as fases presentes no processo de desenvolvimento quanto ao agente envolvido, além de facilitar a interação e o entendimento humano sobre os elementos do processo. Estudos afirmam que a maneira como são apresentadas as informações do modelo de processo pode influenciar no sucesso ou não do desenvolvimento do software, assim como facilitar a adoção da tecnologia pela indústria de software. Este trabalho visa contribuir nas pesquisas que buscam mecanismos e cientes para a visualização de processos de software apresentando a abordagem APSEE-Monitor destinada ao apoio a visualização de processos de software durante a sua execução. O principal objetivo desta pesquisa é apresentar um modelo formal de apoio a visualização de processos capaz de extrair dados de processos e organizá-los em sub-domínios de informações de interesse do gerente de processos. Neste trabalho aplica-se o conceito de múltiplas perspectivas como uma estratégia viável para a abstração e organização das informações presentes no modelo de processos. A solução proposta destaca-se por estender a definção original de perspectivas e fornecer uma estratégia de extração dos dados através de uma especificação formal utilizando o paradigma PROSOFT-Algébrico. Além disso, o trabalho apresenta um conjunto de requisitos relativos a interação entre gerentes de processos e PSEEs, a definição formal das perspectivas, uma gramática que define a linguagem de consulta aos processos, e um protótipo da aplicação.