The formalisation of specifications from specifications written in natural language

pp. 369-374International audienceThe activity of specification is becoming considerable; every day an enormous quantity of pages which, for the most part, is written in natural language. For CNET, which carries out studies of the services and equipment of France Telecom and which has the capability of putting into practice the stages of specification and validation, the need to reduce the time needed in the development of the services is a priority. One method towards achieving this objective is to formalise the maximum number of specifications received. With this in mind, we will try to demonstrate the possibility of a certain automation in the passage from the informal to the formal, by means of methods and proven tools, available to assist an expert in specifications. For this end we propose a process of formalisation which relies on an intermediary representation of the specifications with the formalism of conceptual graphs before arriving at a formal description in Z of the initial spécification

RÉDACTION DE SPÉCIFICATIONS FORMELLES : ÉLABORATION À PARTIR DES SPÉCIFICATIONS ÉCRITES EN LANGAGE NATUREL

National audienceL'activité de spécification devient considérable ; une multitude de pages sont écrites tous les jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des Télécommunications), qui réalise des études de services et d'équipements de France Telecom, et qui possède la maîtrise des étapes de spécification et de validation, a nécessité de réduire les temps de développement des services est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Dans ce contexte, nous essayerons de montrer, la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécifications. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentatin intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z de la spécification initiale

A method and a tool for geocoding and record linkage

For many years, researchers have presented the geocoding of postal addresses as a challenge. Several research works have been devoted to achieve the geocoding process. This paper presents theoretical and technical aspects for geolocalization, geocoding, and record linkage. It shows possibilities and limitations of existing methods and commercial software identifying areas for further research. In particular, we present a methodology and a computing tool allowing the correction and the geo-coding of mailing addresses. The paper presents two main steps of the methodology. The first preliminary step is addresses correction (addresses matching), while the second caries geocoding of identified addresses. Additionally, we present some results from the processing of real data sets. Finally, in the discussion, areas for further research are identified.addresses correction; geocodage; matching; data management; record linkage

Infeção Perinatal por Streptococus do Grupo B: Prevenção

Instructional software is more en more used in education. This drives pedagogy and computer science toward research on its own design. We submit in this paper a design method which is on the one hand based on the original properties of numeric information, and on the other hand on the pedagogical management of this information. Our method is founded on a model of information’s representation (the Logical Units) along with a design approach that actually allows the representation of the information according to the model. We finally describe an experiment we completed, in order to apply and evaluate ourL’usage des supports hypermédia dans la formation est aujourd’hui en pleine expansion. Cette expansion invite les pédagogues et les informaticiens à réfléchir sur la conception de tels supports. Nous proposons, au travers de cet article une méthode de conception fondée d’une part sur les propriétés originales du support et d’autre part sur l’exploitation de ce support dans un cadre de formation. Notre approche est basée sur un modèle de représentation de l’information (les Unités Logiques) et sur une logique de conception permettant effectivement de représenter l’information sous une telle forme. Nous présentons également une expérience qui nous a permis de mettre en oeuvre et de commencer à évaluer nos travauxCrozat Stéphane, Trigano Philippe. Une démarche de conception des supports hypermédias orientée vers leur exploitation pédagogique : modèle et expérience . In: Spirale. Revue de recherches en éducation, n°28, 2001. Nouveaux outils, nouvelles écritures, nouvelles lectures, sous la direction de Annette Beguin. pp. 83-104

A QTI editor integrated into the netUniversité web portal using IMS LD

Commentary on: Chapter 10: Integrating Assessment into E-learning Courses. (Joosten ten Brinke, Gorissen & Latour, 2005)Abstract: This paper presents our research work concerning the development of a QTI player and QTI editor that are integrated in a web portal, called netUniversité, to support teachers in desiging educational Web sites based on pedagogical scenarios represented in IMS LD. In the first part of this paper, we introduce the context of our research work. Then we present a general overview of the netUniversité web portal. Finally, web describes the development process of the QTI player and editor as well as the QTI player integration mechanism into the netUniversité navigator module.Editors: Colin Tattersall and Rob Koper

An IMS LD Graphic Editor using the graphs representation for modifying the course structures

Commentary on: Chapter 20: Delivery of Learning Design: the Explor@ System?s Case. (Paquette, Marino, De la Teja, Léonard, & Lundgren-Cayrol, 2005) Abstract: We developed a Web portal, named netUniversité, that enables the teachers to create their courses online then to visualize, manage and participate to them. In order to create and execute the courses content, we have implemented an IMS LD player and an IMS LD web course content editor. These modules are integrated in the netUniversité;. Using this application the teacher can automatically generate educational Web site structures, adding the pedagogical contents in these structures. However, the main weakness of a web editor (like ours) is the lack of a global view of course structure. These aspects prompted us to create a graphical editor that offers to the teacher a perspective on the IMS LD document with the possibility to perform some basic editing operations (adding, moving, deleting) in order to complete the web editor. In this paper we describe our approach concerning this graphical editor that is included in the web editor to the netUniversité; web portal. Editors: Colin Tattersall and Rob Koper

Structuration et scénarisation de documents pédagogiques numériques dans une logique de massification

