Étude de la représentation de programmes dans un atelier de génie logiciel et des principaux concepts de l'édition syntaxique. Justification de l'utilité de la manipulation structurée des programmes, avant de présenter les spécifications externes d'un éditeur dirigé par la syntaxique. Étude des diverses techniques permettant d'effectuer une analyse contextuelle incrémentale d'un programme, mise en œuvre après chacune de ses modifications. Les différents concepts étudiés ont fait l'objet d'un prototype, réalisé dans le cadre du projet d'atelierADELE.

Sur la base d'un modèle des fonctions essentielles requises pour l'écriture d'un didacticiel, nous étudions les problèmes posés par la spécification de ces fonctions et leur programmation informatique. Les méthodes proposées sont issues d'une expérience concrète et réussie de production de didacticiels de taille importante. De plus nous rendons compte sur le plan génie logiciel, et nous décrivons l'ensemble des outils que nous avons du spécifier et réaliser pour favoriser la production de didacticiels fiables, portables et modifiables.

Les productions fermières représentent un enjeu socio-économique important, néanmoins l'hygiène dans les ateliers fermiers est encore peu ou mal maîtrisée, ce qui peut conduire à une perte de produit pouvant atteindre 25% à certaines périodes de l'année.<br /><br />Notre étude réalisée dans le cadre de 2 programmes, régional et européen, avait pour objectif d'étudier l'écosystème microbien d'un atelier fermier de salaison n'utilisant pas de ferment et de proposer des solutions pour améliorer la qualité hygiénique et technologique du saucisson sec, sans affecter sa typicité.<br /><br />La description quantitative et qualitative de l'écosystème microbien de cet atelier fermier a montré une faible maîtrise de l'hygiène, une mise en œuvre de procédures de nettoyage et de désinfection non appropriées, ainsi qu'une faible acidité du produit (pH 6,2 – 6,5). A partir de la souchothèque constituée au cours de cette première étape, nous avons identifié et caractérisé la flore lactique, en vue de développer un ferment lactique et une « flore barrière » à partir de la flore endogène à l'atelier.<br /><br />Les identifications de 88 isolats de la flore lactique par approche phénotypique, génotypique et spectroscopique ont montré qu'Enterococcus faecium (25%) et Vagococcus carniphilus (12,5%) étaient les espèces dominantes au niveau des surfaces et des équipements de l'atelier, alors que Lactococcus garvieae (18,2%) et Lactobacillus sakei (40,9%) étaient, respectivement, les espèces dominantes au niveau de la mêlée et du saucisson.<br /><br />Les 36 souches de Lb. sakei identifiées ont été caractérisées par rapport à leur potentiel d'utilisation comme ferments. Une analyse multivariée des résultats obtenus a permis de sélectionner 2 souches pouvant être utilisées dans le développement d'un ferment spécifique à cet atelier. En outre, 5 Vc. carniphilus, 3 Ec. faecium, 1 Lb. sakei et 1 Enterococcus sp. ont été testées pour leur effet antibactérien à l'encontre de Listeria innocua, Staphylococcus aureus et/ou Hafnia alvei en conditions de biofilms bi-espèces. Deux souches d'Ec. faecium ont été caractérisées comme pouvant jouer le rôle de « flore barrière » au niveau des surfaces et des équipements de l'atelier.<br /><br />Par ailleurs, dans une perspective de mise en place de procédures de décontamination appropriées à cet atelier, différentes solutions de désinfection ont été testées pour leur effet bactéricide sélectif sur des bactéries d'intérêt technologique, d'altération et pathogène, isolées de cet atelier et cultivées en biofilms. Le désinfectant utilisé dans cet atelier s'est avéré non sélectif détruisant la flore d'intérêt technologique. Par contre, la solution d'acide acétique à pH 5,4 contenant 0,075% p/v de monolaurine s'est montrée sélective, inhibant la flore indésirable à des niveaux pouvant atteindre 4 log10 u.f.c/ml alors que la flore d'intérêt technologique n'a été que peu affectée.<br /><br />L'ensemble de ces résultats suggère la possibilité d'améliorer la qualité des saucissons secs fermiers en adoptant une approche de type écologie microbienne dirigée dans les ateliers fermiers.

