O papel da prática profissional/prácticum na formação de professores: um olhar dos professores tutores universitários

A universidade no Espaço Europeu de Educação Superior (EEES) assume-se como um espaço aberto e permeável a mudanças no processo de ensino e de aprendizagem, reduzindo os “conhecimentos mortos, a favor de conhecimentos vivos”, diversificando metodologias de trabalho (aulas práticas, workshops, seminários, tutorias conjuntas, e-learning, entre outras) e valorizando a relação pedagógica. A ênfase mais ou menos atribuída às Praticas/Practicum nos diferentes planos de estudo de cada universidade, a sua distribuição e organização ao longo da formação, prescrevem a cientificidade do trajeto de construção, desconstrução, co-construção e reconstrução do perfil, competências e identidade profissionais do estudante em formação. Amplia-se a função e ação do professor tutor/supervisor universitário que, sustentado num enfoque formativo competencial, assume ser mais do que um responsável pela formação integral dos estudantes integrando uma aprendizagem profissional relacionadas com o saber e o saber-fazer, mas também está implicado na aquisição e desenvolvimento de um conjunto de habilidades sociais, éticas e de valores humanos relacionados com o saber-ser e o saber-estar. O objetivo deste estudo é analisar o papel dos tutores/supervisores de Práticas/Practicum nos processos de construção e desenvolvimento de competências e identidade profissional através de processos de mediação e transferência de conhecimento profissional. Neste trabalho apresentamos os resultados parciais de um estudo de caso de carácter descritivo-interpretativo. Analisam-se as entrevistas (n=11) realizadas a professores universitários que em 2012-13 constituíam o corpo de tutores de Practicum dos cursos de Educação de Infância e Ensino do1º ciclo do Ensino Básico da Universidade Autónoma de Barcelona. Os resultados valorizam mais os aspetos organizacionais do que os curriculares. As preocupações com o desenvolvimento de competências conceptuais (saber) e procedimentais (saber-fazer) estão mais presentes nos discursos dos tutores/supervisores do que as competências relacionais intra e interpessoais (saber-ser, saber-estar).

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.