Accueil > Mots-clés > Ingénierie des exigences et modélisation > Modélisation système et des lignes de produits    (EN)

Modélisation système et des lignes de produits

Le développement logiciel repose de plus en plus dans l’utilisation de modèles, qu’il s’agisse de système d’information d’entreprises (modèles de processus métiers) ou de systèmes de contrôle critiques (machines à états). Ces modèles peuvent intervenir à divers stade : modèles des exigences, des spécifications, architecture (model-driven architecture), test (model-based testing), réutilisation (software product lines). Leur niveau de formalisme varie aussi en fonction des besoins depuis des notation graphiques semi-formelle (ex. UML) jusqu’à des notations formelles poussées permettant des raisonnements précis (ex. Event-B).

Le CETIC dispose d’une expertise pointue sur tout le spectre des langages de modélisation ainsi que de nombreux outils géré ai sein de son laboratoire de génie logiciel.

Projets

0 | 5

Publications

Agenda

Blog

Revue de presse

Respect-IT