Henri Habrias

Publication Activity (10 Years)

Years Active: 1985-2004
Publications (10 Years): 0

Publications

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