Henri Habrias

7
Documents
Contact

Publications

4
2
1
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
6
1

Publications

Image document

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-05317325 v1
Image document

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-04941650 v1
Image document

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-04914102 v1
Image document

From Research to Teaching Formal Methods: The B Method (TFM-B'2008)

Christian Attiogbe , Henri Habrias , Frédéric Dadeau , Jacques Julliand , Regis Tissot et 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-04975370 v1

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-00342085 v1

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-00342080 v1