Recherches expérimentales et analytiques sur les machines à vapeur. Vérification d'une série d'essais sur une machine de Woolf.

Mode of access: Internet.

Élaboration et vérification d'un modèle prédictif de l'adaptation aux rôles associés de mère et de travailleuse à statut précaire

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Le sens du travail : validation d'une mesure des caractéristiques valorisées du travail et vérification empirique d'un modèle sur le sens du travail en fonction de la cohérence du travail

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Les interventions régulatrices groupales et l'efficacité des équipes de travail : développement et vérification d'un modèle théorique

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Élaboration et vérification d'un modèle prédictif de l'adaptation aux rôles associés de mère et de travailleuse à statut précaire

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Le sens du travail : validation d'une mesure des caractéristiques valorisées du travail et vérification empirique d'un modèle sur le sens du travail en fonction de la cohérence du travail

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Les interventions régulatrices groupales et l'efficacité des équipes de travail : développement et vérification d'un modèle théorique

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Conception d’outils (autoévaluation, liste de vérification, grille d’évaluation à échelle descriptive) pour l’évaluation formative des savoir-être professionnels chez les stagiaires du programme collégial Techniques d’inhalothérapie

Plusieurs programmes de formation offrent des stages pour compléter la formation et valider les apprentissages des stagiaires en regard du développement de leurs compétences. L’évaluation des savoirs et des savoir-faire occupe une grande place lors de la prestation des stagiaires et permet d’établir leur niveau de compétence. Mais qu’en est-il de l’évaluation de leurs savoir-être professionnels ? Pourtant le savoir-être est une composante indispensable au plein développement de la compétence. Les stagiaires manifestent leurs savoir-être professionnels en milieu clinique. Sans s’en rendre compte, leurs comportements influencent leur future embauche par une institution de santé. C’est la plus value qui fait la différence. Dans notre pratique enseignante, souvent nous éprouvons des difficultés dans l’accompagnement des stagiaires pour le plein développement de leurs savoir-être professionnels. Lorsque surviennent des difficultés, l’absence d’outil rend difficile la tâche d’évaluation des savoir-être professionnels. Cette réalité nous amène au thème de cet essai qui vise la conception d’outils d’évaluation des savoir-être professionnels pour les stagiaires du programme collégial Techniques d’inhalothérapie. Les difficultés d’évaluation des savoir-être professionnels dues à l’absence d’outils a entraîné une réflexion nous menant tout droit à nous questionner sur les caractéristiques essentielles des outils d’évaluation permettant aux enseignantes et aux enseignants de porter un jugement objectif sur les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie. Suite à une recension d’écrits en lien avec les concepts des savoir-être professionnels, de l’évaluation et des outils d’évaluation, nous nous sommes fixé cinq objectifs spécifiques pour répondre à notre question générale de l’essai : 1) Établir une nomenclature des savoir-être professionnels pour le programme collégial Techniques d’inhalothérapie; 2) Décrire les savoir-être professionnels en manifestations observables; 3) Concevoir un outil d’autoévaluation en regard du développement des savoir-être professionnels pour les stagiaires du programme collégial Techniques d’inhalothérapie; 4) Concevoir une liste de vérification des comportements observables pour évaluer les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie; et 5) Concevoir une grille d’évaluation à échelle descriptive pour évaluer les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie. Avec une posture épistémologique interprétative et une approche qualitative, nous avons opté pour un essai de type recherche développement, selon Harvey et Loiselle (2009), visant la conception de trois outils d’évaluation des savoir-être professionnels, soit : a) un outil d’autoévaluation, b) une liste de vérification des comportements observables et c) une grille d’évaluation à échelle descriptive. Après avoir réalisé les deux premiers objectifs spécifiques de cet essai, nous avons sollicité les enseignantes et les enseignants des départements de Techniques d’inhalothérapie du Collège de Rosemont et du Collège de Valleyfield pour procéder à la validation des outils d’évaluation des savoir-être professionnels. Pour accompagner les cinq enseignantes et les trois enseignants dans leur démarche de validation, nous avons privilégié un questionnaire de validation, des entrevues semidirigées et un groupe de discussion pour recueillir les données qualitatives et quantitatives que nous avons traitées en deux temps.L’analyse et l’interprétation des résultats ont permis l’atteinte des objectifs spécifiques fixés. En plus d’établir la nomenclature des savoir-être professionnels, les données recueillies portent un regard critique sur la conception des outils d’évaluation des savoir-être professionnels destinés aux stagiaires du programme collégial Techniques d’inhalothérapie. Grâce aux commentaires et aux suggestions obtenus, nous peaufinerons nos outils pour les rendre plus efficaces après cet essai pour ensuite les remettre aux enseignantes et aux enseignants cliniques participants qui décideront avec leur département respectif s’ils désirent les utiliser. Cet essai identifie huit savoir-être professionnels que doivent démontrer les stagiaires du programme collégial Techniques d’inhalothérapie. Ces savoir-être professionnels se manifestent à partir de quarante-deux comportements observables. La conception de nos outils d’évaluation permet de porter un regard objectif sur le développement des savoir-être professionnels de nos stagiaires. Cet essai ne vise pas à généraliser ces résultats. Nous souhaitons plutôt la transférabilité des résultats à d’autres programmes afin d’accompagner d’autres enseignantes et enseignants qui éprouvent des difficultés lors de l’évaluation des savoir-être professionnels.

No limiar da mora: por uma aferição objetiva da utilidade da prestação

O adimplemento contratual é o caminho ideal para a extinção das obrigações. O ordenamento, assim, volta-se a privilegiá-lo, constituindo o direito do credor à resolução contratual uma saída excepcional, apenas admissível quando perdido, no caso concreto, seu interesse no cumprimento da prestação. O exercício da resolução deve submeter-se a um controle de merecimento de tutela, a partir dos parâmetros que o próprio Código Civil elegeu para a verificação do inadimplemento absoluto: tempo, lugar e forma da prestação. Esse controle, porém, não deve privilegiar qualquer desses critérios sobre os demais (afigurando-se, assim, o lugar e a forma parâmetros plenamente independentes do aspecto temporal), nem deve, por outro lado, limitar-se à previsão legislativa. Importará para a aferição do interesse do credor na prestação todo o histórico da relação contratual e da atividade negocial entre as partes, as legítimas expectativas geradas no curso dessa interação e os demais fatores que influenciem no equilíbrio do regulamento contratual, consubstanciado no sinalagma funcional. De posse de tais elementos, deve o julgador exercer um adequado juízo de merecimento de tutela sobre a pretensão resolutória, averiguando se não constitui exercício abusivo (contrário à função negocial) e se corresponde a um interesse merecedor de tutela.

Consequências do trabalho por turnos e nocturno em profissionais de enfermagem (estudo realizado em dois hospitais do norte de Portugal)

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Psicologia.

Competências estratégicas de negociação em gestão comercial

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Empresariais