pen icon Colloque
quote

Génération automatique d'interfaces logicielles de haut niveau en Ada

Louis-Simon Binette
LB

Membre a labase

Louis-Simon Binette

Résumé du colloque

La prolifération des langages de programmation au fil des ans a grandement contribué à la crise du logiciel, en raison de l'absence de stratégies prônant la réutilisation dans un contexte multi-langage. Une stratégie possible consiste à introduire une couche logicielle moyenne faisant office d'interface entre la librairie et l'application. L'analyse formelle de programmes a été mise à profit pour automatiser la conception d'interfaces dotées d'un haut niveau d'abstraction. Une approche de ce type accroît sensiblement la portabilité et la fiabilité des applications, en raison de l'encapsulation des dépendances et de l'uniformisation du traitement, respectivement. La communication relatera ces considérations ainsi que l'exercice pour interfacer les applications écrites en Ada avec la librairie FORTRAN IMSL laquelle comporte quelque deux mille (2000) routines mathématiques, statistiques et autres fonctions spéciales.

Contexte

Section :
Informatique et recherche opérationnelle
news icon Thème du colloque :
Informatique et recherche opérationnelle
host icon Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Informatique et recherche opérationnelle
Organisation systémique d’un programme de formation technique
Réjean Gagné
Évaluation et analyse critique de la productivité informatique
Hadj Benyahia
Un algorithme pour construire tous les partages de n en m parts
Gérard Lévy
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Informatique et recherche opérationnelle
Génération automatique d'interfaces logicielles de haut niveau en Ada
Louis-Simon Binette