Aide au diagnostic Algorithmique Affectation de ressources Analyse Apprentissage Approximation par Intervalles Bases de connaissances Calcul scientifique Calcul symbolique Capitalisation des savoirs Classification Configuration Contraintes Déduction Démonstration automatique Documentation semi-structurée Etudes de cas Exploration combinatoire Formation

Générateurs de code Génie logiciel Gestion des opérations Heuristiques Ingénierie des modèles Intelligence Artificielle maîtrise de la complexité Maquettes numériques Mécanisation du raisonnement Méthodes formelles mise au point mise en équations Modélisation conceptuelle Moteurs d'inférence Mûrissement d'idées Ontologies Optimisation

Parallélisation perfectionnement Projet pilote Programmation logique Programmation mathématique Prolog Prototypage rapide Prototypes démonstrateurs R&D Recherche Opérationnelle Reformulations Règles métier Représentation des connaissances Réseaux sémantiques Résolution de problèmes

Satisfaction de contraintes Services Web Simulations Structuration des données Synthèses Systèmes d'aide à la décision Systèmes experts Transformation de modèles Validation Vérification Veille technologique XML