Algorithmique et Programmation. Introduction

This is the introduction to Section I/9, Algorithms and Programming, of the Encyclopaedia of Computer Science and Information Systems. This section is devoted to three fundamental tools in computer science: algorithms, machine models and programming languages

Qualité des modèles : retours d'expériences

National audienceAvec la complexification des systèmes d'information (systèmes ubiquitaires, entreprises ouvertes etc.), de nombreux nouveaux langages de modélisation sont proposés. Face à ce développement de langages spécifiques, on peut s'interroger sur la qualité des modèles qui en sont issus. Cet article traite de ce problème en tirant les leçons de nos expériences passées. Elles mettent en évidence les besoins d'outillage automatisé pour l'évaluation de la qualité de modèles, la participation conjointe des différentes parties prenantes dans le processus d'évaluation, et la nécessité d'envisager une véritable ingénierie des langages et des modèles centrée sur l'humain

Vers des transformations d'applications à parallélisme de données en équations synchrones

Ce papier présente les premiers résultats d'une étude concernant la transformation d'applications à parallélisme de données en équations synchrones. Les applications considérées sont exprimées à l'aide du métamodèle GASPARD qui étend le langage ARRAY-OL, dédié aux applications de traitement de données intensives. Le principe général des transformations envisagées est exposé ainsi que les idées de mise en oeuvre. Les modèles synchrones résultants permettent d'aborder plusieurs questions liées à la validation formelle, par exemple, vérification de propriétés de synchronisabilité, de latence, etc, en utilisant les outils et techniques formels offerts par la technologie synchrone. Ils permettent ainsi l'accès à des fonctionnalités complémentaires avec celles de l'environnement associé à GASPARD, qui propose uneméthodologie de conception conjointe matériel/logiciel de systèmes intégrés sur puce. Les transformations suivront une approche d'Ingénierie dirigée par les modèles (IDM/MDE). Des perspectives sont mentionnées concernant l'introduction d'automates de contrôle au sein des modèles obtenus

Exigences en ingénierie systèmes basée modèles

Après un rappel du type de systèmes considérés et d'un processus de conception système en phase avec l'état de l'art, nous décrivons ce que nous entendons par modèles et langage de modélisation. Nous rappelons ensuite les principaux éléments d'une théorie des exigences fondée sur le concept de propriété (PBR) compatible d'une approche d'ingénierie système basée sur des modèles (MBSE). Nous montrons ensuite comment définir, dans un langage de modélisation, des exigences basées sur le concept de propriété (PBRs) au sein même d'un modèle de conception de système, d'appliquer à ce modèle en développement un processus de conception système conforme à l'état de l'art. Nous pensons ainsi proposer des processus de définition des exigences et de solutions des systèmes qui renouvellent les pratiques actuelles du MBSE et les rendent plus adaptées au développement des systèmes d'aujourd'hui et de demain

Ocaml-templates, méta-programmation à partir des types

