Précédent : Architectures de logiciels Remonter : Projet LANDE Suivant : Adaptation dynamique de programmes systèmes

Actions industrielles

• Adaptation dynamique de programmes systèmes par spécialisation incrémentale
• Génération automatique de services réseaux intelligents
• Optimisation du micro-noyau IBM
• Aide à la production de jeux de tests
• Preuve de propriétés de sécurité