Les manières de créer et de développer des systèmes informatiques ne cessent d'évoluer. La complexité croissante des logiciels informatiques (répartition du code, utilisation de composants externes, limitation des ressources, etc.) nécessite des méthodes de conception et de validation rigoureuses. Dans ce contexte la phase de test s'avère particulièrement importante car elle contribue à garantir un bon fonctionnement de l'implantation du logiciel, dans son environnement réel d'exécution. Cette thèse définit une méthode automatique de génération de tests destinés à évaluer la robustesse d'une implantation, c'est-à-dire sa capacité à respecter certaines propriétés comportementales malgré un environnement d'exécution dégradé (susceptible de fournir des entrées incorrectes, ou d'inclure des composants externes incapables de rendre le service attendu). L'approche que nous proposons est inspirée des techniques de génération de test utilisées en test de conformité des protocoles de communications dans lesquelles les suites de test sont générées à partir d'un modèle comportementale d'une spécification du logiciel. L'originalité de ce travail consiste à étendre cette technique pour prendre en compte un modèle de fautes (exprimant le comportement dégradé de l'environnement sous forme de mutations syntaxiques de la spécification) et un observateur (exprimant l'ensemble des comportements incorrects du point de vue de la robustesse). Les séquences de test produites sont alors correctes dans le sens où elles ne rejettent que des implantations non robustes vis-à-vis de cet observateur. Un prototype a été réalisé dans le cadre de la boîte à outils IF et évaluée sur des exemples d'implantation Java.

La présente recherche répond à la problématique actuelle vécue par les élèves en français, concernant les difficultés observées en écriture, particulièrement en ce qui concerne l'orthographe. En effet, cette étude s'intéresse, notamment, au développement orthographique des scripteurs du premier cycle du primaire à travers l'apport d'approches actives et novatrices pour l'apprentissage de l'écriture. L'apprentissage de l'écriture est un facteur important pour la réussite scolaire des élèves ainsi que leur insertion dans la vie en société. Toutefois, le développement de l'habileté à écrire présente certaines difficultés pour les scripteurs débutants. Les approches traditionnelles utilisées dans certaines classes présentent des limites importantes quant au développement de la langue écrite chez les élèves. Le recours à de nouvelles approches, telles que les orthographes approchées, la pédagogie de l'erreur et l'apprentissage coopératif, s'avère donc une alternative profitable pour le développement de l'écrit chez les scripteurs novices en favorisant les essais, la réflexion sur la langue, les discussions entre pairs et le partage de stratégies. L'objectif de la présente recherche est donc de décrire l'impact de tâches d'écriture coopératives, inspirées de l'approche des orthographes approchées, sur le comportement stratégique et les conceptions d'élèves du premier cycle du primaire en écriture. Le comportement stratégique observé concerne principalement les stratégies orthographiques alors que les conceptions des élèves font référence à l'erreur et à la coopération. Afin de répondre aux objectifs de recherche, des tâches d'écriture coopératives ont été créées par la chercheuse et expérimentées par une enseignante de première année auprès de 19 élèves. Des entrevues individuelles dirigées ont été conduites auprès des élèves avant et après l'expérimentation en classe afin de recueillir les impressions des élèves sur diverses facettes liées à l'écriture, à l'erreur et à la coopération. L'analyse des résultats a permis de comparer les réponses fournies par les élèves entre les deux moments de l'entrevue. L'analyse a mis de l'avant l'impact positif des tâches d'écriture perçu chez les élèves sur les plans affectif, social, cognitif et métacognitif. Des changements de conceptions positifs se perçoivent face à l'écriture, à l'erreur et à la coopération. De plus, un effet positif sur les stratégies orthographiques est visible par une augmentation des références chez les élèves à l'utilisation de stratégies phonologiques et lexicales en écriture. Cette étude met donc en lumière l'avenue intéressante qu'offre la combinaison de la pratique des orthographes approchées et de l'apprentissage coopératif pour l'apprentissage de l'écriture et le développement orthographique des élèves de première année du primaire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : écriture, scripteur novice, orthographes approchées, apprentissage coopératif, erreur.

