Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana

O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment on Euclidean Geometry, desenvolvido para validar as idéias utilizadas em sua especificação. Nos últimos anos, tem-se observado uma crescente evolução dos sistemas de ensino e aprendizagem informatizados. A preocupação com o desenvolvimento de ambientes cada vez mais eficientes, tanto do ponto de vista computacional quanto pedagógico, tem repercutido em um salto de qualidade dos software educacionais. Tais sistemas visam promover, auxiliar e motivar a aprendizagem das mais diversas áreas do conhecimento, utilizando técnicas de Inteligência Artificial para se aproximarem ao máximo do comportamento de um tutor humano que se adapte e atenda às necessidades de cada aluno. A Geometria pode ser vista sob dois aspectos principais: considerada como uma ciência que estuda as representações do plano e do espaço e considerada como uma estrutura lógica, onde a estrutura matemática é representada e tratada no mais alto nível de rigor e formalismo. Entretanto, o ensino da Geometria, nos últimos anos, abandonou quase que totalmente sua abordagem dedutiva. Demonstrações de teoremas geométricos não são mais trabalhadas na maioria das escolas brasileiras, o que repercute em um ensino falho da Matemática, que não valoriza o desenvolvimento de habilidades e competências relacionadas à experimentação, observação e percepção, realização de conjecturas, desenvolvimento de argumentações convincentes, entre outras. Levando-se em conta este cenário, desenvolveu-se o LEEG, um sistema para a aprendizagem de demonstrações geométricas que tem como objetivo auxiliar um aprendiz humano na construção de demonstrações da Geometria Euclidiana Plana. O sistema foi modelado sobre uma adaptação do protocolo de aprendizagem MOSCA, desenvolvido para suportar ambientes de ensino informatizados, cuja aprendizagem é baseada na utilização de exemplos e contra-exemplos. Este protocolo propõe um ambiente de aprendizagem composto por cinco agentes, dentre os quais um deles é o aprendiz e os demais assumem papéis distintos e específicos que completam um quadro de ensino-aprendizagem consistente. A base de conhecimento do sistema, que guarda a estrutura lógica-dedutiva de todas as demonstrações que podem ser submetidas ao Aprendiz, foi implementada através do modelo de autômatos finitos com saída. A utilização de autômatos com saída na aplicação de modelagem de demonstrações dedutivas foi extremamente útil por permitir estruturar os diferentes raciocínios que levam da hipótese à tese da proposição de forma lógica, organizada e direta. As demonstrações oferecidas pelo sistema são as mesmas desenvolvidas por Euclides e referem-se aos Fundamentos da Geometria Plana. São demonstrações que priorizam e valorizam a utilização de objetos geométricos no seu desenvolvimento, fugindo das demonstrações que apelam para a simples manipulação algébrica e que não oferecem uma construção significativa do ponto de vista da Geometria. Porém, mesmo sendo consideradas apenas as demonstrações contidas em Elements, todos os diferentes raciocínios para uma mesma demonstração são aceitos pelo sistema, dando liberdade ao aprendiz no processo de construção da demonstração.

Segurança em área urbana central : configuração, forma urbana e usuários

Esta dissertação trata da configuração e forma urbana associada à segurança dos usuários, em área central urbana da cidade de Pelotas, RS. Considera especificamente relações entre ocorrência de crimes, níveis de satisfação do usuário com a segurança e aspectos contextuais como tipo habitacional, conexões visuais e funcionais, possibilidade de refúgio, territorialidade, iluminação noturna, potencial de movimento e aparência. Ainda são examinadas as relações envolvendo aspectos composicionais como gênero, faixa etária, além de interação social. A base teórico-conceitual utilizada compreende a área de estudos Ambiente e Comportamento, a qual considera o comportamento e as atitudes dos usuários como indicadores de desempenho espaciais; portanto, como aspectos principais na avaliação da qualidade do espaço urbano, incluindo a segurança. Dessa forma, diferentes métodos, tais como informações de arquivo, questionários, levantamento físico e análise sintática, são utilizados para identificar, analisar e avaliar as relações pré-estabelecidas. Nesta investigação, contata-se a existência de efeitos no comportamento e na satisfação dos usuários com a área urbana estudada; reconhece-se que estes avaliam o ambiente de acordo com a percepção de segurança. Os principais resultados sugerem que de fato aspectos da configuração e da forma urbana tendem a aumentar a vulnerabilidade quanto ao crime, influenciando a qualidade do espaço urbano e seu potencial de uso. A relevância do tema abordado é evidenciada pela necessidade de intervenções físicas e projetos urbanos para melhorar a segurança da população; assim sendo, o uso do espaço e a qualidade de vida urbana.

