2004 |
12 | | Henri Habrias,
Pascal André:
Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification.
INFORSID 2004: 387-403 |
11 | EE | Henri Habrias,
Sébastien Faucou:
Linking Paradigms, Semi-formal and Formal Notations.
TFM 2004: 166-184 |
2003 |
10 | EE | Henri Habrias:
L'enseignement de B.
Technique et Science Informatiques 22(1): 131-132 (2003) |
2000 |
9 | | Peter Kokol,
Vili Podgorelec,
Henri Habrias,
Nassim Hadj Rabia:
Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric.
SIGPLAN Notices 35(3): 59-64 (2000) |
1999 |
8 | EE | 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: 1856-1857 |
7 | | Peter Kokol,
Vili Podgorelec,
Henri Habrias,
Nassim Hadj Rabia:
The Complexity of Formal Specifications - Assessments by alpha-Metric.
SIGPLAN Notices 34(6): 84-88 (1999) |
1997 |
6 | | Henri Habrias,
B. Griech:
Formal Specification of Dynamic Constraints with the B Method.
ICFEM 1997: 304-314 |
1996 |
5 | | Henri Habrias:
L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état.
INFORSID 1996: 79-98 |
1994 |
4 | | H. Lamande,
Henri Habrias:
Towards a Joint Use of NIAM, JSD and Z Methods.
ORM 1994: 167-191 |
1990 |
3 | | Violaine Prince,
Henri Habrias:
Value-Oriented and Object-Oriented Database Design with Reference to Time.
DEXA 1990: 35-41 |
1988 |
2 | EE | Henri Habrias,
Patrick Legrand:
A Description of Rules through Occurring/Synthetic Cardinalities.
ER 1988: 509-525 |
1985 |
1 | EE | Henri Briand,
Henri Habrias,
J.-F. Hue,
Y. Simon:
Expert System for Translating an E-R Diagram into Databases.
ER 1985: 199-206 |