Requirements

Chaire Industrielle
Chaire Industrielle
Formal Requirements
Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering
Formal Requirements
How to handle environmental uncertainty in goal-based requirements engineering
The objective of this poster paper is to investigate on how to deal with environmental uncertainty in goal based requirements …
PDF
Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment
By nature, Cyber-physical systems are very often submitted to uncertainty events that can occur in their environment. This paper …
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
La traçabilité et l’intégration des exigences au court du cycle de vie d’un système informatique est un enjeu majeur de …
PDF
Moise
MOdels and Information Sharing for System Engineering in Extended Entreprise
Moise