Projet : Orion

Précédent : Résultats nouveaux Remonter : Résultats nouveaux Suivant : Plate-forme LAMA

   
Pilotage de programmes

Participants : Monica Crubézy, Mar Marcos, Sabine Moisan, Jean-Paul Rigault, Monique Thonnat.

Résumé :

Cette année, nous avons plus particulièrement porté nos efforts sur la modélisation du pilotage de programmes pour spécifier des moteurs plus riches et pour définir des propriétés permettant des vérifications plus significatives par rapport à l'utilisation des connaissances. De plus nous avons continué le développement de la plate-forme LAMA, notamment en réalisant un compilateur YAKL vers C++.