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ø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.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{AmeurACGHKMMSV18,
  author       = {Yamine A{\"{\i}}t Ameur and
                  Idir A{\"{\i}}t{-}Sadoune and
                  P. Casteran and
                  J. Paul Gibson and
                  Kahina Hacid and
                  Souad Kherroubi and
                  Dominique M{\'{e}}ry and
                  Linda Mohand{-}Oussa{\"{\i}}d and
                  Neeraj Kumar Singh and
                  Laurent Voisin},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {On the Importance of Explicit Domain Modelling in Refinement-Based
                  Modelling Design. Experiments with Event-B},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {425--430},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_35},
  doi          = {10.1007/978-3-319-91271-4\_35},
  timestamp    = {Sat, 30 Sep 2023 09:34:45 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/AmeurACGHKMMSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}