@inproceedings{d37b35b6cc3442ab898bdfb2738c9f57,
title = "On the importance of explicit domain modelling in refinement-based modelling design. Experiments with event-B",
abstract = "Although several authors like Zave and Jackson [11, 17], Bj{\o}rner [5], Van Lamsweerde [13] have drawn the attention of system designers on the necessity to handle domain knowledge, while designing systems, it is still a major concern nowadays.",
author = "Yamine A{\"i}t-Ameur and Idir Ait-Sadoune and P. Casteran and Paul Gibson and K. Hacid and S. Kherroubi and Dominique M{\'e}ry and L. Mohand-Oussaid and Singh, \{Neeraj K.\} and Laurent Voisin",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.; 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 ; Conference date: 05-06-2018 Through 08-06-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-91271-4\_35",
language = "English",
isbn = "9783319912707",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "425--430",
editor = "Michael Butler and Hoang, \{Thai Son\} and Alexander Raschke and Klaus Reichl",
booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings",
}