Resiliência e vulnerabilidade em famílias em situação de risco

Esta tese consiste em dois estudos qualitativos, que investigam os processos de resiliência e vulnerabilidade em três famílias - uma nuclear, uma reconstituída e uma uniparental, que vivem em condições adversas. Foram incluídas famílias com diferentes configurações com o objetivo de analisar a influência deste aspecto para os processos de resiliência e vulnerabilidade. Fatores de risco e proteção em nível intra e extrafamiliar foram analisados, com base na teoria dos sistemas ecológicos. A condição de risco foi determinada a priori a partir da situação de pobreza destas famílias e da violência existente na comunidade na qual elas vivem. O objetivo do primeiro estudo foi apresentar o método de inserção ecológica e os dados obtidos por meio dele, analisando o contexto no qual vivem as famílias. A inserção ecológica consistiu no acompanhamento das famílias, por quatro anos, pela equipe de pesquisa na comunidade, e incluiu observações, conversas informais e entrevistas formais com os membros das famílias. O objetivo do segundo estudo foi analisar os processos de vulnerabilidade e resiliência familiar através do método de estudo de caso com as três famílias, nos quais foram examinados diversos aspectos, como práticas educativas, qualidade da parentalidade, experiência dos pais em suas famílias de origem, apoio conjugal e social. A análise dos dois estudos permitiu identificar diversos fatores de risco e proteção, internos e externos a cada uma das famílias. A pobreza e a violência existente na comunidade tendem a potencializar os efeitos negativos associados com fatores de risco internos à família, como a violência doméstica, o alcoolismo e a depressão materna. No entanto, na ausência destes fatores, a pobreza e a violência não atuam como risco para estas famílias, uma vez que parecem ser moderadas pela presença de fatores de proteção, tanto internos como externos à família, como as características pessoais dos seus membros, a coesão familiar e o apoio conjugal/social. A interação destes fatores de proteção contribui para a promoção da resiliência, tanto através de um processo compartilhado pela família como um todo, como através de processos individuais. A inserção da equipe de pesquisa na comunidade e nas histórias das famílias possibilitou uma intervenção, pois foi possível compartilhar das relações familiares, conhecer as dificuldades enfrentadas por elas no cotidiano e promover reflexão e insight, que proporcionaram bem-estar, apoio emocional e instrumental e melhoria da qualidade de vida. Tal inserção garantiu a validade ecológica da tese.

Impacto financeiro e a percepção dos munícipes nas emancipações de Torres, Guaíba e Feliz

Resumo não disponível.

Desenvolvimento de instrumentos para a avaliação de coping em adolescentes brasileiros

Coping é o processo cognitivo utilizado pelos indivíduos para lidar com situações de estresse e inclui esforços para administrar problemas no seu cotidiano. Este conceito também tem sido amplamente estudado por estar associado à saúde e à adaptabilidade social. Coping apresenta, portanto, fundamental importância para estudos de vulnerabilidade e resiliência, indicando a necessidade da elaboração de instrumentos fidedignos e válidos para sua avaliação em populações brasileiras. O presente estudo visou desenvolver instrumentos para avaliar coping e prover uma contribuição teórica para seu estudo a partir do modelo de Aproximação-Evitação. O resultado deste trabalho consistiu na adaptação do Questionário de Coping em Diferentes Situações (Kavsek & Seiffge-Krenke, 1996) para o português e na elaboração do Inventário Multidimensional de Coping. Achados complementares deste estudo mostraram a influência de traços de personalidade e depressão sobre respostas de coping, bem como a relação entre o tipo de estratégia de coping utilizado e bem-estar subjetivo

Espaços abertos : indicadores da apropriação interna e a adaptação dos usos do entorno

Este estudo consiste na formação de indicadores de apropriação ou qualidade dos espaços livres abertos, as praças, relacionando características de âmbito local e global na composição dos mesmos. A busca destes indicadores tem como objetivo, agregar facilidades no trabalho de decisores além de auxiliar o entedimento das praças no processo urbano. São investigadas questões relativas à densidade, centralidade, integração, homogeneidade social e política, características físicas, ambientais e equipagem. Para este estudo foram utilizados metodologias e trabalhos disponíveis, como o estudo da centralidade para a cidade de Porto Alegre, além da análise da configuração sócio-espacial com auxílio da análise sintática, entre outras fontes. O resultado do estudo aparece em forma de uma expressão, a “Sinergia Complexa”, que é o somatório dos indicadores isolados, e aplicados a três estudos de casos exploratórios, todas praças da cidade de Porto Alegre.

