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

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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