Latest

• The Role of Formalism in System Requirements
• Modélisation des systèmes complexes et Points de vue : l'Ingénierie des Modèles centrée utilisateur pour l'Ingénierie Système
• A Formalization of Group Decision Making in Multi-Viewpoints Design
• A collaborative decision approach for alignment of heterogeneous models
• AutoReq: expressing and verifying requirements for control systems
• AutoReq: expressing and verifying requirements for control systems
• Towards an Anatomy of Software Requirements
• Requirements Specific Modeling Language : un langage formel d'expression d'exigences
• Collaborative model-based matching of heterogeneous models
• Heterogeneous design models alignment: from matching to consistency management
• AHM: Handling heterogeneous models matching and consistency via MDE
• Model driven consistency for heterogeneous models
• Intégration des (multi-)exigences tout au long du développement des systèmes complexes
• A contract-based method to specify stimulus-response requirements