Palaces for a queen: Mrs. Mariana Vitória of Bourbon (1718-1781) between Spain and Portugal

D. Mariana Vitória de Bourbon (1718-1781), infanta espanhola e rainha de Portugal, habitou sucessivamente em Espanha, França e Portugal e, no ocaso da vida, passou cerca de um ano no seu país natal. Conheceu numerosos palácios nesses três reinos, nomeadamente Aranjuez, Escorial, Real Alcazar de Madrid, Palácio do Oriente (Espanha), Louvre e Versailles (França), Mafra, Queluz, Vila Viçosa, Paço da Ribeira, em Lisboa, e a Real Barraca, igualmente em Lisboa (Portugal)D. Mariana Vitória de Bourbon (1718-1781), Spanish Infanta and Queen of Portugal, lived successively in Spain, France and Portugal and, at the end of life, spent about a year in her native country. She knew many palaces in these three kingdoms, namely Aranjuez, Escorial, Real Alcazar of Madrid, Royal Palace of Madrid (Spain), Louvre and Versailles (France), Mafra, Queluz, Vila Viçosa, Paço da Ribeira, in Lisbon, and Real Barraca, also in Lisbon (Portugal

A inquisição e os soldados dos presídios açorianos (1592-1619)

O tribunal do Santo Ofício lançou os seus tentáculos sobre o arquipélago dos Açores em meados dos anos 50 do século XVI. De facto, em 1555, recebeu alguns açorianos enviados presos pelo bispo de Angra. Era a "entrada" no arquipélago de um tribunal que vinha abrindo espaço de manobra por todo o reino e seus domínios. À leva de detidos de 1555, outras se seguiram, as quais, a par com a finta realizada aos cristãos-novos das ilhas em 1558, fizeram de 1555-1559 um quadriénio fundamental para a afirmação do Santo Ofício nos Açores. Em 1575-1576 realizou-se a primeira visitação inquisitorial ao arquipélago. Esta e as duas que se lhe seguiram, a de 1592-1593 e a de 1619-1620, foram momentos fundamentais na implantação do tribunal nos Açores, traduzindo-se por algumas prisões e pela clara e efectiva tomada de consciência, por parte dos açorianos, de que a partir de então nada voltaria a ser como dantes.[...

A Vida Quotidiana em Ceuta durante o Período Português

UID/ELT/00657/2013publishersversionpublishe

Supporting the automated generation of modular product line safety cases

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires the traceability of SPL variation across design, including variation in safety analysis and safety cases. In this paper, we propose a method and tool to support the automatic generation of modular SPL safety case architectures from the information provided by SPL feature modeling and model-based safety analysis. The Goal Structuring Notation (GSN) safety case modeling notation and its modular extensions supported by the D-Case Editor were used to implement the method in an automated tool support. The tool was used to generate a modular safety case for an automotive Hybrid Braking System SPL