A percepção sobre as mudanças nas funções do médico do trabalho : um estudo de caso

Este trabalho, baseado em estudo exploratório, pretende analisar as alterações ocorridas, ao longo dos anos, nas funções do médico do trabalho e como estas mudanças são percebidas pelo profissional. Para isto, descreve as funções tradicionais do médico do trabalho; identifica as mudanças que ocorreram e que possibilitam ou criam novas funções para o médico do trabalho e relata a percepção do médico do trabalho em relação a estas mudanças. Faz isto, enfocando a condição dos profissionais médicos do trabalho nos seguintes aspectos: 1. Histórico 2. Gerenciamento de Recursos Humanos 3. As práticas médicas 4. A formação profissional 5. Perfil dos profissionais 6. Relacionamento interno do serviço 7. Relacionamento externo (em relação à empresa) do serviço 8. As alternativas de gestão para a área de saúde ocupacional. Foram utilizadas para o levantamento de dados, as técnicas de entrevista em profundidade, com um médico do trabalho da empresa com muitos anos de atuação na área e, questionários aplicados individualmente com os demais pesquisados. Feito isto, os dados foram tabulados, analisados e comparados com a bibliografia existente. Por fim, já na fase final, o trabalho indica, preliminarmente, algumas alternativas para a atuação da empresa e do RH no sentido de otimizar os resultados da área. v A apuração dos resultados apontou para situações que sugerem um descompasso entre a evolução e as alterações ocorridas nos últimos anos nas funções do médico do trabalho e as condições e práticas que o profissional tem para desenvolver seu trabalho. Os profissionais indicam alternativas para a melhoria do desempenho do serviço. Nesta dissertação, também, são apresentadas desde deficiências na formação do médico do trabalho passando pelas necessidades, na visão destes médicos pesquisados, para melhorar o desempenho do serviço até o relacionamento dos profissionais com os diversos departamentos da empresa e com as instituições com as quais estão envolvidos.

Uma metodologia para adaptação e melhoria de produtos a partir da engenharia reversa

O tema desta dissertação de mestrado é o estudo da Engenharia Reversa como ferramenta de suporte à melhoria e adaptação de produtos. A partir de conceitos teóricos sobre desenvolvimento de produtos e melhoria de processos, propõe-se uma metodologia para adaptação de produtos destinados à exportação. A metodologia proposta consiste de oito passos, contemplando etapas de identificação e priorização das demandas de adaptação de produtos e elencando ferramentas auxiliares no atingimento dos objetivos desejados. A etapa inicial deste trabalho consiste de uma revisão bibliográfica dividida em duas partes: (i) adaptação de produtos através da utilização da Engenharia Reversa e seus habilitadores, e (ii) ferramentas para melhoria de processos. Os tópicos contemplados em (ii) incluem ferramentas para o mapeamento de processos de manufatura e para a sua melhoria. Destaque especial é dado ao Desdobramento da Função Qualidade – QFD (Quality Function Deployment), a Análise de Modos e Efeitos de Falhas (FMEA – Failure Mode and Effect Analysis) e às Cartas de Processos. Na seqüência, apresentam-se os passos da metodologia proposta para a adaptação de produtos às demandas de mercado utilizando a Engenharia Reversa e seus habilitadores. Finalmente, os passos metodológicos são aplicados a um caso prático, cujo objetivo é a adaptação de um pincel, produzido por uma empresa gaúcha, às demandas de um distribuidor alemão de ferramentas manuais.

Simulação do protocolo de adaptação ATM tipo 2 (AAL2)

