Requirements

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