Le présent mémoire vise deux objectifs : mesurer quantitativement l'impact du code de correction sur les habiletés des élèves à corriger des erreurs dans un texte; identifier qualitativement le niveau de cognition des participants. Ainsi, 57 élèves inscrits au programme de français, langue seconde (de base et enrichi) ont été soumis à un test de correction d'erreurs. La distribution du test (avec ou sans le code) a été faite de façon aléatoire auprès de trois groupes-classes expérimentaux. Par contre, les participants composant le groupe témoin ont reçu le même test, sans le code de correction. Au terme de ce test de correction d'erreurs, deux participants de chacun des trois groupes-classes expérimentaux ont été choisis, en tenant compte de leur score obtenu à ce test, afin de participer à une séance de verbalisation avec l'approche Penser à voix haute, suivie d'une entrevue semi-dirigée. Les résultats obtenus semblent montrer que le code de correction n'a pas eu d'impact significatif sur la performance des participants lors de ce test. En effet, le groupe contrôle, bien qu'ayant accusé un score faible de 47.6% au test, devance les trois groupes expérimentaux dont les scores sont ainsi répartis : français de base, avec code (FB_AC), 14.3% ; français de base, sans code (FB_SC), 4.3%; français enrichi, avec code (FE_AC), 38.1% ; français enrichi, sans code, 38.1% (FE_ SC). Mais l'analyse des protocoles obtenus pendant les séances de verbalisation révèle que le niveau de pensée des sujets ayant eu accès au code de correction lors du test se situerait entre les niveaux cognitifs de l'application et de l'analyse, selon la taxonomie des habiletés cognitives de Bloom. Tandis que ceux n'ayant pas eu droit au code lors du test de correction d'erreurs atteindraient un niveau de pensée qui se situerait entre les niveaux cognitifs de la compréhension et de l'application. Cependant, les données qualitatives obtenues au cours de l'entrevue semi-dirigée avec douze des 57 participants montrent que le code de correction pourrait avoir un impact positif sur la performance des apprenants en communication écrite. Mais cela dépendrait de bien des facteurs. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Erreurs récurrentes, correction d'erreur, processus rédactionnel, révision du texte, habiletés cognitives.

Texte remanié de : Thèse Doctorat : Droit privé : Lille 2 : 2000. / Titre provenant de l'écran d'accueil. Bibliogr. p. 862. Notes bibliogr. Index.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Souvent, dû a l'aspect cyclique des programmes embarqu és, les traces de microcontrôleurs contiennent beaucoup de donn ées. De plus, dans notre contexte de travail, pour l'analyse du comportement, une seule trace se terminant sur une défaillance est disponible. L'objectif du travail pr esent é dans cette th ese est d'aider à l'analyse de trace de microcontrôleurs. La premi ère contribution de cette th èse concerne l'identifi cation de cycles, ainsi que la g én ération d'une description pertinente de la trace. La d étection de cycles repose sur l'identifi cation du loop- header. La description propos ée à l'ing enieur est produite en utilisant la compression bas ée sur la g én ération d'une grammaire. Cette derni ère permet la d etection de r ép étitions dans la trace. La seconde contribution concerne la localisation de faute(s). Elle est bas ée sur l'analogie entre les ex écutions du programme et les cycles. Ainsi, pour aider dans l'analyse de la trace, nous avons adapt é des techniques de localisation de faute(s) bas ée sur l'utilisation de spectres. Nous avons aussi d éfi ni un processus de filtrage permettant de r éduire le nombre de cycles àa utiliser pour la localisation de faute(s). Notre troisi ème contribution concerne l'aide a l'analyse des cas o ù les multiples cycles d'une même ex écution interagissent entre eux. Ainsi, pour faire de la localisation de faute(s) pour ce type de cas, nous nous int eressons à la recherche de r égles d'association. Le groupement des cycles en deux ensembles (cycles suspects et cycles corrects) pour la recherche de r égles d'association, permet de d e finir les comportements jug és correctes et ceux jug és comme suspects. Ainsi, pour la localisation de faute(s), nous proposons à l'ing enieur un diagnostic bas é sur l'analyse des r égles d'association selon leurs degr és de suspicion. Cette th èse pr esente également les évaluations men ées, permettant de mesurer l'efficacit e de chacune des contributions discut ées, et notre outil CoMET. Les r ésultats de ces évaluations montrent l'e fficacit e de notre travail d'aide à l'analyse de traces de microcontrôleurs.