Este trabalho descreve o protocolo de adaptação ATM do tipo 2 (AAL2), e expõe as mudanças que foram realizadas no simulador de rede ATM com a finalidade de estudá-lo. É proposto que se conheça melhor este novo padrão, planejado para baixa taixa de transferência e multiplexação de usuários e pode contribuir nos serviços de tráfego de voz, quando ocorre a integração de diversas aplicações que é o objetivo da B-ISDN. Após algumas explanações sobre o ATM em geral, é descrita de forma detalhada a recomendação I.362 que padroniza o novo AAL. É explicado o comportamento da máquina de estados de transmissão, e como ocorre a temporização para carregar diversos pacotes de voz numa mesma célula. Como foi idealizado para a classe de serviços do tipo VBR em tempo real, comentam-se alguns mecanismos próprios do AAL2 para controle de tráfego e sua influência. Descreve-se a subcamada SSCS proposta para pacotes longos, recentemente padronizada. São apresentados alguns artigos e estudos realizados sobre o AAL2 que descreve quantitativamente o ganho esperado pelo protocolo e levanta algumas questões comparando-o ao AAL1. Por ter sido inicialmente uma necessidade da telefonia celular, realiza-se um breve comentário de estudos dirigidos para a área. Com o intuito de realizar a simulação do protocolo, foi utilizado o simulador de redes ATM, desenvolvido pelo NIST, que possui certas qualidades desejadas para este trabalho, porém, foram necessárias realizar modificações para implementar a camada AAL que não estava prevista na arquitetura original dele. Para se criar um ambiente de testes propício, e com a preocupação de não corromper o funcionamento padrão, foram criadas estruturas semelhantes às existentes e realizadas mudanças sutis, reconhecidas normalmente pelo simulador original. A partir destas simulações, pretende-se deixar uma ferramenta para fazer análises deste protocolo; utilizando modelos de tráfego de voz, a fim de obter informações do seu comportamento. No entanto, este estudo limitou-se somente a demonstrar a verificação e validação do simulador a partir dos resultados gerados. Para verificar a integridade do código fonte original foram utilizados os exemplos do próprio NIST e assim garantir que nada foi alterado. Além disso, o novo módulo foi comparado a norma através de um "debug". Na validação, devido ao fato de não existir uma rede real montada e disponível para testes, foram empregados artigos para comparar os resultados e demonstrar a boa aproximação obtida. Acredita-se que desta forma obteve-se o resultado desejado de um ambiente para estudo e compreensão do AAL2 e que, futuramente, pode ser usado para todos os protocolos da camada AAL.

Mecanismo de suporte à percepção em ambientes cooperativos

O objetivo deste trabalho é desenvolver um mecanismo para suporte à percepção de eventos no passado. Percepção pode ser conceituada como o conhecimento sobre as atividades do grupo, passadas, presentes e futuras, sobre o próprio grupo e seu status geral. Sem este conhecimento, o trabalho cooperativo coordenado e estruturado torna-se quase impossível. O suporte à percepção pode ser dividido em seis questões (o que, quando, como, onde, quem e quanto), analisadas sob ponto de vista de sistemas assíncronos e síncronos. A questão “quando” analisa o momento em que ocorre uma atividade, o que gera um evento, podendo ser no “passado”, “passado contínuo”, “presente” ou “futuro”. Uma atividade no “passado” é aquela que foi concluída em um momento passado e cujo registro interessa às outras atividades. Apesar de sua importância, o suporte à percepção de eventos no passado é ainda muito limitado nas ferramentas de groupware hoje disponíveis. Como conseqüência, situações como a ausência de um membro do grupo por um certo período de tempo não são tratadas. Como estas situações de ausência são bastante comuns, durante o trabalho em grupo, o seu tratamento é fundamental em um groupware. Desta forma, a ausência de membros do grupo exige a contextualização não apenas daqueles que continuam no trabalho, mas, principalmente, daqueles que retornam ao ambiente cooperativo. Neste trabalho, é apresentado um mecanismo flexível para o suporte à percepção de eventos no passado destinado a cobrir a referida contextualização. Este mecanismo foi construído na forma de um framework, projetado para ser flexível a ponto de poder ser incluído em qualquer ferramenta de groupware, desde que seu autor o queira. Este framework, chamado de BW (Big Watcher), foi organizado em quatro pacotes: três independentes, que trocam informações, descritas no quarto pacote, através somente de classes de fachada. Estas informações são essencialmente eventos, os quais representam as atividades realizadas e já concluídas por algum membro desempenhando um papel dentro do grupo. Estas atividades são registradas pelo groupware junto ao framework, de modo que este groupware possa, através do framework, contextualizar seus membros. Além disso, o groupware também pode especializar várias classes dentro do framework BW, como a descrição dos papéis e a própria descrição dos eventos. Assim, este framework pode ser integrado a qualquer ferramenta de groupware em ambiente assíncrono que necessite de um mecanismo para o suporte à percepção de eventos no passado, para evitar que situações de ausência prejudiquem o andamento dos trabalhos. Finalmente, foi implementado e testado o framwork BW sobre o groupware CUTE/COPSE para validar as idéias desta dissertação.

