Processos de melhoria social: a requalificação do Bairro Social de Santa Tecla

Dissertação de mestrado integrado em Arquitectura

Se tu eliminares o conto de fadas da realidade eu sou contra ti: disse Kahn

Dissertação de mestrado integrado em Arquitetura (área de especialização em Cultura Arquitetónica)

Impact of an educational hands-on project on the antimicrobial, antitumor and anti-inflammatory properties of plants on Portuguese students' awareness, knowledge, and competences

Promoting environmental and health education is crucial to allow students to make conscious decisions based on scientific criteria. The study is based on the outcomes of an Educational Project implemented with Portuguese students and consisted of several activities, exploring pre-existent Scientific Gardens at the School, aiming to investigate the antibacterial, antitumor and anti-inflammatory properties of plant extracts, with posterior incorporation in soaps and creams. A logo and a webpage were also created. The effectiveness of the project was assessed via the application of a questionnaire (pre- and post-test) and observations of the participants in terms of engagement and interaction with all individuals involved in the project. This project increased the knowledge about autochthonous plants and the potential medical properties of the corresponding plant extracts and increased the awareness about the correct design of scientific experiments and the importance of the use of experimental models of disease. The students regarded their experiences as exciting and valuable and believed that the project helped to improve their understanding and increase their interest in these subjects and in science in general. This study emphasizes the importance of raising students’ awareness on the valorization of autochthonous plants and exploitation of their medicinal properties.

Património natural e arquitectónico: plano de intervenção na aldeia de Ermelo

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cidade e Território)

Sistemas solares e arquitetura: uma relação holística

Dissertação de mestrado integrado em Arquitectura

Estudo da cabeceira da Sé do Porto

Dissertação de mestrado integrado em Engenharia Civil

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

Towards an engine for coordination-based architectural reconfigurations

Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language— ReCooPLa—which targets the manipulation of software coordinationstructures,typicallyusedinservice-orientedarchitectures(soa).Theengine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Valorização do património tradicional em Santana: um contributo para o crescimento do turismo cultural da Madeira

Dissertação de mestrado em Património e Turismo Cultural

Valorização patrimonial e urbana de Braga através da criação de circuitos turísticos

Projeto de mestrado em Património e Turismo Cultural

Reúso do património do movimento moderno: a panificadora de Vila Real

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitectónica)

Requalificação do Palacete Manuel Rodrigues Alves: re – integração do Palacete no quotidiano da cidade

Dissertação de mestrado integrado em Arquitectura

Projeto de um centro de reabilitação física no complexo do Forte Portuense em Roma

Dissertação de mestrado integrado em Arquitectura (área de especialização em Cultura Arquitectónica)

O plano de Kenzo Tange para a reconstrução de Skopje: contexto, desenho e evolução

Dissertação de mestrado integrado em Arquitectura (área de especialização de Cultura Arquitectónica)