Un Système de Module Fermé pour la PLC

http://www710.univ-lyon1.fr/~csolnonCet article présente un système de modules pour la Programmation Logique par Contraintes. Ce système simple et relativement indépendant du langage précis d'utilisation (il a été conçu à l'origine pour GNU-Prolog) a la particularité d'être fermé. Par fermé nous entendons, le fait qu'il est capable de prévenir tout appel à des parties privées d'un module depuis l'extérieur de celui-ci. Bien qu'il puisse être vu comme une simple couche de sucre syntaxique, ce système offre une discipline de nommage des prédicats permettant de développer des bibliothèques et de faciliter la réutilisation du code. De plus, en ajoutant au langage une forme de fermeture inspirée de la programmation concurrente linéaire par contraintes, nous montrons comment on résout le problème bien connu de l'utilisation de la méta-programmation à travers le système de modules, en distinguant l'exécution d'un terme (prédicat call) de l'application d'une fermeture (ordre supérieur)

Conception de traces, et applications, vers une méta-théorie des traces (Towards a Meta-Thoery of traces)

By "trace" we mean any sequence of discrete events, each consisting of a set of attributes that may reflect in part the behavior of a system or observed phenomenon. What we want to study here is the process by which a trace (and its tracer) is finally designed. Traces development of a process or a family of processes is based on a serie of observations and analysis that led gradually to identify any measurable concepts and useful analysis. This analysis will eventually itself help to find new concepts for understanding the phenomenon, which, in turn, may lead to the introduction of new concepts and new measurable attributes in the trace. The identification of concepts is related to an activity of modeling and abstracting, and their transcription in a trace is seeking a representation in an easily transmissible form, also usable for analysis. What we expect from such a study, in addition, of course, of a better understanding of how the traces are built, is a rigorous methodology for developing traces based on reliable tools. An interesting result, for example, could be a domain independent prototyping language for generic trace construction. At this stage, only experimentations in the field of constraints solvers have been realized. The observation of traces showing unexpected behavior of solvers, where each constraint can be seen as an agent acting on a domain, has highlighted the potential of such a methodological approach. It was shown in particular how it was possible to improve the development of tracers using this approach for design as for implementation aspects as well. The concept of trace is used in many fields of studies, ranging from software engineering to neuronal trace, through mediated learning environment. One of the goal of this study is to facilitate, by a systematized approach of traces, a possible cross-fertilization between fields as diverse as software engineering, data analysis, education, medicine and philosophy

Conception de traces et applications (vers une méta-théorie des traces).

Méta Théorie des traces et applications Manuscrit. Etat au 5/2/2010 Il s'agit de la première version dans laquelle tous les exemples ont été mis en cohérence avec le texte.Ce document est une synthèse en évolution constante de quelques travaux et réflexions conduits après 2004 (la fin du projet OADymPPaC) et concernant une méthodologie de constructions de traces. Par "trace" nous entendons toute suite discrète non bornée d'événements constitués chacun d'un ensemble d'attributs et susceptibles de rendre compte en partie du comportement d'un système ou phénomène observé. Ce que nous voulons étudier ici est le processus par lequel une trace est finalement conçue. Le développement de traces pour un processus ou une famille de processus repose sur un cycle d'observations et d'analyses qui conduit progressivement à identifier les concepts éventuellement mesurables et utiles à une analyse. Cette analyse permettra éventuellement elle-même de trouver de nouveaux concepts utiles à la compréhension du phénomène observé, qui, à leur tour, pourront amener à introduire de nouveaux concepts mesurables et de nouveaux attributs dans la trace. L'identification des concepts est liée à une activité de modélisation et d'abstraction, et leur transcription dans une trace relève de la recherche de leur représentation sous une forme aisément transmissible, mais aussi utilisable pour les analyses. Ce que nous attendons d'une telle étude, outre bien sûr une meilleure compréhension de la manière dont sont construites les traces, c'est une méthode rigoureuse de développement de traces susceptible de s'appuyer sur des outils. Un résultat intéressant, par exemple, peut -être un langage de prototypage de trace indépendant des processus observés. Au stade où en est cette étude l'auteur n'a pu conduire que des expérimentations dans le domaine des solveurs de contraintes. L'observation par des traces du comportement parfois inattendu d'un solveur, où chaque contrainte peut-être vue comme un agent agissant sur un domaine, a mis en évidence l'intérêt potentiel d'une approche méthodologique. On a pu montrer en particulier comment il était possible d'améliorer la réalisation de traceurs grâce à cette approche tant au plan de la conception que de l'implantation. De manière générale on retrouve le concept de trace dans de nombreux champs d'études allant du génie logiciel aux traces mémorielles dans le système nerveux, en passant par l'apprentissage en environnement médié

Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables

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

Analyse du comportement des programmes à l'aide des matrices d'adjacence

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

Mathématiques et programmation analyse des besoins et inventaire de ressources au collégial /

"Ce projet constitue le troisième volet d'une recherche portant sur les applications de l'ordinateur dans l'enseignement et l'apprentissage des mathématiques au collégial"Également disponible en version papierTitre de l'écran-titre (visionné le 5 déc. 2009)Bibliogr