Le système de type du langage Objective Caml interdit le paramétrage du type d'une fonction quelconque par un type explicite ou par la valeur d'un argument. Ainsi, les fonctions polymorphes définies par l'utilisateur ne peuvent observer précisément leurs arguments sans sortir du cadre typé. Par exemple, pour typer la fonction Printf.printf, il a fallu intégrer un cas spécifique au système d'inférence du compilateur. Cela empˆeche typiquement l'écriture d'une fonction print générique ou une fonction de sérialisation bien typée (le module Marshal qui s'occupe de la sérialisation ne permet pas de vérifier les structures lues). Un autre besoin en Objective Caml est celui d'itérateurs sur un type quelconque. Quelques modules fournissent des itérateurs polymorphes comme List.map ou Hashtbl.fold mais une extension est nécessaire pour générer une fonction de copie qui duplique une structure arbitraire ou des fonctions de parcourt compliquées. Nous proposons une extension de Objective Caml permettant de générer du code arbitraire à la compilation à partir d'informations de type comme la déclaration de type ou l'instance d'un type. Cette extension, appelée Ocaml-templates, est écrite à l'aide du préprocesseur Camlp4. Un prototype est téléchargeable sur http://www.pps.jussieu.fr/~maurel/programmation/

Musique, voix chantée et apprentissage : une revue de littérature et quelques propositions d'exploitation en didactique de la phonétique des langues

Publiée par le CRINI (Centre de Recherche sur les Identités Nationales et l'Interculturalité), E-Crini est une revue scientifique électronique dont l'objectif est de diffuser et de valoriser la recherche interdisciplinaire menée en civilisation, littérature, linguistique, didactique, traductologie et cinéma, sur la question des identités : linguistiques, culturelles ou encore nationales (aussi bien au sens historique qu'au sens anthropologique du terme), à travers des perspectives croisées. L'essence même de notre laboratoire réside dans son caractère interculturel.Musique, voix chantée et apprentissage : une revue de littérature et quelques propositions d'exploitation en didactique de la phonétique des langues Sandra CORNAZ, Diane CAUSSADE Résumé La première partie de cet article est consacrée à une présentation des caractéristiques qui rapprochent ou différencient musique et parole. Nous questionnons en particulier leurs liens fonctionnels, structurels, phylo-et ontogénétiques. Dans la deuxième partie, nous rappelons un ensemble de recherches ayant conclu à l'effet bénéfique de la musique, de la chanson et de la voix chantée sur les acquisitions et les apprentissages, notamment phonétiques. C'est dans ce contexte qu'est définie succinctement la méthode verbo-tonale, une méthode d'intégration phonétique particulièrement pertinente dans la mesure où certains des outils qu'elle préconise, par exemple la prononciation nuancée, peuvent être considérés comme musicaux. Certains d'entre eux s'approchent même de la voix chantée. La troisième partie de l'article, en lien direct avec l'atelier mené durant le colloque Langues en Mouvement (Nantes, 2012), est l'occasion d'aborder d'autres approches, provenant d'ouvrages de chant et d'orthophonie, de la pratique chantée pour l'amélioration de la compétence phonétique. La plupart d'entre elles, quoique non utilisées en didactique des langues, nous semblent en effet fort intéressantes dans un objectif de rééducation à la perception et à la production de phonèmes non-natifs. C'est pourquoi, nous accompagnons leur présentation d'informations sur leurs intérêts phonétiques et proposons des manières de les utiliser en classe de langue. Nous espérons ainsi mettre à disposition des enseignants de langue quelques activités chantées qu'ils puissent aisément reprendre pour instaurer une séance originale de phonétique corrective dans leur classe. Abstract The first part of this article discusses the characteristics that bring together and differentiate music and speech. We examine in particular their functional, structural, phylo-and ontogenetic links. In the second part, we reappraise a set of research papers, each concluding on the beneficial effect of music, singing and singing voice on acquisition and learning, in particular phonetic. It is in this context that is briefly defined the verbo-tonal method, a method of phonetic integration particularly relevant in so far as some of the tools it advocates, for example finely-shaded pronunciation. This method can be considered as highly correlated with musical support. Some of the suggested tools use more a singing-voice than a spoken-voice. The third part of the article, directly related to the workshop that took place during the Languages in Motion symposium (Nantes, 2012), discusses other approaches, coming from work on singing and speech therapy, involving the use of singing to improve phonetic competence. Most of them, though unused in language teaching, actually seem very interesting to us regarding the objective of re-education on the perception and production of non-native phonemes. That is why their introduction goes with information about their phonetic interests and we suggest ways to use them in class. Thus we hope to suggest singing voice activities that language teachers can easily use to establish an original corrective phonetics session in their class

Méthodes de développement de systèmes multi-agents

http://www.emse.fr/~picard/publications/gleizes08glis.pdfNational audienceLes systèmes multi-agents (SMA) ont montré leur pertinence pour la conception d'applications distribuées (logiquement ou physiquement), complexes et robustes. Le concept d'agent est aujourd'hui plus qu'une technologie efficace, il représente un nouveau paradigme pour le développement de logiciels dans lesquels l'agent est un logiciel autonome qui possède un objectif, évolue dans un environnement dynamique et interagit avec d'autres agents au moyen de langages et de protocoles. Souvent, l'agent est considéré comme un objet " intelligent " ou comme un niveau d'abstraction au-dessus des objets et des composants. Les méthodes de développement orientées objet - au vu des différences entre les objets et les agents - ne sont pas directement applicables au développement de SMA. Il est alors devenu nécessaire d'étendre ou de développer de nouveaux modèles, de nouvelles méthodes et de nouveaux outils adaptés au développement de systèmes multi-agents. L'objectif de cet article est d'établir la spécificité du paradigme multi-agent, de donner un aperçu du processus de développement d'un SMA au travers de la méthode ADELFE et de donner les caractéristiques des principales méthodes de conception de SMA en donnant les caractéristiques essentielles de chacune

Aux sources de la R&D : genèse des théories de la conception réglée en Allemagne (1840-1960)

Cet article étudie les sources allemandes de la conception systématique à trois périodes charnières (1850, 1900 et 1950). Il montre que la conception systématique qui apparaît si intuitive et naturelle aujourd'hui résulte de décennies de travaux d'enseignants et d'industriels pour s'extraire des intuitions trompreuses et des effets de fixation propres aux objets inconnus. Ces théories correspondent à des efforts de rationalisation de l'activité de conception à des périodes historiques bien précises (rattrapage industriel de l'Allemagne de la première révolution industrielle ; accompagnement de la seconde révolution industrielle ; rationalisation du travail d'esprit dans la RDA d'après-guerre). Alors que les sciences de lingénieur modélisent les objets existants, les théories de la conception guident le raisonnement sur des objets encore inconnus à l'aide des objets connus. Ces formalismes ne cherchent pas l'innovation singulière mais l'efficacité des capacités de conception. Ils peuvent s'évaluer en fonction de la variété des situations de conception qu'ils couvrent (pouvoir génératif) et des capacités qu'ils exigent de leurs utilisateurs (pouvoir conjonctifs). La conception systématique apparaît comme le formalisme ayant un pouvoir génératif et un pouvoir conjonctif particulièrement forts

ASAP approche orientée : services pour un support agile et flexible des processus de conception de produit dans les systèmes PLM

To cope with market dynamic and shortened time to market, industrial companies need toimplement an effective management of their design processes (DPs) and product information.Unfortunately, Product Lifecycle Management (PLM) systems which are dedicated to support designactivities are not efficient as it might be expected. Indeed, DPs are changing, emergent and nondeterministic, due to the business environment under which they are carried out. The aim of this workis to propose an alternative approach for flexible process support within PLM systems to facilitate thecoupling with the environment reality. The purpose of a support system is to accelerate the process byautomating the notification and dispatching of information and activities between actors. It also allowsto keep track of transactions and decisions made and to increase processes standardization. Our goal isto propose a solution which allows process change at run-time without having to redefine and restartthe whole of process activities. To achieve this, we proposed an approach based on service-orientedarchitectures (SOA). These architectures allow defining modular applications, using loosly coopledservices. They are mainly exploited for software systems and Web development. Our goal is to declinesuch architectures at the business level of a company in order to perform flexible DPs deploymentbased on services reuse and composition. We propose an identification approach for business levelservices (product design services) and functional PLM services. These services are organized in twocatalogs of business and functional services. Our approach is based on Model Driven Approach withthree levels which propose alignment mechanisms between business, functional and technical levels.These alignment mechanisms between levels allow integrating change and automating design processdeployment.La dynamique de l’offre et de la demande des produits manufacturiers ainsi que leraccourcissement de leurs cycles de vie obligent les entreprises industrielles à se doter de processus dedéveloppement produit dynamiques et agiles. Nos travaux se positionnement sur le supportinformatisé de ces processus de développement qui sont actuellement gérés par les systèmes PLM.L’objectif d’un support informatisé est d’accélérer le processus en automatisant la notification et ladiffusion des informations. Il permet également de garder trace des opérations et décisions effectuéeset d’accroître la standardisation des processus. Face à la rigidité des solutions actuellement proposéespour gérer les processus vis-à-vis des modifications survenant dans le processus, notre objectif est deproposer une approche permettant de modifier un processus en cours d’exécution sans devoir leredéfinir et le relancer dans son ensemble. Pour y parvenir, nous avons proposé, une approche quidécline une orientation services inspirée des architectures orientées services (SOA). Ces architecturespermettent de définir des applications modulaires, en utilisant des services faiblement couplés. Notreobjectif est de décliner une telle architecture exploitée essentiellement pour les systèmes logiciels et leWeb, au niveau métier de l’entreprise afin de modéliser et d’exécuter de manière flexible desprocessus de conception de produits par composition de services réutilisables. Nous proposons unedémarche d'identification des services du domaine métier des processus de conception produit et dudomaine fonctionnel du PLM. Ces services sont organisés dans deux catalogues de services métiers etfonctionnels. Notre approche s'inscrit dans le cadre de l'Ingénierie Dirigée par les Modèles (IDM) avecune architecture de réference à trois niveaux et des mécanismes d’alignement entre les niveaux métier,fonctionnel et logiciel. Ces mécanismes d'alignement entre les niveaux permettent d’intégrerl’évolution et d'automatiser le déploiement d’un processus de conception du niveau métier auxniveaux fonctionnel et logiciel