Uma proposta de adaptação de regras do futebol para crianças

Apresenta-se no trabalho uma proposta de adaptação das regras do futebol para crianças, envolvendo alterações nas dimensões da bola, do campo e das metas e na duração das partidas. A medida para as alterações baseou-se na teoria da similaridade biológica. Foi realizado um trabalho de comparação entre características selecionadas do jogo de futebol adulto com o jogo infantil seguindo as regras modificadas. Os dois tipos de jogos integravam competições. As crianças participantes do experimento foram meninos de até 11 anos completos de idade. Concluiu-se que, seguindo-se as regras adaptadas, o jogo infantil apresentou muitas características semelhantes às do jogo adulto.

Adaptação dinâmica do timeout de detectores de defeitos através do uso de séries temporais

Uma aplicação distribuída freqüentemente tem que ser especificada e implementada para executar sobre uma rede de longa distância (wide-área network-WAN), tipicamente a Internet. Neste ambiente, tais aplicações são sujeitas a defeitos do tipo colapso(falha geral num dado nó), teporização (flutuações na latência de comunicação) e omissão (perdas de mensagens). Para evitar que este defeitos gerem comseqüências indesejáveis e irreparáveis na aplicação, explora-se técnicas para tolerá-los. A abstração de detectores de defeitos não confiáveis auxilia a especificação e trato de algoritmos distribuídos utilizados em sistemas tolerantes a falhas, pois permite uma modelagem baseada na noção de estado (suspeito ou não suspeito) dos componentes (objetos, processo ou processadores) da aplicação. Para garantir terminação, os algoritmos de detecção de defeitos costumam utilizar a noção de limites de tempo de espera (timeout). Adicionalmente, para minimizar seu erro (falasas suspeitas) e não comprometer seu desempenho (tempo para detecção de um defeito), alguns detectores de defeitos ajustam dinamicamente o timeout com base em previsões do atraso de comunicação. Esta tese explora o ajuste dinâmico do timeout realizado de acordo com métodos de previsão baseados na teoria de séries temporais. Tais métodos supõem uma amostragem periódica e fornececm estimativas relativamente confiáveis do comportamento futuro da variável aleatória. Neste trabalho é especificado uma interface para transformar uma amostragem aperiódica do atraso de ida e volta de uma mensagem (rtt) numa amostragem periódica, é analisado comportamento de séries reais do rtt e a precisão dee sete preditores distintos (três baseados em séries temporais e quatrro não), e é avaliado a influência destes preditores na qualidade de serviço de um detector de defeitos do estilopull. Uma arquitetura orientada a objetos que possibilita a escolha/troca de algoritmos de previsão e de margem de segurança é também proposta. Como resultado, esta tese mostra: (i) que embora a amostragem do rtt seja aperiódica, pode-se modelá-la como sendo uma série temporal (uma amostragem periódica) aplciando uma interface de transformação; (ii) que a série temporal rtt é não estacionária na maioria dos casos de teste, contradizendo a maioria das hipóteses comumente consideradas em detectores de defeitos; (iii) que dentre sete modelos de predição, o modelo ARIMA (autoregressive integrated moving-average model) é o que oferece a melhor precisão na predição de atrasos de comunicação, em termos do erro quadrático médio: (iv) que o impacto de preditores baseados em séries temporais na qualidade de serviço do detector de defeitos não significativo em relação a modelos bem mais simples, mas varia dependendo da margem de segurança adotada; e (v) que um serviço de detecção de defeitos pode possibilitar a fácil escolha de algoritmos de previsão e de margens de segurança, pois o preditor pode ser modelado como sendo um módulo dissociado do detector.

Aspectos da aquisição da vogal oral /a/ em língua espanhola por estudantes de língua portuguesa : a questão da percepção

