Biblioteca para a realização de security token services

A família de especificações WS-* define um modelo de segurança para web services, baseado nos conceitos de claim, security token e Security Token Service (STS). Neste modelo, a informação de segurança dos originadores de mensagens (identidade, privilégios, etc.) é representada através de conjuntos de claims, contidos dentro de security tokens. A emissão e obtenção destes security tokens, por parte dos originadores de mensagens, são realizadas através de protocolos legados ou através de serviços especiais, designados de Security Token Services, usando as operações e os protocolos definidos na especificação WS-Trust. O conceito de Security Token Service não é usado apenas no contexto dos web services. Propostas como o modelo dos Information Cards, aplicável no contexto de aplicações web, também utilizam este conceito. Os Security Token Services desempenham vários papéis, dependendo da informação presente no token emitido. São exemplos o papel de Identity Provider, quando os tokens emitidos contêm informação de identidade, ou o papel de Policy Decision Point, quando os tokens emitidos definem autorizações. Este documento descreve o projecto duma biblioteca software para a realização de Security Token Services, tal como definidos na norma WS-Trust, destinada à plataforma .NET 3.5. Propõem-se uma arquitectura flexível e extensível, de forma a suportar novas versões das normas e as diversas variantes que os Security Token Services possuem, nomeadamente: o tipo dos security token emitidos e das claims neles contidas, a inferência das claims e os métodos de autenticação das entidades requerentes. Apresentam-se aspectos de implementação desta arquitectura, nomeadamente a integração com a plataforma WCF, a sua extensibilidade e o suporte a modelos e sistemas externos à norma. Finalmente, descrevem-se as plataformas de teste implementadas para a validação da biblioteca realizada e os módulos de extensão da biblioteca para: suporte do modelo associado aos Information Cards, do modelo OpenID e para a integração com o Authorization Manager.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

Construção de obras de arte de médio vão através do método construtivo de viga de lançamento (V.L.)

O presente relatório de estágio enquadra-se no âmbito do Trabalho Final de Mestrado no curso de Engenharia Civil, perfil de Estruturas, do Instituto Superior de Engenharia de Lisboa. Desta forma, foi realizado um estágio na empresa Opway – Engenharia, com a duração de 16 semanas, com integração na Direcção Técnica e de Inovação desempenhando as funções de análise e acompanhamento de obras de arte especiais de médio vão. Pretende-se demonstrar, neste relatório, a grande especificidade deste tipo de construções quer ao nível do Dimensionamento como ao nível da Construção. Ao nível do processo de Dimensionamento são apresentados dois capítulos, um relativo ao projecto de alterações de uma Viga de Lançamento e outro relativo ao projecto de execução de um viaduto construído através deste tipo de cimbres. Desta forma, o Capítulo 2 aborda os principais factores a ter em consideração num caso de adaptação de um cimbre deste tipo, utilizado anteriormente num determinado tabuleiro, para um novo tabuleiro a realizar, com características necessariamente diferentes. Por sua vez, o Capítulo 5 prende-se com uma análise e descrição de um projecto de execução de um tabuleiro de um viaduto construído por este método construtivo. No âmbito de Construção, o Capítulo 3 aborda o método de funcionamento deste tipo de cimbres desde que chega ao local da empreitada, até à sua saída. O Capítulo 4 consiste numa avaliação de soluções para a construção de um tabuleiro, onde a solução inicial consistia na construção por avanços sucessivos enquanto que a solução variante, (adoptada), consiste na construção por lançamento incremental. Neste capítulo está demonstrada a variação de quantidades de materiais entre as duas soluções e consequentemente a sua tradução em valores monetários. Os casos de estudo, que serviram como base de trabalho, ao nível do acompanhamento da construção foram, o Viaduto ferroviário de alta velocidade “O Marco”, em Santiago de Compostela e o Viaduto sobre o Rio Águeda em Ciudad Rodrigo. Ao nível do aspecto de projecto, o caso em estudo foi do Viaduto sobre a Ribeira de Zacarias (V3), integrado na subconcessão do Douro Interior, Alfândega da Fé. Este relatório resulta da análise de documentos relativos aos diferentes tipos de projecto mencionados como também da oportunidade de realização de acompanhamento da construção deste tipo de obras de arte.

