Partenaires
Rechercher
Navigation
Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Problématique
Problématique
Le génie logiciel concerne l’ensemble des activités de conception et de mise en oeuvre des produits et des procédures tendant à rationaliser la production du logiciel et son suivi. En tant que science de l’ingénieur, il a pour finalité la spécification, la conception, la fabrication et la maintenance de systèmes logiciels complexes, sûrs et de qualité. Il nourrit les autres branches de l’informatique et se caractérise notamment par le développement de ses propres outils informatiques au travers de théories, méthodes, techniques, langages et outils. Son spectre technique le conduit à expérimenter aussi bien des techniques formelles que des démarches empiriques. Il est de plus perméable à d’autres disciplines relevant des activités d’un cycle de vie d’un produit.
L’équipe MACAO (Modèles, Aspects et Composants pour des Architectures à Objets) fédère des chercheurs de sensibilités diverses, à l’instar du génie logiciel : composants, langages multi-paradigmes, méthodes formelles, processus de développement, modélisation temps réel. Les travaux de l’équipe ont pour dénominateur commun la notion de modèle, paradigme récent basé sur une représentation abstraite et simplifiée d’un système permettant de le comprendre et de le manipuler. Dans ce type d’approche, tout ou partie d’une application informatique se dérive plus ou moins automatiquement de modèles, là où les ingénieurs avaient autrefois pour habitude de construire directement des programmes.