Droit répressif, droit des entreprises et du marché, situé aux confins du juridique et de l'économique, à la charnière des procédures et à la croisée des ordres juridiques nationaux et européens, le droit de la concurrence est un domaine original et complexe. Ces caractères laissent assurément leur empreinte sur la preuve, qui doit alors relever de nouveaux défis. La violation d'une règle de concurrence porte d'abord atteinte à l'ordre public économique; elle constitue aussi une atteinte aux intérêts privés et individuels des victimes de ces agissements anticoncurrentiels. Si ces deux volets, public et privé, du droit des pratiques anticoncurrentielles sont donc complémentaires et que l'effectivité du second contribue en effet à l'efficacité du premier, les difficultés relatives à la preuve se posent cependant en des termes différents. Dès lors, la recherche d'une cohérence des règles relatives à la preuve en droit des pratiques anticoncurrentielles impliquait une approche globale, seule permettant d'atteindre un équilibre dynamique, entre les exigences et garanties du droit de la preuve et les impératifs du droit de la concurrence. Il ressort des évolutions récentes qu'un tel équilibre peut être aujourd'hui constaté entre les règles substantielles et les règles processuelles de preuve applicables, tant dans le contentieux public que privé. L'étude de la preuve en droit des pratiques anticoncurrentielles permet ainsi de révéler que le droit de la concurrence tend aujourd'hui mieux qu'hier à concilier l'efficacité de sa mise en œuvre et la protection des droits de ses acteurs. / Competition law is markedly complex and original. Addressing both companies and markets, it combines punitive and regulative features, uses economic as well as legal tools of analysis and stands at the intersection of national and European law in both its procedural and substantial provisions. These features undoubtedly affect its use of evidence and proof. While competition law's fi st aim is to protect public economic policy, it also ensures the protection of private and individual interests against anti-competitive practices. Combining aspects of both private and public law in a complementary way, it effectively protects the interests of public policy by ensuring the protection of private actors against anti-competitive practices. While the double nature of the law on anti-competitive practices entails a different treatment of proof and evidence in the respective fields of public and private enforcement, both aspects need to be addressed together in order to reach a dynamic balance between the imperatives of competition law on the one hand and the requirements and guarantees embodied by the rules on proof and evidence on the other hand. Recent developments show that a balance between substantial and procedural rules on proof and evidence has indeed been reached in the fields of both public and private enforcement. A close study of the law on proof and evidence in the field of anti­competitive practices thus shows that today's competition law tends towards ensuring its efficient implementation as well as protecting the rights of its actors.

