Dans cette thèse, nous proposons un cadre de modélisation des exigences pour les systèmes de
production manufacturiers (SPM). L'objectif de ce cadre de modélisation est d'aider les ingénieurs de
SPM dans leur tâches de modélisation dans l'environnement industriel dynamique actuel.
Il repose sur deux idées principales: une
approche multi-formalisme, combinant plusieurs
langages en un formalisme cohérent, et une
approche basée sur des composants,
arguant que des modèles de SPM peuvent être construits en partie en assemblant et en
adaptant des
composants réutilisables de modèles.
| la date de réponse | 1999 |
|---|
| langue originale | Anglais |
|---|
| Superviseur | Éric Dubois (Promoteur) |
|---|
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach
Petit, M. (Auteur). 1999
Student thesis: Doc types › Docteur en Sciences