Notre travail interroge les relations entre l'action culturelle et l'hôpital psychiatrique au sein du programme " Culture à l'hôpital ". Ce dernier s'inscrit dans la politique culturelle menée en direction des " publics empêchés ". Porteur d'enjeux multiples, tant du côté des ministères, des directions hospitalières, du personnel que des artistes, ce programme interroge, bouscule l'institution hospitalière et peut parfois être source de conflits. Son étude permet de mettre en évidence l'originalité d'un dispositif particulier : l'atelier culturel. Prenant en compte la logique de projet dans laquelle l'atelier s'intègre, nous interrogeons les effets que ce dispositif peut avoir sur l'institution hospitalière et ses acteurs.Notre étude s'est déroulée sur trois terrains (hôpital du Vinatier, Fondation Bon Sauveur d'Alby et hôpital de Montfavet). Nous avons mobilisé différents corpus : des entretiens, des conventions ainsi que des documents internes aux établissements hospitaliers (projets d'établissement, projets de service, documents de travail d'artistes).Les principaux résultats de la recherche concernent deux axes, l'un relatif au champ hospitalier, l'autre à celui de la médiation culturelle. L'atelier culturel est un nouveau dispositif communicationnel au sein de l'hôpital, il est l'élément tiers dans l'acte de médiation. L'objet artistique y est moins finalité que support de la relation dans la triade patients-soignants-artistes. Le sens donné à l'intervention artistique est redéfinit, le partage d'une expérience esthétique importe plus que la réalisation de l'oeuvre.Pour les personnes hospitalisées, l'atelier culturel représente un en-dehors dans le temps d'hospitalisation, un nouvel espace d'expression bénéfique tant sur le plan social qu'identitaire. L'atelier culturel permet de contrebalancer la rigidité du cadre institutionnel. Les rapports entre participants (patients, soignants) se voient " redistribués " le temps de l'atelier. Une fois ce dernier terminé, les retombées de ce dispositif perdurent au travers d'une modification des représentations sociales sur la maladie mentale, l'institution psychiatrique et ses acteurs. On assiste également à une réappropriation de l'expérience vécue par le personnel. Pour ces professionnels du soin, ce qui s'est déroulé en atelier peut être repris au sein des services, dans la perspective d'améliorer la prise en charge globale des patients. Par la même, il s'agit d'une quête de légitimité tant sur le plan identitaire que professionnel

Les procédures participatives et délibératives fondées sur le recours au citoyen profane connaissent un regain d'intérêt dans les démocraties actuelles, caractérisées par la remise en cause de la délégation de la décision à l'Elu et à l'Expert et par la montée en puissance des politiques de l'usager dans l'action publique locale. Ces expériences de " démocratisation de la démocratie " sont étudiées par un champ académique prolifique. A partir de l'analyse d'un projet de démocratisation de la vie d'un service d'eau potable d'une communauté urbaine mené dans le cadre d'une recherche-action, ce travail concentre l'attention sur certains angles délaissés dans la littérature : comment un projet de participation citoyenne est-il reçu et vécu en interne par une organisation qui le convoque ? Comment des citoyens profanes s'y prennent-ils pour penser et produire un avis dans le cadre d'une procédure de type " mini public ", et qu'est-ce qui contingente la trajectoire de cette production collective ? Comment une telle initiative de participation citoyenne impacte-t-elle ses protagonistes et le système d'action publique locale, en l'absence de controverse et de " prises " de participation ? Pour décrire cette entreprise située de mise à l'épreuve de l'hypothèse de la démocratie technique, nous développons une approche inductive inspirée de la sociologie pragmatique. On s'efforcera de contribuer sur un plan théorique d'une part, à la description de l'activité délibérative, sur un plan opérationnel d'autre part, aux conditions d'efficacité et de prise au sérieux des démarches participatives de type " mini public " au niveau local.

De nombreux élèves fréquentant les écoles secondaires québécoises présentent des difficultés au niveau de l'apprentissage de l'écriture, et ce, malgré le fait que la langue française constitue leur langue maternelle. La méconnaissance du processus de révision, qui requiert la maîtrise de savoir-faire complexes et variés, compte au nombre des principales causes à l'origine de ces difficultés. À l'ère actuelle, l'intégration des technologies de l'information et de la communication (TIC) comme outils d'aide à l'apprentissage s'avère tout indiquée afin de favoriser le développement de certaines compétences en ce domaine. La présente recherche s'intéresse à savoir de quelle façon les TIC peuvent favoriser l'émergence de certaines habitudes de révision chez des élèves du secondaire. L'objectif général est donc d'étudier l'incidence des TIC sur les comportements et les stratégies de révision d'élèves de quatrième secondaire faibles en écriture. Pour ce faire, des ateliers d'écriture appuyés d'un réseau virtuel de soutien ont d'abord été élaborés, puis trois comportements et deux stratégies de révision ont ensuite fait l'objet d'une étude comparative entre le début et la fin de l'intervention. La collecte de données s'est effectuée, auprès de neuf sujets, à partir d'observations faites sur le terrain, de même que l'analyse qualitative du verbatim d'entrevues dirigées, des brouillons de trois productions écrites et de certaines publications des participants sur leur cyberportfolio. Les résultats obtenus démontrent que l'intervention des membres du réseau virtuel de soutien a eu un impact positif sur l'importance accordée à la révision de l'orthographe d'usage et grammaticale, tout comme sur l'utilisation du code d'autocorrection et sur la nature du jugement porté sur les stratégies de révision utilisées. Cela dit, aucun impact considérable n'a pu être confirmé au niveau de la révision du contenu, de la consultation des ouvrages de référence, de même que sur la fréquence des retours réflexifs sur les stratégies de révision employées et la prise en considération du destinataire. Au-delà de son apport au plan scientifique et pratique, la recherche propose finalement des pistes de recherches futures. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Apprentissage de l'écriture, Stratégies de révision, Technologies de l'information et de la communication, Réseau de soutien, Scripteur novice, Scripteur expert.

Nos travaux de recherche sont dédiés µa la mise en oeuvre d'une maintenance<br />centralisée dans les systèmes manufacturiers. A partir de l'état de l'art sur le service<br />maintenance dans les différentes industries, notre problèmatique s'est portée sur la mise<br />en place d'un système de maintenance dans une entreprise possédant plusieurs unités<br />de production et dont la réparation des parties défaillantes des machines requiert des<br />ressources bien adaptées aux diverses machines complexes.<br />Dans le contexte d'une maintenance centralisée, une démarche de conception d'un atelier<br />de maintenance est proposée. A partir d'une étude fonctionnelle des machines de produc-<br />tion, la structure de l'atelier est établie et les ressources sont déterminées qualitativement.<br />Ensuite, nous proposons un dimensionnement de l'atelier de maintenance, passant par<br />l'évaluation des performances et en intégrant les coûts de maintenance. Enfin, pour que<br />l'atelier de maintenance soit efficace aussi bien sur le plan technique qu'économique de<br />l'entreprise, des stratégies de maintenance sont déterminées pour chaque machine.

Cette thèse de doctorat explore la problématique de la construction identitaire d'apprenants adultes plurilingues à travers leurs pratiques d'écrits dans une classe de français langue étrangère dans un centre universitaire d'études françaises. Cette étude, adoptant une approche ethno-sociolinguistique, touche les champs de la recherche en didactiques des langues et des cultures et en didactique de l'écriture en situation de contact. Elle vise à analyser comment les apprenants créent et manifestent leur pluralité à travers leurs écrits. Les apprenants sont considérés comme des acteurs sociaux qui utilisent leur répertoire pluriel et jouent de leur compétence plurilingue et pluriculturelle dans l'intention de se dire en tant qu'individus plurilingues. Leurs identités plurielles,dynamiques, ambivalentes, évoluent en fonction de la situation de communication et de ce qu'ils tentent de communiquer d'eux-mêmes. L'étude se base sur des interactions en classe enregistrées pendant deux semestres, les textes écrits par les apprenants et des entrevues semi-dirigées. L'analyse, portant sur le contenu et la forme des discours, met en lumière les représentations des apprenants sur leur plurilinguisme et leur apprentissage des langues, et les procédés scripturaires mis en place pour exprimer leurs identités. Une partie didactique conclusive propose des pistes de réflexion pour les enseignants.

Thèse de Doctorat de 3e cycle--Arts et lettres, langues et sciences humaines--Université Paul-Valéry - Montpellier III, 1981. / Bibliogr. p. I-XII.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-02T18:48:21Z No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-04T13:18:52Z (GMT) No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) / Made available in DSpace on 2018-07-04T13:18:53Z (GMT). No. of bitstreams: 1 DiegoDeAzevedoOliveira_DISSERT.pdf: 1039192 bytes, checksum: a387d372d3c8da2d66010f294542538a (MD5) Previous issue date: 2018-02-05 / Softwares precisam ser seguros e corretos. Partindo desse pressuposto, novas tecnologias e técnicas são desenvolvidas para comprovar as competências de um programa. Essa necessidade de segurança se torna mais relevante ao tratar de softwares que atuam em sistemas críticos, como os sistemas ferroviário e aeroviário. A utilização de métodos formais na construção de software busca solucionar o problema. Ao utilizar o método formal B através da plataforma Atelier-B, e após provar os componentes de um projeto é necessária a tradução para a linguagem desejada. Essa tradução ocorre por meio de tradutores e compiladores B. Habitualmente, o processo de compilação em compiladores maduros é seguro, porém não estão completamente livres de falhas e eventualmente erros são encontrados. Ao expandir essa afirmação para tradutores B é necessário cautela, uma vez que esses não são tão comuns e utilizados quanto compiladores que circulam há mais tempo no mercado. Testes de software podem ser utilizados para realizar a análise da tradução. Através de critérios de cobertura é possível inferir o nível de qualidade do software e facilitar a detecção de falhas. Realizar a checagem da cobertura e testes em software pode exigir bastante esforço e tempo, principalmente ao serem realizados manualmente. Para sanar essa demanda, a ferramenta BTestBox visa analisar, de maneira automática, a cobertura atingida por implementações B desenvolvidas através do Atelier-B. BTestBox também testa automaticamente as traduções feitas a partir de implementações B. Para isso, BTestBox utiliza os casos de teste gerados para a verificação de cobertura e compara os valores esperados de saída com os encontrados após a tradução. O processo feito por BTestBox é todo automático e pode ser utilizado a partir do Atelier-B via instalação de plugin com uma interface simples. Essa dissertação apresenta a ferramenta BTestBox. BTestBox foi testado através de pequenas implementações B com os elementos gramaticais possíveis da linguagem B. BTestBox apresenta funcionalidade e vantagens para programadores que utilizam o método formal B. / Software needs to be safe and run smoothly. From that assumption, new technologies and techniques are developed to test the quality of a program. This is more relevant when developing critical systems, such as railways and avionics control systems. Formal methods try to adress this need. When using B in Atelier-B, after proving the components of a project is necessary to translate to the desired language, a translation is made by using B translators and compilers. Usually, the process of compilation is safe when perfomed by mature compilers although they are not free of errors and bugs often crop up. The same reliability is not always observed in B translators since they have been on the market for less time. Software testing may solve and be used to perform the analyses of the translated code. From coverage criteria, it is possible to infer quality of a piece of software and detect bugs. This process is hard and time-consuming, mainly if it is perfomed manually. To address this problem, the BTestBox tool aims to analyze automatically the coverage of B implementations built through Atelier-B. BTestBox also automatically tests the translation from B implementations. For this, BTestBox uses the same test case generated to verify the coverage and compare the output expected values with the values found in the translation. This process is fully automatic and may be started from Atelier-B with a plugin. This thesis presents the tool BTestBox. The tool is a solution to the problems exposed in the previous paragraph. BTestBox was tested with small B implementations and all gramatical elements from B language. It offers various functionalities and advantages to developers that use the B-Method.