RÉSUMÉ. Une des difficultés majeures pour l’automatisation du processus de test structurel réside dans la production automatique des cas de test, c’est-à-dire la détermination d’un ensemble de valeurs d’entrée pour lesquelles un point choisi du programme sera exécuté. Nous présentons ici une nouvelle méthode où ce problème est transformé en un problème de résolution de contraintes. La traductio...

We present a case study describing the formal specification and verification of the Chilean electronic invoice system, which has been defined by the Chilean taxes administration. The system is described by graphical specifications consisting of labelled transition systems, composed using synchronisation networks. Both, transition systems and networks, are parameterized. We use verification tool...

L’Intelligence Economique (ou Competitive Intelligence) est une démarche et un processus organisationnel qui permet à l’entreprise d’être plus compétitive, d’une part en surveillant l’environnement et ses changements, et d’autre part, en surveillant les changements internes. Les graphes sont parmi les outils les plus puissants de visualisation. Ils permettent d’afficher, tout type d’information...

Résumé. Le projet ANR ISICIL 1 mixe les nouvelles applications virales du web avec des représentations formelles et des processus d’entreprise pour les intégrer dans les pratiques de veille en entreprise. Les outils développés s’appuient sur les interfaces avancées des applications du web 2.0 (blog, wiki, social bookmarking, extensions de navigateurs) pour les interactions et sur les technologi...

on a beaucoup parlé du petit prince de saint-exupéry. on l’a commenté et l’a traduit. en iran, les critiques écrites sur cet ouvrage ne sont pas nombreuses, mais les paratextes du petit prince paraissent être, à ce titre, particulièrement significatifs. loin d’essayer de commenter, certains de nos écrivains ont écrit une continuation à l’histoire du petit prince. nous pouvons parler d'hypertext...

This article aims to study how mapping contributes to organize and implement Integrated Coastal Zone Management projects. In order to observe the use of spatial representations and better understand the stakeholder’s mapping practices a qualitative methodology is used. The results show that mapping was mostly used to structure and stabilize the actor’s network. MOTS-CLES : représentations spati...

Designing tools that aim at a sustainable management of waste and organic residues requires a good knowledge of the available sources and their use potential. Resulting choices should consider localisation of these sources and of the sinks capable of absorbing them. Absorptive capacities of such sinks like crops may vary in space and time as a function of their nutritional requirements. Positio...

As NLP deals with larger datasets and more computationally expensive algorithms, cutting–edge NLP research is increasingly becoming the province of companies like Google who can use an astronomical amount of resources to do NLP tasks. Smaller institutions are being left behind. In addition to this lack of resources, what resources a typical researcher does have access to are represented in a va...

{This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments. Une strat egie de construction d'interfaces utilisateur pour les syst emes de preuves assist ees par ordinateur R esum e { Cet article propose une m ethode pour ajouter une interface utilisateur moderne a un syst eme de preuves assist ees par ord...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...