La conception des plateformes aéronautiques s’effectue en tenant compte des aspects fonctionnels et dysfonctionnels prévus dans les scénarios d’emploi des aéronefs qui les embarquent. Ces plateformes aéronautiques sont composées de systèmes informatiques temps réel qui doivent à la fois être précises dans leurs calculs, exactes dans l’instant de délivrance des résultats des calculs, et robustes à tout évènement pouvant compromettre le bon fonctionnement de la plateforme.Dans ce contexte, ces travaux de thèse abordent les ordonnancements temps réel tolérants aux fautes. Partant du fait que les systèmes informatiques embarqués sont perturbés par les ondes électromagnétiques des radars, notamment dans la phase d’approche des aéronefs, ces travaux proposent une modélisation des effets des ondes, dite en rafales de fautes. Après avoir exploré le comportement de l’ordonnanceur à la détection d’erreurs au sein d’une tâche, une technique de validation, reposant sur le calcul de pire temps de réponse des tâches, est présentée. Il devient alors possible d’effectuer des analyses d’ordonnançabilité sous l’hypothèse de la présence de rafales de fautes. Ainsi, cette technique de validation permet de conclure sur la faisabilité d’un ensemble de tâches en tenant compte de la durée de la rafale de fautes et de la stratégie de gestion des erreurs détectées dans les tâches.Sur la base de ces résultats, les travaux décrits montre comment envisager l’analyse au niveau système. L’idée sous-jacente est de mettre en évidence le rôle des ordonnancements temps réel tolérants aux fautes dans la gestion des données erronées causées par des perturbations extérieures au système.Ainsi, le comportement de chaque équipement est modélisé, ainsi que les flots de données échangés et la dynamique du système. Le comportement de chaque équipement est fonction de la perturbation subie, et donne lieu à l’établissement de la perturbation résultante, véritable réponse dysfonctionnelle de l’équipement à une agression extérieure. / The design of avionic platforms takes into account the functional and dysfunctional aspects, which depend on the aircraft operation concept. These avionic platforms embed computer resources that must produce accurate results at the right time, and must be dependable whatever the disturbance.In this specific context, we address the topic of fault tolerant real time scheduling. Since the embedded computer resources are disturbed by electromagnetic waves produced by radar, especially during the aircraft approach, we suggest a model of these wave effects named fault bursts. Afterthe analysis of scheduler behaviour when an error is dectected inside a task, we present a validation technique based on the evaluation of the worst case response time. By this way, we are able to study the task set feasibility under fault burst assumption and according to the error recovery strategy.Then, based on these results, we show a way to analyse the effects of disturbances such as electromagnetic waves at system level. The underlining idea is to demonstrate the main role of fault tolerant real time scheduler in the management of erroneous data. To do that, we suggest an equipment model which integrates the behaviour of the equipement when a disturbance occurs. We also describe thedata flows in order to describe the avionics platform dynamics.

Le droit est le reflet d’une société, il évolue en fonction des mœurs, des traditions et des croyances culturelles et des coutumes locales. Le développement des pays passent impérativement à une élaboration des normes, des principes et des règles de droits pour réglementer les rapports entre les citoyens. D’une manière ou d’une autre, a responsabilité est l’obligation de répondre d’un dommage devant la justice et d’en assumer les conséquences civiles, pénales, disciplinaires, etc. Telle est la responsabilité dans l’ordre juridique. Par ailleurs, à la différence des quasi-contrats qui constituent des faits licites, les délits et les quasi délits constituent des faits illicites, intentionnels ou résultant de la simple négligence. Sources de responsabilité civile, qui est l’objet de cette étude. Les compagnies d’assurance et la sécurité sociale jouent un rôle remarquable dans la réparation des préjudices causés à autrui. Cependant, pour être réparé, le préjudice doit répondre à trois conditions : à savoir : la faute, le dommage et le lien de causalité. Par ailleurs, nous étudierons dans une première partie : les éléments générateurs de la responsabilité civile en droit mauritanien et en deuxième partie : Impact de la faute et du préjudice sur les indemnisations en droit mauritanien. / The law is truthfully linked to our society, his development depends on the moral, the traditions, the cultural believes and the locals cultures. When you want to develop your country, you need to have good rules and principles in order to regulate the relationship between people. The responsibility is the obligation to respond at the damage you can cause to another person and it can lead to civil and criminal prosecution... It is the phenomena of responsibility in the legal order. Furthermore, the quasi-contracts require licit facts, but the crimes, the quasi-crimes are illegal facts, intentional or a simple negligence. All of this are the civil responsibility, which are the object of this PHD. The goal of the insurance companies and the social security is important, because they repair the damages of people. But, when you want to have a reparation, you might join these three conditions: the fault, the damage and the causal link. Face of this situation, we are going to study the different elements which lead to the civil responsibility and their impacts on the compensations in Mauritania law.

