Henri Habrias

14 papers A 2C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Formal Modelling of Information System Evolution using B.
ISD
Pascal André, Henri Habrias
2004 — conf
Linking Paradigms, Semi-formal and Formal Notations.
TFM
Henri Habrias, Sébastien Faucou
2004 — conf
Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification.
INFORSID
Henri Habrias, Pascal André
2003 J jnl
L'enseignement de B.
Tech. Sci. Informatiques
Henri Habrias
2000 J jnl
Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric.
ACM SIGPLAN Notices
Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia
1999 — conf
A Study of Collaborative Work: Answers to a Test on Formal Specification in B.
World Congress on Formal Methods
Henri Habrias, Pascal Poizat, Jean-Yves Lafaye
1999 J jnl
The Complexity of Formal Specifications - Assessments by alpha-Metric.
ACM SIGPLAN Notices
Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia
1997 C conf
Formal Specification of Dynamic Constraints with the B Method.
ICFEM
Henri Habrias, B. Griech
1996 — conf
L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état.
INFORSID
Henri Habrias
1995 — conf
Diachronie et synchronie en spécification, une illustration en Z.
INFORSID
Henri Habrias, Pascal Bernard, Alain Vailly
1994 — conf
Towards a Joint Use of NIAM, JSD and Z Methods.
ORM
H. Lamande, Henri Habrias
1990 C conf
Value-Oriented and Object-Oriented Database Design with Reference to Time.
DEXA
Violaine Prince, Henri Habrias
1988 A conf
A Description of Rules through Occurring/Synthetic Cardinalities.
ER
Henri Habrias, Patrick Legrand
1985 A conf
Expert System for Translating an E-R Diagram into Databases.
ER
Henri Briand, Henri Habrias, J.-F. Hue, Y. Simon