Jean-Raymond Abrial, Z, Socrate, B, Event-B, Rodin

  https://www.jaist.ac.jp/~bjorner/ae-is-budapest/talks/Sept19am3_Abrial.pdf Have we Learned from the Vasa Disaster? Jean-Raymond Abrial ETH Zurich September 19th 2006 

  https://www.academia.edu/52001742/Refinement_decomposition_and_instantiation_of_discrete_models_Application_to_Event_B?email_work_card=view-paper&li=0 https://doi.org/10.5555/1365972.1365974   Original PDF Related Refinement, Decomposition and Instantiation of Discrete Models Jean-Raymond Abrial ETHZ Zurich, Switzerland jabrial@inf.ethz.ch It is my belief that the people in charge of the development of large and complex computer systems must adopt a point of view shared by all mature engineering disciplines, namely that of using an artifact to reason about their future system during its construction. In these disciplines, people use blue-prints (in the wider sense of the term) which allows them to reason formally during the very construction process. Most of the time, in our discipline, we do not use such artifacts. This results in a very heavy testing phase on the final product, which is well known to happen quite often too late. Th...

   Introduction Henri Habrias henri.habrias@univ-nantes.fr The last thing you find when writing a book is knowing which one to put first . Blaise Pascal, Discourse on the Passions of Love My first computer science books were Meyer and Baudoin's Programming Methods, Mickaël Jackson's books, Jean-Dominique Warnier's books, and Delobel Adiba's Databases and Relational Systems. I quickly supplemented these with those by Tony Hoare (CSP) and Robin Milner (CCS), whose teaching methods I appreciated. At that time, I was doing what was called "method integration," in addition to "methodology," the study of methods (1), a term that was used in the timetable when I arrived at the IUT of Nantes. Naive set theory—which I didn't experience in high school—(2) was implemented in Warnier's LCP. When I introduced it to some colleagues trained in computer science, the reception wasn't warm. J.R. Abrial recounts the same thing in his lecture at the Collège ...

  https://catalogue.bnf.fr/ark:/12148/cb38384589k Notice bibliographique Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation + Image animée : vidéo Titre(s) : Logique et preuve [Multimédia multisupport] : méthode B / Jean-Raymond Abrial, aut. ; Henri Habrias, réal. Publication : Marseille : Abrial, Jean-Raymond, 1997 (cop.) Éditeur : Abrial, Jean-Raymond (1938-....) Description matérielle : 1 brochure (26-49-26 p.) : ill., couv. ill. en coul. ; 30 cm 3 cass. vidéo (VHS) (59 min, 46 min, 18 min) : coul., SECAM Note(s) : Cop. 1997 Auteur(s) : Abrial, Jean-Raymond (1938-....). Auteur du texte Habrias, Henri. Réalisateur Sujet(s) : Mathématiques Thème(s) : Sciences Genre : non fiction Typologie : enseignement supérieur Identifiants, prix et caractéristiques : ISBN 2-906082-27-9 Notice n° : FRBNF38384589  Localiser ce document (1 Exemplaire) 1 Tolbiac - Rez-de-jardin - magasin - Salle P 8 MU-18551 support : multisupport     

  https://www.uga-editions.com/menu-principal/collections-et-revues/collections/promethee/du-big-data-a-l-ia-1439009.kjsp Notre monde est devenu numérique, et les données, un point central à toute activité humaine et un bien de consommation avec une véritable valeur marchande. Essentielles pour entraîner les intelligences artificielles, elles fournissent désormais la matière première des algorithmes de demain. Depuis six décennies, la communauté grenobloise de l’IMAG (Informatique et Mathématiques Appliquées de Grenoble) joue un rôle de premier plan dans le domaine du traitement des données, des informations et des connaissances : ouverture de nouveaux domaines de recherches, création de formations adaptées, coopérations innovantes avec des partenaires industriels européens et internationaux, etc. Cet ouvrage se veut à la fois témoin de cette histoire riche et complexe, et porteur des travaux menés actuellement dans des domaines aussi variés que le web des données et de...