Les rapports entre créanciers et débiteurs de sûretés sont sensibles. L’importance de l’opération garantie ajoutée au déséquilibre inhérent à la sûreté explique le contentieux foisonnant que la discipline connait. Ces rapports se retrouvent parfois perturbés par la commission d’une faute : c’est à l’étude de ce type de faute que la thèse est consacrée.Les définitions usuelles de la faute et de la sûreté ont pour trait commun l’obligation : la première est un manquement à une obligation, la seconde est une garantie de l’obligation. L’obligation se présente alors comme un instrument propice à l’analyse des comportements fautifs commis par les acteurs d’une sûreté. Plus encore, l’obligation se révèle être au fondement de la sûreté : toute garantie du crédit ne peut s’expliquer qu’en référence à cet élément.En effet, l’obligation peut se décomposer en deux rapports. Le rapport obligatoire concerne la prestation et le pouvoir de contrainte du créancier ; le rapport d’obligation marque l’assujettissement de la personne, les exigences comportementales qui l’astreignent. Seul ce second rapport est systématiquement issu d’une sûreté : les parties à une sûreté doivent, pour l’essentiel, conformer leur attitude au but de l’opération. Le rapport obligatoire constitue la perspective finale : la prestation en garantie de laquelle une sûreté a été constituée.La faute ne se manifeste toutefois pas de manière unitaire lorsqu’elle entrave une sûreté. Commise par le débiteur, elle est une altération de la chance supplémentaire de paiement reconnue au créancier. Commise par le créancier, elle consiste en une altération des chances de remboursement du débiteur de la sûreté personnelle ou en une atteinte au patrimoine du constituant d’une sûreté réelle.C’est enfin au sujet de la notion de sûreté que l’analyse de la faute révèle ses intérêts. Elle est l’occasion de suggérer une définition de la sûreté, de proposer des éléments de rationalisation du droit des sûretés mais aussi de limiter les occurrences de fautes et leurs conséquences parfois délétères. / The relations between guarantee creditors and debtors are sensitive ones. The importance of the secured transaction, added to the unbalance of the guarantee explains the abundant litigation in this field. These relations are sometimes disturbed by the commission of a fault: the purpose of this thesis is to study this type of fault.The definitions of fault and guarantee have obligation as a common feature. A fault is an obligation breach, a guarantee protects the performance of an obligation. Thus, obligation appears to be a useful tool to analyze guilty behaviours in secured credit law. Moreover, obligation turns out to be the basis of guarantee: every credit guarantee is to be explained in reference to this element.As a matter of fact, the obligation can be broken down in two links. The obligatory link is about the benefit and the creditor’s enforcement power; the obligation link corresponds to the person subjugation, the behavioural requirements that he musts respect. Only this second link is systematically generated by a guarantee: the parties must essentially comply with the aim of the transaction. The obligatory link is the final prospect: the benefit, which a guarantee was established to protect.Nevertheless, the fault doesn’t manifest itself unitarily when it hinders a guarantee. The fault of the debtor is an alteration of the creditor’s additional opportunity to be paid. The fault of the creditor can be an alteration of debtor’s ability to refund or a violation of his estate, whether it is a personal safety or a property right securing payment.Eventually, it is regarding the guarantee concept that the analysis of fault reveals its interests. This analysis is an opportunity to suggest a definition of guarantee, to propose some elements in order to rationalise secured credit law but also to reduce fault occurrences and some of their deleterious effects.STAR