Modélisations

3.1. Logiciels : les objets à l’épreuve des faits (Marie-Claude Gaudel) Les applications informatiques, ainsi que les machines et systèmes qui leur servent de support sont de plus en plus complexes. Dans ce contexte, il devient très difficile de développer et de garantir les logiciels. La réalisation de logiciels de qualité est à la fois un objectif économique essentiel et un axe de recherche de longue haleine – le génie logiciel – qui combine des activités très théoriques et très appliquées...