Influências do contexto da educação de infância na formação do conceito da criança como aprendiz

Os auto-conceitos das crianças são fortemente influenciados pelos “outros significativos” nas suas vidas. No contexto institucional do Jardim-de-infância, os educadores e os pares são os “outros significativos” com quem a criança interage em situações de aprendizagem. As auto-percepções da criança enquanto aprendiz podem ser influenciadas pelo seu desempenho e pelos julgamentos dos educadores e dos colegas. O presente estudo examina até que ponto os educadores e as crianças são realistas nos seus julgamentos e diferenciam entre as competências nos domínios da linguagem, matemática e desenho. Examina ainda de que modo as auto-percepções de competência das crianças reflectem o seu desempenho e/ ou as percepções dos educadores e dos colegas. Os participantes no estudo foram 47 crianças de cinco e seis anos de idade e as suas duas educadoras. As crianças foram avaliadas por testes e medidas de auto-percepção de competência em aprendizagem geral, linguagem, matemática e dese¬nho. As educadoras ordenaram cartões com o nome das crianças, da que julgavam ser “mais competente” para a que julgavam ser “menos compe¬tente” nos quatro domínios do estudo. Os resultados demonstraram que a representação implícita de inteligência das educadoras reflecte uma visão semelhante à indicada pelo teste de aprendizagem geral. A representação das educadoras sobre a capacidade geral das crianças para aprender é mais influenciada pela linguagem da criança do que pelas suas competências em matemática ou em desenho. Os resultados sugerem que as educadoras têm alguma influência na auto-percepção da criança como aprendiz. Sugerem ainda, que o modo como a criança se vê a si própria como “artista”, bem como a sua própria competência geral, influenciam a sua auto-percepção enquanto aprendiz.

Esterilização por óxido de etileno: I. Influência do meio de esporulação na resistência dos esporos de Bacillus subtilis var. niger

Tendo por meta a padronização das variáveis influenciando a resistência de esporos empregados no controle do processo esterilizante por óxido de etileno, foram obtidos esporos de Bacillus subtilis var. niger, em meio sólido e líquido sintético de esporulação. Tais esporos, após padronização quantitativa dos 12 lotes obtidos, foram submetidos a exposições subletais como bioindicadores, tendo o papel como suporte. Construiu-se, então, a curva de letalidade característica de cada lote. A análise estatística empregada não evidenciou diferenças entre resistência dos 10 lotes obtidos em meio sólido e os 2 em meio líquido sintético, ressaltando-se a vantagem quanto ao rendimento que caracterizou a primeira metodologia.

Perfil do idoso em área metropolitana na região sudeste do Brasil: resultados de inquérito domiciliar

Trata-se de estudo multicêntrico visando levantar as necessidades de saúde da população de idosos residentes em zona urbana, conduzido em 6 países na América Latina e coordenado pela Organização Panamericana da Saúde. No Brasil, 1.602 idosos (60 anos e +) residentes no Distrito de São Paulo, participaram de inquérito domiciliar com questionário de avaliação funcional multidimensional - amostra populacional aleatória, em múltiplos estágios, estratificada por nível socioeconômico. Os resultados mostraram uma população bastante carente (70% tinha uma renda per capita de menos de 100 dólares por mês), vivendo predominantemente em domicílios multigeracionais (59% viviam com os filhos e/ou com netos), com alta prevalência de doenças crônicas (somente 14% referiu não ter nenhuma doença) e distúrbios psiquiátricos (27% foram considerados casos psiquiátricos), e com uma elevada proporção de pessoas com perda de autonomia (47% precisavam de ajuda para realizar pelo menos uma das atividades da vida diária). Os resultados são analisados tendo em vista as demandas futuras por serviços de saúde especializados e suporte social por parte da crescente população de idosos no Brasil.

Retorno ao trabalho após revascularização do miocárdio

