Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Contributions à la paleontology du Miocène moyen continental du basin du tage

This study on middle Miocene Charophytes from the Tagus'basin indicates the presence of two species. hitherto undescribed from these strata in Portugal, Correlation diagrams of height and width of gyrogonite demonstrate that the populations of Nitellopsis (Tectochara) etrusca from the localities Póvoa de Santarém and Pêro Filho are identical to that from La Grenatière (Hérault, France), The population of Lychnothamnus duplicicarinatus from Tremês is identical to that already known from Anwill (Switzerland). The age of this flora is therefore suggested as being the upper part of the middle Miocene. The results of Charophyte studies are in accordance with stratigraphical conclusions from previously conducted mammalian studies (Antunes and Mein), A table showing the distribution of species in the three portuguese localities is given.

Actividade ígnea pós-paleozóica no continente português (elementos para uma síntese crítica)

The Author presents a synopsis about the post-Paleozoic igneous activity in continental Portugal. Subvolcanic massifs of Sintra, Sines and Monchique and the basaltic complex of Lisbon-Mafra are interpreted. The large network of dikes and sills occuring at north of Tagus river in Lisbon- Torres Vedras region as the dikes of Algarve and also those of diapiric formation are studied and compared. Also the doleritic dikes cuting the Hesperic Massif and the Great dike of Alentejo are studied. The Author presents an attempt of petrological and geochemical correlation-among these post-Paleozoic igneous rocks. For this more than 350 chemical analysis are used in order to elaborate several diagrams and some general conclusions are derived from them. The correlation between the origin of these igneous rocks and the opening of North Atlantic and the counter-clockwise rotation of the Iberia are also tried.

Contributions à la paleontology du Miocène moyen continental du basin du Tage; (IV) Charophytes - Póvoa de Santarém, Pero Filho et Tremês

This study on middle Miocene Charophytes from the Tagus' basin indicates the presence of two species, hitherto undescribed from these strata in Portugal. Correlation diagrams of height and width of gyrogonite demonstrate that the populations of Nitellopsis (Tectochara) etrusca from the localities Póvoa de Santarém and Pêro Filho are identical to that from La Grenatière (Hérault, France), The population of Lychnothamnus duplicicarinatus from Tremês is identical to that already known from Anwill (Switzerland). The age of this flora is therefore suggested as being the upper part of the middle Miocene. The results of Charophyte studies are in accordance with stratigraphical conclusions from previously conducted mammalian studies (Antunes and Mein). A table showing the distribution of species in the three portuguese localities is given.

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Reengenharia de processos na indústria farmacêutica

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia e Gestão Industrial pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Natural antioxidants extraction and their incorporation into model pharmaceutical systems

Dissertation to obtain a Master Degree in Biotechnology

An information model for lean, agile, resilient and green supply chain management

Dissertação para a obtenção de Grau de Mestre em Engenharia e Gestão Industrial