RDF est un langage de représentation de connaissances basé sur des graphes étiquetés, conçu par le W3C pour le Web sémantique et le Web des données. En tant que langage d’échange pivot, il peut être utilisé pour représenter des arbres de syntaxe abstraite (AST) de langages. Par exemple le langage OWL a plusieurs syntaxes dont une syntaxe fonctionnelle et une syntaxe RDF, de même que le langage ...

Le langage de spdcification fomlelle est fond6 sur les structures de traits typ6s. La r6utilisation de spdcifications linguistiques est favoris6e par l'organisation de ces sp6cifications darts un style par objets, en plusieurs niveaux de sp6cificit6 croissante. Ce langage est suffisement puissant pour pouvoir d6crire tout type d'objet linguistique, et a l'avantage d'utiliser une notation largem...

Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une i...

Les contraintes d’architecture sont des spécifications définies par les développeurs dans la phase de conception, qui permettent de vérifier, après une évolution de l’architecture, si sa description est encore conforme aux conditions imposées par un patron ou un style architectural. Ces spécifications peuvent être exprimées avec un langage standardisé comme OCL (Object Constraint Language). Afi...

The goal of this paper is to investigate various language model smoothing techniques and decision tree based language model design algorithms. For this purpose, we build language models for printable characters (letters), based on the Brown corpus. We consider two classes of models for the text generation process: The n-gram language model and various decision tree based language models. In the...

Nous présentons le noyau d’un langage explicitement parallèle et fonctionnel pur d’ordre supérieur CDS*. Il est basé sur des structures de données concrètes explicitement distribuées. Nous donnons un aperçu de la sémantique dénotationnelle, opérationnelle et d’une sémantique de réécriture qui la réalise. Des exemples illustrant l’expressivité du langage ainsi que la simulation de leur exécution...

RÉSUMÉ. Les exigences d’un logiciel, souvent rédigées en langage naturel, sont à la base des phases de conception et de test fonctionnel. Le langage naturel est par nature ambigu, et les exigences peuvent donc être différemment interprétées lors de la construction et de la validation du logiciel. C’est pourquoi nous proposons une méthode de raffinement progressif des exigences vers des modèles ...

Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...