Seiscentos e setenta e dois pacientes, classificados em 4 estratos de 168 cada um, foram avaliados no quarto mês após revascularização miocárdica, por cirurgia de ponte de safena e/ou implantação de artéria mamária e angioplastia transluminal coronária com o intuito de verificar se retornaram ou não ao trabalho, e em que condições o fizeram. Os quatro estratos foram compostos segundo a ocupação/qualificação da seguinte forma: I- executivos; II-profissionais de nível universitário; III- técnicos de nível médio; IV- profissionais não ou semi qualificados. Objetivou-se verificar como as variáveis demográficas, educacionais, ocupacionais, procedimentos e suporte pós-operatório interferiram no retomo ao trabalho. Os resultados mostraram que o não-retorno aconteceu, em média, em 20,8% dos casos. Em cada um dos estratos, a proporção de não-retorno foi a seguinte: I = 11,9%; II= 15,5%; III= 26,2% e IV= 29,8%. Verificou-se naqueles submetidos à angioplastia que a proporção de não-retorno foi significativamente menor.

Técnicas de mineração de dados aplicadas ao mercado de capitais

Este trabalho tem como objectivo a criação de modelos, resultantes da aplicação de algoritmos e técnicas de mineração de dados, que possam servir de suporte a um sistema de apoio à decisão útil a investidores do mercado de capitais. Os mercados de capitais, neste caso particular a Bolsa de Valores, são sistemas que gera diariamente grandes volumes de informação, cuja análise é complexa e não trivial para um investidor não profissional. Existem muitas variáveis que influenciam a decisão a tomar sobre a carteira de acções (vender, manter, comprar). Estas decisões têm como objectivo a maximização do lucro. Assim, um sistema que auxilie os investidores na tarefa de análise será considerado uma mais-valia. As decisões de um profissional são normalmente baseadas em dois tipos de análise: Fundamental e Técnica. A Análise Fundamental foca-se nos indicadores da “saúde financeira” da empresa, tendo como base a informação disponibilizada pela mesma. Por outro lado , a Análise Técnica, que será o foco deste trabalho, assenta na observação de indicadores estatísticos construídos com base no comportamento passado da acção. O recurso a estas análises permite aos investidores obterem alguma informação sobre a tendência da acção (subida ou descida). As análises apresentadas requerem um bom conhecimento do domínio do problema e tempo, o que as torna pouco acessíveis, sobretudo para os pequenos investidores. Com o intuito de democratizar o acesso a este tipo de investimentos, este trabalho, recorre a algoritmos de mineração de dados, tais como, árvores de classificação e redes neuronais que possam servir de base à construção de um modelo de suporte a obstáculos que podem impedir o investidor comum de entrar na Bolsa, designadamente o tempo gasto na análise e a complexidade da mesma, entre outros. Para a criação de modelos capazes de responder às expectativas, são realizados diversos ensaios recorrendo a vários algoritmos e conjuntos de dados, na busca do que melhor se adequa ao problema. Contudo é de ressalvar que a decisão de investimento estará sempre do lado do investidor, uma vez que o modelo deve permitir unicamente alimentar um sistema de apoio.

Métodos construtivos da estação de metro da Reboleira e respectivas vias de ligação subterrâneas

Este relatório enquadra-se no Trabalho Final de Mestrado integrado no curso de Engenharia Civil, perfil de Edificações, do Instituto Superior de Engenharia de Lisboa. Para a sua elaboração foi realizado um estágio durante 5 meses, pela Zagope – Construções e Engenharia S.A., na obra pública “ML671/07 - concepção/construção dos toscos do prolongamento da linha Azul do Metropolitano de Lisboa, E.P. entre a Estação Amadora-Este e a Estação Reboleira”. Visando a contextualização da realidade da obra, o trabalho refere nos Capítulo 3 as condicionantes de projecto, bem como no Capítulo 4 as características geológicas – geotécnicas. O relatório objectiva a descrição dos processos construtivos da Estação Reboleira, Túneis e Poço de Ventilação, expressos na Capítulo 5. Estes temas são analisados nos subcapítulos 5.1, 5.2, e 5.3 respectivamente. No caso da Estação a análise inicia-se com o seu faseamento construtivo, seguindo-se os temas de escavação/suporte, laje de soleira, impermeabilização, bem como a contenção provisória dos acessos pedonais. A abordagem aos túneis é realizada no âmbito da contenção, contemplando temas como os emboquilhamentos, secções tipo de suporte, tratamentos de maciços, escavação, suportes, recursos e rendimentos. O estudo ao Poço de Ventilação incide sob as secções tipo de suporte adoptadas e sob o seu faseamento construtivo. No Capítulo 6 desenvolve-se a Evolução Construtiva da obra no período em que decorreu o estágio. O capítulo 7 descreve os trabalhos realizados enquanto estagiário. Em Apêndice desenvolve-se o tema “Suspensão da Conduta de gás” que complementa o Capítulo 5.

