1,928 research outputs found
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
- …