Teatro e poesia: recriação poética de Medeia de Sophia de Mello Breyner Andresen

Pretende-se, nesta dissertação, identificar, analisar e interpretar as alterações cénicas e textuais mais marcantes em Medeia - Recriação poética da tragédia de Eurípides de Sophia de Mello Breyner Andresen, a partir do cotejo com a Medeia de Eurípides, na versão portuguesa de Maria Helena da Rocha Pereira. Em foco estão os expedientes dramatúrgicos que afetam a caraterização das figuras dramáticas nesta Recriação poética de Sophia. Na primeira parte, partindo-se do mito de Medeia, retomam-se os principais tópicos da caracterização da protagonista, na tragédia homónima de Eurípides e na Recriação poética de Sophia. Na segunda parte, o objeto de estudo são as variações cénicas e textuais mais marcantes na Medeia de Sophia, em comparação com o texto matricial, na tradução de M. H. da Rocha Pereira, apresentando-se uma análise e interpretação desse processo de recriação poética de Sophia. Na terceira parte, pretende-se demonstrar de que forma(s) a “recriação poética” altera a reconfiguração das figuras do drama euripidiano.

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.