Exploração da implementação actual de IPv6 no Kernel do Linux

A presente dissertação visa retratar a exploração do suporte do protocolo Internet versão seis (IPv6) no kernel do Linux, conjuntamente com a análise detalhada do estado da implementação dos diferentes aspectos em que se baseia o protocolo. O estudo incide na experimentação do funcionamento em geral do stack, a identificação de inconsistências deste em relação aos RFC’s respectivos, bem como a simulação laboratorial de cenários que reproduzam casos de utilização de cada uma das facilidades analisadas. O objectivo desta dissertação não é explicar o funcionamento do novo protocolo IPv6, mas antes, centrar-se essencialmente na exploração do IPv6 no kernel do Linux. Não é um documento para leigos em IPv6, no entanto, optou-se por desenvolver uma parte inicial onde é abordado o essencial do protocolo: a sua evolução até à aprovação e a sua especificação. Com base no estudo realizado, explora-se o suporte do IPv6 no Kernel do Linux, fazendo uma análise detalhada do estado de implementação dos diferentes aspectos em que se baseia o protocolo. Bem como a realização de testes de conformidade IPv6 em relação aos RFC’s.

Sistemas distribuídos: serviços Grid Computing

A necessidade de poder computacional é crescente nas diversas áreas de actuação humana, tanto na indústria, como em ambientes académicos. Grid Computing permite a ligação de recursos computacionais dispersos de maneira a permitir a sua utilização mais eficaz, fornecendo aos utilizadores um acesso simplificado ao poder computacional de diversos sistemas. Os primeiros projectos de Grid Computing implicavam a ligação de máquinas paralelas ou aglomerados de alto desempenho e alto custo, disponíveis apenas em algumas instituições. Contrastando com o elevado custo dos super-computadores, os computadores pessoais e a Internet sofreram uma evolução significativa nos últimos anos. O uso de computadores dispersos em uma WAN pode representar um ambiente muito interessante para processamento de alto desempenho. Os sistemas em Grid fornecem a possibilidade de se utilizar um conjunto de computadores pessoais de modo a fornecer uma computação que utiliza recursos que de outra maneira estariam omissos. Este trabalho consiste no estudo de Grid Computing a nível de conceito e de arquitectura e numa análise ao seu estado actual hoje em dia. Como complemento foi desenvolvido um componente que permite o desenvolvimento de serviços para Grids (Grid Services) mais eficaz do que o modelo de suporte a serviços actualmente utilizado. Este componente é disponibilizado sob a forma um plug-in para a plataforma Eclipse IDE.

Estabelecimento de um modelo para o cálculo da incerteza associada às medidas de poluentes atmosféricos na refinaria de Sines

A monitorização de processos ambientais conduz à obtenção de resultados cuja aferição da qualidade é um requisito raramente cumprido. No entanto, importantes decisões de gestão ambiental, sociais e políticas com impacto directo nas populações são tomadas suportadas nestes resultados. A validação de uma medição, como suporte à decisão, é impossível sem o conhecimento da incerteza associada ao próprio resultado. É a incerteza que define a qualidade do resultado. Com este trabalho pretendeu-se contribuir para o aperfeiçoamento do Controlo da Poluição na Refinaria da Galp Energia, em Sines, através do estabelecimento de um projecto de cálculo das incertezas associadas aos teores de poluentes medidos. Foram alvo deste estudo os valores medidos de dióxido de enxofre, óxidos de azoto e partículas monitorizadas. O conhecimento do valor de incerteza associada aos resultados permitirá actuar preventivamente e tomar acções correctivas de modo a garantir o cumprimento pleno da licença ambiental. Para avaliar a incerteza usou-se o procedimento preconizado pela norma ISO em que os passos envolvidos são a especificação do processo de medida, identificação das fontes de incerteza, cálculo da incerteza combinada e cálculo da incerteza expandida. Após a caracterização da actividade da empresa, do enquadramento legislativo, do desempenho no triénio 2005-2007 e da caracterização dos aparelhos de medida, foi feito um estudo estatístico aos valores medidos por estes três analisadores durante diversos períodos do ano de 2007 e foi determinado o modelo de cálculo do valor de incerteza associado a cada uma das medidas. Os valores, associados à respectiva incerteza, foram comparados com os limites impostos pela licença ambiental, verificando-se o cumprimento desta. A determinação da incerteza associada aos resultados de monitorização dos efluentes gasosos desta instalação reforça a credibilidade dos valores medidos, o compromisso da melhoria contínua da qualidade dos processos, produtos e serviços, do desempenho ambiental e da segurança das pessoas e bens, como contributo para um desenvolvimento sustentável desta companhia.

