Présentations faites lors de la journée Ada et Modélisation

  D. Minguillon, CNES (présenté par A. Canals CS) : EAST ou le logiciel libre pour Enhanced Ada SubseT

EAST (PDF, 1 Mo)

  F. Normend, CNES (présenté par A. Canals CS) : HELIOS retour d’expérience sur l’utilisation de Ada95

HELIOS (PDF, 735.1 ko)

  H. Bonnin, CS : Problématiques autour de l’extraction de propriétés avec ASIS

ASIS (PDF, 1.6 Mo)

  M. Assouline, Aonix : Modélisation à base de patrons de conception pour Ravenscar

Ravenscar Design Patterns (PDF, 463.8 ko)

  B. Maudry, Top GraphX : Modelisation d’applications réparties en CORBA

CORBA (PowerPoint, 430 ko)

  JF. Peyre, CNAM Quasar : ou modélisation d’applications concurrentes par Réseaux de Petri

Quasar (PDF, 518.8 ko)

  J. Hugues, ENST : Modélisation d’un ORB CORBA en Réseaux de Petri

PolyORB (PDF, 615.4 ko)

  P. Dissaux, TNI-Europe : Modélisation et Description d’Architecture avec AADL (en raison de problèmes personnels, P.Dissaux n’a pas pu effectuer sa présentation, il a cependant communiqué à Ada-France ses transparents)

AADL (PDF, 1.7 Mo)