Requirements

Formal Requirements

Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering

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 engineering. To do so, we explore the introduction of RELAX concepts into SysMLKaos. RELAX is a Requirements Engineering …

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 presents the first results of our work on how to deal with environment uncertainty in goal-based requirements …

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 l'ingénierie des exigences. En effet, cela permet de s'assurer que le système réponde bien aux attentes du client. Si les méthodes …

Moise

MOdels and Information Sharing for System Engineering in Extended Entreprise