Henri Habrias

According to our database, Henri Habrias authored at least 13 papers between 1985 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

Linking Paradigms, Semi-formal and Formal Notations.

Henri Habrias, Sébastien Faucou

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification.

Henri Habrias, Pascal André

Proceedings of the Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, 2004

2003

L'enseignement de B.

Henri Habrias

Tech. Sci. Informatiques, 2003

2000

Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric.

Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia

ACM SIGPLAN Notices, 2000

1999

The Complexity of Formal Specifications - Assessments by alpha-Metric.

Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia

ACM SIGPLAN Notices, 1999

A Study of Collaborative Work: Answers to a Test on Formal Specification in B.

Henri Habrias, Pascal Poizat, Jean-Yves Lafaye

Proceedings of the FM'99 - Formal Methods, 1999

1997

Formal Specification of Dynamic Constraints with the B Method.

Henri Habrias, B. Griech

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état.

Henri Habrias

Proceedings of the Actes du XIVème Congrès INFORSID, Bordeaux, France, 4-7 juin, 1996, 1996

1995

Diachronie et synchronie en spécification, une illustration en Z.

Henri Habrias, Pascal Bernard, Alain Vailly

Proceedings of the Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30, 1995

1994

Towards a Joint Use of NIAM, JSD and Z Methods.

H. Lamande, Henri Habrias

Proceedings of the First International Conference on Object-Role Modelling, 1994

1990

Value-Oriented and Object-Oriented Database Design with Reference to Time.

Violaine Prince, Henri Habrias

Proceedings of the International Conference on Database and Expert Systems Applications, 1990

1988

A Description of Rules through Occurring/Synthetic Cardinalities.

Henri Habrias, Patrick Legrand

Proceedings of the Entity-Relationship Approach: A Bridge to the User, 1988

1985

Expert System for Translating an E-R Diagram into Databases.

Henri Briand, Henri Habrias, J.-F. Hue, Y. Simon

Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985