×
2018
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
[DOI]
Yamine Aït Ameur
,
Idir Aït-Sadoune
,
P. Casteran
,
J. Paul Gibson
,
Kahina Hacid
,
Souad Kherroubi
,
Dominique Méry
,
Linda Mohand-Oussaïd
,
Neeraj Kumar Singh
,
Laurent Voisin
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018