No português brasileiro (PB) há basicamente dois tipos de nasalidade: a nasalidade dita fonológica é a marca de nasalidade obrigatória que recebe a vogal quando seguida por uma consoante nasal na mesma sílaba (como em ‘campo’); a nasalidade dita fonética é a marca de nasalidade que recebe a vogal de uma rima vazia seguida de uma consoante nasal no onset da sílaba seguinte (como em ‘cama’). Em língua espanhola (LEsp), considera-se que o traço [+ nasal] não tem relevância fonológica, apenas fonética. Entretanto, mesmo que ocorra alguma nasalização, esta é praticamente imperceptível para um falante nativo e também não é auditivamente relevante para os falantes não-nativos em geral. Devido à proximidade entre português e espanhol e considerando a grande quantidade de brasileiros estudantes de LEsp que nasalizam a vogal oral /a/ em LEsp quando seguida de consoante nasal, desejamos verificar se o estudante de graduação tem dificuldade em perceber esse segmento. Para isso, os sujeitos da pesquisa – estudantes do Curso de Graduação em Letras-Licenciatura da UFRGS de diferentes semestres e falantes nativos de LEsp (grupo de controle) – foram submetidos a dois testes de percepção – um constituído por um texto e outro por uma lista de palavras -, nos quais deveriam identificar se um som vocálico era nasal [ã] ou oral [a]. Com esses instrumentos e baseados nos estudos de Sampson (1999), Moraes (1997) e Beddor (1993) sobre nasalidade e percepção vocálica, desejamos verificar se os estudantes percebem categoricamente a distinção entre vogal nasal e não-nasal e também se os estudantes em níveis médio e avançado mostram uma percepção melhor do que a dos estudantes dos níveis básicos. Falantes nativos de LEsp foram submetidos aos testes para fins de controle da confiabilidade dos mesmos e para verificarmos até que ponto a nasalização indevida das vogais pode prejudicar a comunicação.

Determinação dos índices de vulnerabilidade física através de técnicas de sensoriamento remoto e geoprocessamento - Municípios de Tavares e São José do Norte - Litoral médio leste do RS.

Nos últimos anos a preocupação com a preservação dos recursos naturais, dos solo e das águas tem aumentado significativamente. Desta forma, a intensificação de estudos nestas áreas se faz necessária para tentar minimizar os impactos causados pela ação do homem, com vistas a recuperação. A área de estudo abrange os municípios de Tavares e S. José do Norte, situado no Litoral Médio Leste do Rio Grande do Sul, entre as coordenadas 31° 00’ e 32° 10’ de latitude Sul e 50° 00’ e 52° 10’ de longitude Oeste. Este trabalho busca fornecer subsídios para a identificação dos índices da vulnerabilidade física associados ao uso do solo da área de estudo visando a adequação do uso da terra, bem como o planejamento e o desenvolvimento de novas atividades. O estudo foi desenvolvido utilizando técnicas de sensoriamento remoto e geoprocessamento, onde os fatores foram cruzados via regra de decisão fazendo uso do SIG. Os resultados evidenciaram a necessidade de cuidados especiais no desenvolvimento de atividades sustentadas e ocupação humana.

Componentes de percepção para o ambiente PROSOFT cooperativo

A Engenharia de Software tornou-se uma das principais áreas de concentração do mundo da Ciência da Computação, pois ela abrange métodos para construir sistemas, ferramentas que fornecem apoio a construção e os procedimentos a seguir para que os métodos estejam de acordo com as ferramentas usadas [PRE 95]. No desenvolvimento de sistemas cada vez mais complexos vê-se a necessidade da utilização de equipes de pessoas no projeto e implementação. Essas pessoas podem estar geograficamente dispersas e portanto possuem a necessidade de troca de informações para que os sistemas desenvolvidos sejam adequados com o objetivo inicial e de qualidade. Assim, os sistemas cooperativos, chamados de groupware, tornaram-se uma importante ferramenta utilizada por esse grupo de profissionais para que as tarefas desenvolvidas em grupo se tornem interativas e eficientes. A interação entre as pessoas que estão trabalhando cooperativamente deve ser a mais produtiva possível, sendo semelhante ao trabalho em grupo em um único local. Assim, a percepção das atividades que estão sendo realizadas devem estar disponíveis para cada profissional, através da Interface Homem-Computador do sistema groupware que estão utilizando. Este trabalho apresenta uma “biblioteca” de Componentes de Percepção que fornecem as informações necessárias para que as pessoas que estão participando da tarefa cooperativa tenham a percepção das atividades que estão sendo realizadas, como também quem e como as estão fazendo. Esses componentes são uma extensão do Ambiente PROSOFT Cooperativo, fornecendo assim uma especificação formal de forma a garantir completeza, corretude e ausência de ambigüidades que são muito difíceis de se conseguir com uma descrição informal.