In one hand digital documents are more en more used and in the other hand new needs are emerging in the field of institutional education and professional training. The consequence is a skyrocketing development of instructional digital documents. In this paper we submit an industrial design model that aims to conciliate a generic documentary meta-model along with specific pedagogical models, in a mass-production context. Our research is based on a theoretical approach from the state of the art study (content/form separation, content ! scenario separation and content ! actions association) and on a empirical approach from practical experiments (XF01 and SCENARI). The result of our work is PS/LU metamodel which enables a methodological and a technological framework in order to : logically represent multimedia and pedagogical information (as Logical-Units), deal information towards pedagogical scripts (as Pedagogical-Schemas) and present information so that it can be manipulated (as Interaction-Sheets).La croissance spectaculaire du numérique (internet en tête), combinée aux besoins nouveaux dans le domaine de la formation (professionnelle notamment ) ont conduit à un développement considérable de la production de documents pédagogiques numériques. Notre travail s’inscrit au sein de cette problématique, afin d’élaborer un modèle de conception industrielle qui permette l'application d’un modèle documentaire générique, et l'intégration de modèles pédagogiques spécifiques, dans une perspective de massification. Ce modèle a été conçu à partir d’une approche théorique depuis l’état de l’art (séparation fond/forme, séparation contenu/scénarisation et association information/actions) et une approche empirique depuis nos expérimentations (XF01 et SCENARl). Le résultat de ce travail est le métamodèle SP/UL qui propose une approche méthodologique et technologique afin de représenter logiquement l’information multimédia pédagogique (sous forme d’unités logiques), de distribuer l’information au sein de scénarii pédagogiques (sous forme de schémas pédagogiques), et de présenter l’information pour la manipuler (sous forme de feuilles de comportement).Crozat Stéphane, Trigano Philippe. Structuration et scénarisation de documents pédagogiques numériques dans une logique de massification. In: Sciences et techniques éducatives, volume 9 n°3-4, 2002. pp. 371-408

Adaptative hypermedia unit of learning model

COMPIEGNE-BU (601592101) / SudocSudocFranceF

Développement d'une méthode et d'un outil d'aide à l'évaluation (application à la mobilité urbaine)

Ces travaux portent sur l'évaluation des projets de transport à partir d'un ensemble de critères ayant des degrés d'importance différents, en interaction, évalués par des sources d'information hétérogènes (experts, enquêtes, capteurs, modèles etc.). Les données collectées sont généralement entachées d'incertitude, d'imprécision et d'incomplétude. Pour résoudre ce problème d'évaluation des projets de transport, nous proposons une approche hybride baptisée HA4IA. Elle est basée sur la théorie de l'analyse multicritères, la logique floue et la théorie des croyances. Ces cadres théoriques présentent un cadre propice pour la gestion des données imprécises et incertaines. Nous proposons aussi un outil orienté web (DeSSIA), basé sur l'approche proposée. L'approche a été appliquée pour plusieurs projets de transport implémentés (à La Rochelle - France) dans le cadre d'un projet européen (SUCCESS / programme CIVITAS). L'outil développé est basé sur un environnement informatique open source (R, PHP, Mapserver, Mapscript, Jpgraph, XHTML, Ajax etc.). Il permet d'évaluer divers impacts liés à la mobilité urbaine. Les résultats d'évaluation peuvent être représentés sous forme de graphes (à l'aide des techniques de représentation graphique) ou de cartes (trafic, pollution, acoustique). La cartographie permet de représenter la répartition spatio-temporelle des impacts présentant un outil supplémentaire d'aide à l'évaluation géospatiale. Tout au long du développement de cet outil, une attention particulière a été accordée à l'identification et aux réponses apportées aux attentes de potentiels utilisateurs: services de transports urbains, spécialistes en aménagement du territoire, socio-économistes ou écologistes.These works problem consists in evaluating projects of transport starting from a set of criteria having different degrees of importance, in interaction and evaluated by heterogeneous sources of information (experts, surveys, sensors, model etc). The collected data are generally sullied with uncertainty and inaccuracy. To solve this problem of projects evaluation related to transportation, we propose a hybrid approach entitled HA4IA (Hybrid Approach for Impacts Assessment). It is based on the theory of the multi criteria analysis, fuzzy logic and belief theory. These theoretical frameworks present a favourable framework for the management of the vague and uncertain data. We propose also a tool (DeSSIA), based on the proposed approach. The approach was applied for several projects of transport implemented (in La Rochelle - France) within the framework of a European project (SUCCESS under CIVITAS program). The developed tool is based on a data-processing environment open source (R, PHP, Mapserver, Mapscript, Jpgraph, XHTML, Ajax etc). It makes it possible to evaluate various impacts related to urban mobility. The results of evaluation can be represented in the form of graphs (using the techniques of chart) or of maps (traffic, pollution, acoustics). The cartography makes it possible to represent the space-time distribution of the impacts presenting an additional geo-space tool of evaluation aid.COMPIEGNE-BU (601592101) / SudocSudocFranceF

Eléments pour la conception industrialisée des supports pédagogiques numériques

COMPIEGNE-BU (601592101) / SudocSudocFranceF