Henri Habrias

Publications

Communication dans un congrès (2)

Formal Modelling of Information System Evolution using B Pascal Andre,Henri Habrias 33RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT (ISD2025 BELGRADE, SERBIA), Faculty of Organizational Sciences, University of Belgrade, Sep 2025, Belgrade (Serbia), Serbia Communication dans un congrès hal-05317325v1
A Description of Rules through Occurring/Synthetic Cardinalities Henri Habrias,Patrick Legrand Seventh International Conference on Enity-Relationship Approach: A Bridge to the User, Nov 1988, Roma, Italy. pp.365-380, ⟨10.5555/647512.726834⟩ Communication dans un congrès hal-04941650v1

Proceedings/Recueil des communications (2)

From Research to Teaching Formal Methods: The B Method - TFM-B'2009 Christian Attiogbe,Henri Habrias Journées Scientifiques de l'Université de Nantes, Université de Nantes, pp.134, 2009, 2-9512461-0-2 Proceedings/Recueil des communications hal-04914102v1
From Research to Teaching Formal Methods: The B Method (TFM-B'2008) Christian Attiogbe,Henri Habrias,Frédéric Dadeau,Jacques Julliand,Regis Tissotet al. The B Method: from Research to Teaching, Jun 2008, Nantes (France), France. Université de Nantes, pp.163, 2008, 978-2-9512461-2-9 Proceedings/Recueil des communications hal-04975370v1

Ouvrages (1)

From Research to Teaching Formal Methods: The B Method (TFM-B'2008) Christian Attiogbe,Henri Habrias Université de Nantes, pp.147, 2008 Ouvrages hal-00483735v1

Chapitre d'ouvrage (2)

20 - Glossary Henri Habrias,Pascal Poizat,Marc Frappier Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 Chapitre d'ouvrage hal-00342085v1
19 - A Comparison of the Specification Methods Marc Frappier,Henri Habrias,Pascal Poizat Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 Chapitre d'ouvrage hal-00342080v1