Deco-identidades: a composição da aparência como expressão da identidade pessoal

Este artigo reflecte sobre o papel cada vez mais preponderante que a aparência visual possui como reflexo da identidade do indivíduo. Sobretudo entre os jovens, a necessidade de auto expressão passa cada vez mais pela composição da aparência do corpo. A necessidade de Ser do indivíduo moderno entrelaça-se com a necessidade de possuir bens de consumo que significam algo acerca da sua própria essência Procurar diferenciar-se pode muitas vezes significar a busca de um estilo visual próprio. Estes estilos são particularmente significantes, construídos com criteriosa atenção para compor o quadro que a tela do corpo socialmente mostra. O corpo eleito como suporte privilegiado das mensagens que se pretendem construir é palco de múltiplas propostas de identidade. Estas são as novas deco-identidades, onde os bens de consumo, as múltiplas formas de “design corporal” e os acessórios de toda a espécie funcionam como adereços e o corpo é tido como espaço transformável e estilizado.

O Corpo como Tela

O Corpo enquanto matéria, transformado em tela sobre a qual se inscrevem mensagens gritantes, é muito mais que um cenário que se constrói para enquadrar mensagens ou facilitar a comunicação com o receptor. O Corpo passa a ser a própria mensagem. É a imagem física de uma identidade que se busca hoje com sofreguidão para que possamos perceber quem somos. As remodelações desse espelho de identidades são constantes, são projectos sempre inacabados, sempre imperfeitos, com as possibilidades sempre em aberto e onde a essência do Ser não é tida como estática e absoluta. Cada vez mais, de forma mais flagrante, essa necessidade de Ser do indivíduo moderno se entrelaça com a necessidade de possuir bens de consumo que significam algo acerca da sua essência. Estes, são bens particularmente significantes, escolhidos com criteriosa atenção para compor o quadro que a tela do corpo socialmente mostra. Culturalmente, cada vez se esbatem mais as fronteiras entre Ser e Ter. O Corpo eleito como suporte privilegiado das mensagens que se pretendem construir é palco tanto das propostas artísticas, como das imagens que invadem os media e que apresentam elas próprias propostas de identidade. São deco-identidades onde os bens de consumo funcionam como adereços e o corpo é tido como espaço transformável e estilizado.

Reflexão conhecimento e práctica lectivas em matemática num contexto de reforma curricular no 1' ciclo

O aspecto central deste artigo é o estudo do conhecimento profissional de três professoras do 1º Ciclo do ensino básico em particular o seu conhecimento da Matemática e sobre a Matemática a sua relação com as práticas lectivas e a sua evolução ao longo de um trabalho colaborativo desenvolvido entre a investigadora e as três professoras, com forte suporte na reflexão O trabalho tem por base uma investigação prolongada no tempo e é desenvolvida no âmbito das abordagens propostas por um novo currículo para o 1" ciclo do ensino básico A metodologia é qualitativa e interpretativa. A recolha de dados teve por base observação de aulas, entrevistas, notas de campo sobre sessões de trabalho conjunto e recolha de documentação escrita. A análise de dados foi sendo feita à medida que outros dados iam sendo recolhidos e o procedimento de análise oi semelhante ao método e comparação constante. Esta análise permite verificar que as professoras através da reflexão individual e de grupo e do trabalho desenvolvido em sessões de trabalho conjuntas com a investigadora aumentaram o seu conhecimento da Matemática nomeadamente a sua compreensão£ matemática melhoraram a sua relação com a disciplina e a forma como eram capazes de conduzir actividades matemáticas com os alunos na sala de aula.