Colloque

Outil Automatique d'aide à la programmation

P.N. Robillard

Membre a labase

P.N. Robillard

Résumé du colloque

La méthodologie du développement des logiciels évolue vers un niveau d'automatisation toujours plus élevé. Beaucoup de méthodes sont apparues dans le but d'aider le programmeur dans chacune des phases d'un projet informatique, soit: l'analyse, le design, et la codification. Ces méthodes, basées sur des notions de programmation structurée, visent à aider le programmeur à organiser sa pensée. Bien que des méthodes existent pour chacune des phases parties intégrantes du développement informatique, très peu d'essais d'intégration sont tentés. La principale difficulté réside au niveau des médiums de communication liant chacune des phases. Nous avons construit un outil qui aide le programmeur dans la phase de design et de codification. La progression entre les deux phases se fait de façon automatique. Cet outil permet au programmeur de communiquer avec l'ordinateur en termes de ce qu'il veut faire plutôt qu'en termes de comment il veut le faire. L'automatisation s'effectue à partir d'un langage à symbole graphique, de très haut niveau (UHLL). Ce langage qui s'apparente au pseudo code favorise chez l'utilisateur une approche descendante par raffinement graduel et structuré. L'outil vérifie que chacune des étapes logiques sont consistantes et structurées.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

L'Organisation Scientifique des Services Administratifs par les Systèmes

Phuc Doan

Un cadre conceptuel pour l'évaluation des performances des systèmes informatiques

Thien Vo-Dai

Découpage spatial de zones en planification des transports

K.G. Baass

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Mesure "in vivo" de la résistivité de structures cérébrales sous-corticales

Y. Poussart

Analyse de signatures effectuées avec un crayon accélérométrique

J.J. Brault

Développement d'un outil de recherche sur la dynamique de l'écriture manuscrite

R. Plamondon