The aim of the pilot study is to measure changes of attitudes over a period of six months. It is claimed that parents new to a school have only hearsay as a basis for their opinions about the school's functioning and that this is often detrimental to the school. It is hypothesized that these opinions will change and reflect positive attitudes towards the school in relation to the amount of contact experienced. The recording of the survey begins by referring to the paucity of research material on the subject; it continues by describing the method of collecting data on initial opinions by means of interviews, questionnaires and a statements of opinions check sheet; it then analyses changes of opinion by comparing the data of the later August statements of opinions return with the earlier February one; and finally suggests reasons for change by analysing correlations of parental contact and increased positive attitude. The paper concludes with recommendations for further studies and parent education programmes.

This work endorses the need for environmental interpretation and education because of the threat to the natural environment as a result of the lack of understanding and knowledge of environmental issues. The writer's personal perspective on the environment is described. There is a strong advocacy for the use of the fine arts in interpretative programmes as a way of reaching audiences, and particularly those individuals who learn through an abstract/symbolic modality. The use of drama is explored as one of the fine arts media through which all visitors to natural sites can gain information , experience personal growth, and develop an understanding of their relationship to the natural world. A study was conducted in which a questionnaire, which posed 36 questions related to common practices and experiences, and the use of drama as a medium in environmental interpretation and education, was used in interviewing representatives of 18 organisations, 9 in Canada and 9 in Australia, involved in environmental education. The responses to the questionnaire are summarised and discussed. Of those interviewed, most of the Australian and Canadian respondents were aware of the need to use a variety of techniques when developing programmes, had used drama in their programmes, had all attended programmes where drama was used as the interpretative medium, and were positive about their experiences. More than two thirds of the respondents from Australia and Canada indicated that drama should be given a high priority in environmental interpretation and education in the future. Information on two children's eco-drama programmes and two workshops for adults on the use of drama in environmental interpretation and education is also included.

Cette thèse propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifiés à partir de preuve constructive. Une notion de réalisabilité modifiée est introduite et étudiée. Un codage imprédicatif d'une large classe de définitions inductives est proposé.

Ce travail présente une modélisation originale de la notion de test de programmes, à partir de la logique égalitaire du premier ordre. Plusieurs applications concernant notamment les types abstraits algébriques et la validation automatique de spécifications sont proposées.<br /><br />À partir d'une étude intuitive de la notion de test, nous dégageons la notion de processus de test, fondée sur le principe du couplage.<br /><br />Nous définissions la notion de jeu de tests sur un contexte de test. Ses propriétés mathématiques sont étudiées: fiabilité, validité, absence de biais, acceptabilité. Plusieurs ordres partiels sont définis: finesses absolue et asymptotique. Les équivalences déduites donnent lieu à des théorèmes importants.<br /><br />Une méthode de pratique de test est construite à partir de cette théorie et appliquée à un programme de tri. Cette méthode est particulièrement adaptée à la validation d'un axiome d'un type abstrait algébrique sur une algèbre. Un exemple est présenté, et l'implantation d'un outil expérimental utilisant cette méthode, réalisé à titre expérimental, est décrite.<br /><br />De nombreuses annexes sont jointes: un résumé des travaux antérieurs sur le problème, une bibliographie sur la validation des programmes par test, une introduction à la logique du premier ordre et un listage partiel de l'implantation réalisée.

Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel, et analysons les raccourcis de notation offerts aux utilisateurs. La deuxième partie est consacrée aux exceptions. Elles sont d'abord étudiées d'un point de vue opérationnel, puis nous en donnons une définition précise qui permet de ramener une présentation avec exceptions a une présentation avec sortes ordonnées. Cette définition assure l'existence d'une algèbre initiale et permet en outre de traiter les exceptions avec paramètres génériques. En troisième partie, sont présentées des méthodes de transformation de définitions fonctionnelles récursives en processus parallèles communicants. La généricité est utilisée pour formuler les hypothèses sur les définitions fonctionnelles, et nous montrons de plus comment simuler une pile de récursivité de profondeur arbitraire par des réseaux de processus dont la topologie est fixée statiquement

