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