Abstract FR:

Cogito est un système prototype qui génère automatiquement un algorithme impératif optimise à partir d'une spécification de programme exprimée dans un langage déclaratif de très haut niveau. C'est un système général, qui utilise une méthodologie de type transformationnel et qui fonctionne de manière complètement automatique. Chaque transformation étant prouvée valide, l'algorithme généré par Cogito est par construction correct par rapport à la spécification initiale. Cogito est écrit sous la forme d'un système expert à règles de productions d'ordre 1. Le langage de spécification est un langage formel de type mathématique et le système utilise pour raisonner une représentation conceptuelle des données effectuée dans un modèle sémantique de type entité-association. L'avantage principal du système est de situer l'activité de programmation à un niveau d'abstraction plus élevé que son niveau habituel, ce qui induit de nombreuses conséquences telles que notamment: la diminution des couts de développement et de maintenance de l'augmentation de la fiabilité des logiciels produits