Formal Modelling of Domain Constraints in Event-B

Publication type

Book Chapter

DOI

10.1007/978-3-319-66854-3_12

Journal
2017, Lecture Notes in Computer Science Model and Data Engineering, p. 153-166
Publisher

Springer International Publishing

Authors

Linda Mohand-Oussaid, Idir Ait-Sadoune

 

Comments

Post a Comment

Popular posts from this blog

Jean-Raymond Abrial (1938, 2025)

Image
  Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial est décédé les 26 mai 2025 la vieille de la conférence qui a eu lieu dans le cadre des Journées Scientifiques de l'université de Nantes et qui traitait de ses travaux et de leur mise en oeuvre dans différentes domaines.J.-R Abrial est né en 1938 à Versailles. Après des études au Prytanée militaire de la Flèche, il fera l'Ecole Polytechnique. En 1960 il sera ingénieur du génie maritime. Il sera boursier du gouvernement français à Stanford University puis au Centre de Programmation de la Marine où il travaillera sur une version du langage LTR (Langage Temps Réel). C'est là que Gérard Le Lann, qui a fait partie de l'équipe ayant conçu Internet, l'a connu. J.-R Abrial est pour lui "l'un des plus grands informaticiens français ! Peu enclin à épouser les « modes » qui agitent plus ou moins régulièrement les communautés scientifiques. Liberté de penser, de créer, et liberté d'essaimer !".A Grenoble, d...
Read more

" Aurica.ai can make mistakes. Check important info."

 On trouve des choses étonnantes sur la Toile. Je ne devrais pas m'étonner. J'ai bien enregistré un document où j'appelle Papygram ce qui est un diagramme sagittal ou arrow diagram ou mapping diagram . J'avais fait confiance à un collègue professeur de maths qui m'avait nommé ainsi ces diagrammes. Et j'avais plaisir à faire connaître monsieur et madame Papy, mathématiciens belges sur lesquels Dieudonné avait écrit. Le papygram ce ne sont pas deux patates avec des flèches allant de l'une à l'autre, mais une grosse patate avec des éléments dans la patate qui sont reliés par des flèches. C'est une autre représentation des relations.  Cette correction étant faite, revenons à notre découverte.  Voici ce que je viens de trouver. Le texte est un bel hommage à Jean-Raymond Abrial. Mais l'auteur parle de Jean-Marie Charles Abrial. Je comprends pourquoi il arrive que les "IA" nous étonnent. Notez que sur la page que je colle ci-dessous, dans une...
Read more

Why might we teach "Formal Methods" informally? And to whom? And when? Carroll Morgan

 BCS-FACS Online SeminarDate and time Thursday 25 June, 11:00 am - 1:00 pm Location Online Free registration < https://www.bcs.org/events-calendar/2026/june/hybrid-why-might-we-teach-formal-methods-informally-and-to-whom-and-when/ > Note that this event is online only. Timetable 11:00 am - Talk 12:00 pm - Questions and answers 1:00 pm - Event closes Seminar Details Title: Why might we teach "Formal Methods" informally? And to whom? And when? Speaker: Carroll Morgan Abstract: Formal Methods (for computing) was enabled by Hoare's “An axiomatic basis for computer programming” in 1969, where Formal meant “in the sense of formal logic”, i.e. reasoning based on manipulation of symbols which themselves had no intrinsic meaning (in the sense of Hilbert). Hoare's paper had itself been enabled by Floyd's “Assigning meanings to programs” just two years earlier, whose informal message might well have been -- in retrospect at least -- “Don...
Read more