References

  1. Jean-Raymond Abrial (2010): Modeling in Event-B - System and Software Engineering. Cambridge University Press, doi:10.1017/CBO9781139195881.
  2. Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010): Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), pp. 447–466, doi:10.1007/s10009-010-0145-y.
  3. Yamine Aït Ameur, J. Paul Gibson & Dominique Méry (2014): On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Proceedings, Part II, doi:10.1007/978-3-662-45231-8_50.
  4. Yamine Aït Ameur & Dominique Méry (2016): Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, pp. 100–127, doi:10.1016/j.scico.2015.12.004.
  5. Abdelkrim Chebieb & Yamine Aït Ameur (2015): Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. In: 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015, doi:10.1109/TASE.2015.25.
  6. Kahina Hacid & Yamine Aït Ameur (2016): Annotation of Engineering Models by References to Domain Ontologies. In: Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings, pp. 234–244, doi:10.1007/978-3-319-45547-1_19.
  7. Kahina Hacid & Yamine Aït Ameur (2016): Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. In: Tiziana Margaria & Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Lecture Notes in Computer Science 9952, pp. 340–357, doi:10.1007/978-3-319-23781-7_8.
  8. ISO (1998): Industrial automation systems and integration. Parts library. Part 42: Description methodology: Methodology for structuring parts families. ISO ISO13584-42. International Organization for Standardization, Geneva, Switzerland.
  9. Linda Mohand-Oussaïd & Idir Aït-Sadoune (2017): Formal Modelling of Domain Constraints in Event-B. In: Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, pp. 153–166, doi:10.1007/978-3-319-66854-3_12.
  10. Linda Mohand Oussaïd & Idir Ait-Sadoune (2017): OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel. In: AFADL 2017, Montpellier, France, pp. 117–121.
  11. W3C OWL Working Group (27 October 2009): OWL 2 Web Ontology Language: Document Overview. W3C Recommendation. Available at http://www.w3.org/TR/owl2-overview/.
  12. David Simon Zayas, Anne Monceaux & Yamine Aït Ameur (2010): Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. In: Radu Calinescu, Richard F. Paige & Marta Z. Kwiatkowska: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society, doi:10.1109/ICECCS.2010.35.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org