Le programme produit par un système de programmation automatique, est obtenu en planifiant séparément les opérations de saisie, transport et montage des objets, et en ignorant les incertitudes géométriques (introduisant des interdépendances entre les actions). L'approche de vérification-correction de programme s'appuie sur un modèle incluant une représentation des incertitudes et s'appuie sur une description des actions des robots

.

Présentation du formalisme, notion d'observateur. Application du formalisme au contrôle des procédés. Analyse des langages et systèmes dans l'esprit du formalisme. Algorithmes et automates de séquence. Syntaxe du langage CSL. Proposition d'un interpréteur CSL. Application à une installation d'emballage et de stockage de lampes électriques

Cette thèse propose de généraliser l'utilisation de la transformation de programmes, pour la construction d'un lien efficace entre les parties fonctionnelle et non-fonctionnelle (ou technique) d'un système logiciel. Dans ce cadre, nous avons développé un système de transformation (Jabyce), avec pour objectifs la possibilité d'implanter tous les transformateurs de programmes possibles, leur encapsulation pour systématiser leur réutilisation, et la possibilité de les composer arbitrairement et efficacement. Pour cela, Jabyce a deux caractéristiques : les transformateurs sont conçus sous la forme de composants logiciels dans un modèle de composant général (Fractal), et les programmes transformés sont représentés par des séquences d'interactions au lieu de graphes d'objets (représentation classique). Une extension de la catégorisation classique des systèmes de transformation de programme nous permet une comparaison exhaustive de Jabyce aux autres systèmes existants, qui montre que, grâce à ses caractéristiques, Jabyce facilite significativement la conception de transformateurs complexes, et offre les mécanismes de composition de transformateurs les plus efficaces et les plus flexibles. Jabyce a été validé expérimentalement dans le cadre de la construction d'un environnement de persistance transparente d'objets Java, et celle d'une Machine Virtuelle Java modulaire basée sur la compilation statique. Un autre apport original de ce travail est l'introduction de la problématique du traitement des erreurs dans les systèmes de transformation de programmes, et la conception d'un système de traitement d'erreur adapté à Jabyce.

Cette thèse présente ANDES, une technique de modélisation quantitative d'algorithmes et de programmes parallèles. Le modèle est un graphe orienté et valué sans circuit composé de noeuds de calcul. Les arcs modélisent la précédence. Par le moyen de logiques d'entrée et de sortie, il est possible de modéliser le flot de données. ANDES prévoit la modélisation de certaines caractéristiques non-déterministes des algorithmes (e.g. branchement). Un support pour la description hiérarchique et regulière est aussi prevu. Des exemples de modèles ANDES sont présentés. La description du modèle est faite à partir d'une étude des autres techniques disponibles dans la littérature (e.g., GMB). La bibliothèque ANDES-C est utilisé pour la description de modèles ANDES. Avec cette bibliothèque, un modèle ANDES est décrit comme un programme C. L'avantage de cette représentation textuelle est, entre autres, la possibilité de décrire, de façon compacte, de modèles avec de milliers de noeuds de calcul. Le modèle ANDES peut être utilisé dans différents contextes d'évaluation de performances, principalement comme une forme de modélisation d'une charge de travail. Ce modèle de la charge de travail peut être donné, par exemple, à un simulateur ou à un modèle analytique (e.g., un système de files d'attente). Dans ce travail, nous utilisons ANDES afin de générer, à partir des modèles, des charges synthétiques exécutées par une vraie machine parallèle. Cet environnement de transformation et d'exécution d'une charge synthétique est appelé ANDES-Synth. A part le modèle de la charge de travail, il est possible de modéliser aussi une machine parallèle qui est "émulée" par la machine parallèle cible. ANDES-Synth est utilisé, dans ce travail de thèse, pour l'évaluation de stratégies de placement statique (quatre heuristiques gloutonnes et deux itératives). Un algorithme de regroupement (utilisé dans l'outil Pyrros) est utilisé afin de permettre l'application des stratégies de placement aux modèles ANDES.