A language agnostic approach to modeling requirements: specification and verification

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic. A language agnostic approach to modeling requirements: specification and verification. In Esther Guerra, Ludovico Iovino, editors, MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings. ACM, 2020. [doi]

Authors

Abdelghani Alidra

This author has not been identified. Look up 'Abdelghani Alidra' in Google

Antoine Beugnard

This author has not been identified. Look up 'Antoine Beugnard' in Google

Hubert Godfroy

This author has not been identified. Look up 'Hubert Godfroy' in Google

Pierre Kimmel

This author has not been identified. Look up 'Pierre Kimmel' in Google

Gurvan Le Guernic

This author has not been identified. Look up 'Gurvan Le Guernic' in Google