3 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em RCAAP - Repositório Científico de Acesso Aberto de Portugal
Resumo:
This paper is concerned with the physical construction of the University of Aveiro Santiago Campus, based on the direct relation of the construction of its facilities to the master plan conceived in the Centre of Studies of the University of Oporto Faculty of Architecture by a team coordinated by Nuno Portas (CEFA: The Revision of the Masterplan of the University of Aveiro, 1987/89).
Resumo:
O presente trabalho aborda a temática da formação contínua e da influência que esta tem na atividade dos militares para a resolução das diversas situações que se lhes apresentam diariamente. Importa comparar a formação que os militares colocados na vertente territorial recebem com as áreas onde se inserem as ocorrências em que têm de intervir. Assim o objetivo deste trabalho centra-se na explicação de como as áreas de formação desempenham um papel fundamental na resolução dos incidentes diários e na forma de atuação. Para atingir o objetivo geral do trabalho é necessário que primeiramente se atinjam os objetivos específicos que vão permitir identificar como é a formação no Comando Territorial de Lisboa, bem como que áreas são ministradas e se os militares se encontram preparados para a atividade operacional através da formação que lhes é proporcionada. Para a investigação utilizaram-se dois métodos o comparativo e o estudo de caso. O primeiro permite comparar as diversas entrevistas aplicadas a Comandantes dos vários escalões ligados à formação contínua e o segundo através dos questionários aplicados aos militares do Destacamento Territorial de Alenquer. Segue-se o método dedutivo que permite iniciar-se o estudo na estrutura existente de formação contínua, decrescendo o estudo até ás áreas de formação ministradas aos militares e quais as que consideram mais importantes e mais recorrentes no seu dia-a-dia. Com os resultados obtidos é possível afirmar que o modelo de formação que tem vindo a ser utilizado, a Formação Contínua de Aperfeiçoamento e Atualização é eficaz e praticável, encontrando-se os militares preparados para as suas missões. Contudo com a recente alteração do regime de folgas, Circular 01/2016/DO/CO, os Comandantes deixaram de realizar sessões de formação contínua devido à impossibilidade de agregar militares para esse fim. Conclui-se que se torna essencial avaliar a situação de modo a incorporar os dois assuntos supra referidos, para possibilitar a existência de formação contínua.
Resumo:
A presente dissertação tem por escopo um estudo comparado sobre os direitos fundamentais e o uso de meios coercivos na actuação das forças de segurança no Estado de direito democrático, em Cabo Verde e Portugal. Em primeiro lugar, analisam-se os direitos fundamentais susceptíveis de serem postos em causa pelas forças de segurança, quando estas têm que fazer uso dos meios coercivos no cumprimento da sua missão. Neste sentido, destaca-se a importância da qualificação dos elementos policiais na defesa e protecção dos direitos, liberdades e garantias dos cidadãos. Ao longo do trabalho procura-se demonstrar que a protecção dos direitos fundamentais pelas forças de segurança é indissociável do conhecimento do regime de tais direitos. Em termos metodológicos, este trabalho tem uma componente comparativa, assente no cotejo dos ordenamentos jurídicos de Cabo Verde e de Portugal, apoiado em consultas bibliográficas. Resolvemos ocupar-nos desta temática em virtude da sua importância para a organização policial, com vista a contribuir para a adopção de métodos adequados, visando habilitar os agentes policiais de Cabo Verde a melhor garantir os direitos fundamentais. Os objectivos do estudo foram alcançados, permitindo-nos concluir que os pressupostos e requisitos legais do uso de meios coercivos em Cabo Verde podem gerar equívocos na sua correcta aplicação, pelo que se torna premente a implementação de uma instrução de serviço ou norma de execução permanente (NEP), à semelhança daquela que existe na Polícia de Segurança Pública portuguesa.