Search

Este trabalho trata sobre a caracterização petrográfica dos calcários recifais da Formação Tambaba. Foi identificada a microfácies biomicrito dolomitizado nas camadas correspondentes ao estágio colonização de acreção recifal, enquanto no estágio diversificação as microfácies pelbiomicrito dolomitizado, biomicrito dolomitizado e biolitito dolomitizado (núcleo recifal), biomicrito dolomitizado (superfície de superposição recifal), biointramicrito e biointramicrito dolomitizado (lancos recifais). Por fim, no estágio domínio foi reconhecida a microfácies pelbiomicrito. Os depósitos carbonáticos recifais constituem uma sequência regressiva provavelmente formada em plataforma muito rasa em condições de baixo influxo de sedimentos, durante o estágio de estabilização do nível de base na posição mais baixa do nível do mar em sistema de trato baixo. Os recifes superpostos e a grande concentração de galerias icnofossilíferas sugerem que este pulso transgressivo foi marcado por lentas oscilações do nível do mar, influenciadas pela queda do nível eustático global, e eventos tectônicos locais nas sub-bacias Alhandra e Miriri. A baixa representatividade numérica fossilífera é resultante da ação intensa dos processos diagenéticos locais principalmente compactação mecânica, dolomitização, dedolomitização, dissolução na rocha como um todo pelos fluidos percolantes e dissolução local de CaCO3 já precipitado nos poros, além da substituição de calcita por sílica, que dissolveram grande parte dos restos de espécimes da biocenose original. Os poucos elementos preservados parecem ser autóctones, representando a composição taxonômica original do recife, sugerindo que a biocenose não foi alterada significativamente.

Every day the level of demand from customers with regard to the quality and complexity of software systems increases. Because of this, companies are increasingly customizing their software processes according to market needs. Thus, a systematic way of achieving this goal is the adoption of the Software Process Line (SPrL) strategy, in which each product derived from its variabilities is a specific software process. Taking this scenario in consideration, the objective of this study is to empirically evidencing the compositional and anotative approaches for managing variability in software process. To do so, an OpenUP and a SCRUM-based SPrLs were taken into account. Furthermore, the Eclipse Process Framework was chosen to represent the compositional approach, whereas SMartySPEM was considered for the annotative approach. In order to reaching the settled objective the exploratory sequential strategy was adopted, in which two empirical studies were carried out: a qualitative study analyzing specific criteria for SPrL (modularity, traceability, detection of errors, granularity, sistematic management of variability and adoption) and a quantitative study aiming to substantiate the effectiveness of the approaches with respect to the systematic management of variability. Thus, the qualitative study built a body of knowledge for the quantitative study. As a main contribution of this work, evidence was provided with regard to variability modeling in SPrL, showing that, so far, it is not possible to point out significant differences on such approaches taking the variability criterion into consideration. Further studies in industry with well qualified practitioners are needed to generaliza the initial obtained results. A cada dia aumenta o nível de exigência por parte dos clientes no que diz respeito à qualidade e complexidade de sistemas de software. Por conta disso, as empresas estão buscando cada vez mais a customização dos seus processos de software de acordo com as necessidades de mercado. Assim, uma forma sistemática de alcançar este objetivo é a adoção da estratégia de Linha de Processo de Software (LPrS), na qual cada produto derivado, com base em variabilidades, é um processo de software específico. Pensando nesse cenário, o objetivo deste trabalho é evidenciar empiricamente as abordagens composicional e anotativa no que tange a gerência de variabilidade em processo de software. Para isso, foram utilizadas uma LPrS baseada no OpenUP e outra baseada no SCRUM. Além disso, o Eclipse Process Framework foi escolhido para representar a abordagem composicional, enquanto SMartySPEM foi considerada para a abordagem anotativa. Para alcançar o objetivo estabelecido foi adotada a estratégia sequencial exploratória, na qual foram realizados dois estudos empíricos: um estudo qualitativo analisando critérios específicos de LPrS (modularidade, rastreabilidade, detecção de erros, granularidade, adoção e gerenciamento sistemático de variabilidade) e um estudo quantitativo visando evidenciar a efetividade das abordagens com respeito ao critério de gerência sistemática de variabilidade. Dessa forma, o estudo qualitativo construiu um corpo de conhecimento para o estudo quantitativo. Como contribuição principal foram fornecidas evidências sobre as abordagens para a modelagem de variabilidade em LPrS, demonstrando não ser possível ainda, neste trabalho, apontar diferenças significativas entre tais abordagens no que diz respeito à variabilidade. Estudos futuros realizados na indústria com profissionais qualificados são necessários para que se possa generalizar os resultados iniciais obtidos. 131 f

Tese de mestrado. Redes e Serviços de Comunicação. Faculdade de Engenharia. Universidade do Porto. 2005

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Telecomunicações). Universidade do Porto. Faculdade de Engenharia. 2010

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Major Telecomunicações). Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores - Major de Telecomunicações. Faculdade de Engenharia. Universidade do Porto. 2008