Il y a 17 Résultats pour : "logiciel"
- ABSTRACTION - Interprétation abstraite et analyse statique
- ATEAMS - Analyse et Transformation a base des composition fideles des outils
- CELTIQUE - Certification de logiciel par analyse sémantique
- COMPOSE - Conception de programmes et systèmes adaptatifs
- CRISTAL - Programmation typée, modularité et compilation
- CROAP - Conception et réalisation d'outils d'aide à la programmation
- M3N - Multi-modèles et Méthodes Numériques
- MODEL - Modélisation de systèmes aléatoires
- OBASCO - Objets, aspects et composants
- OSCAR - Outils syntaxiques pour la construction et l'analyse de programmes
- PAMPA - modèles et outils pour la programmation des architectures parallèles réparties
- POP ART - Contrôle-commande temps réel sûr
- PROTHEO - Contraintes, déduction automatique et preuves de propriétés de logiciels
- RMOD - Analyses et construction de langage pour l'évolution d'applications orientées Objet
- SCILAB - Equipe opérationnelle du consortium Scilab
- SPECTRE - Spécification et programmation des systèmes communicants et temps réel
- TROPICS - Transformations et outils informatiques pour le calcul scientifique
Inria
Inria.fr
Inria Channel