Publié
Automatic
Une approche formelle de la modélisation intégrée
Publié le - Symposium International CNES "La conception en 2000 et au-delà"
Depuis de nombreuses années les concepteurs de systèmes complexes ont à leur disposition des techniques de modélisation stables et éprouvées. Aujourd'hui la plupart de ces techniques de modélisation sont utilisées au sein de «méthodes intégrées» fournissant à l'analyste une démarche lui permettant d'appréhender des systèmes de complexité croissante. Nous proposons dans cet article une approche qui permet de rendre formelle les méthodes intégrées en les modélisant elles-même. Un exemple viendra illustrer notre propos.