Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
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 …
