dblp.uni-trier.dewww.uni-trier.de

Henri Habrias

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
11EEHenri Habrias, Sébastien Faucou: Linking Paradigms, Semi-formal and Formal Notations. TFM 2004: 166-184
2003
10EEHenri 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
8EEHenri 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
2EEHenri Habrias, Patrick Legrand: A Description of Rules through Occurring/Synthetic Cardinalities. ER 1988: 509-525
1985
1EEHenri Briand, Henri Habrias, J.-F. Hue, Y. Simon: Expert System for Translating an E-R Diagram into Databases. ER 1985: 199-206

Coauthor Index

1Pascal André [12]
2Henri Briand [1]
3Sébastien Faucou [11]
4B. Griech [6]
5J.-F. Hue [1]
6Peter Kokol [7] [9]
7Jean-Yves Lafaye [8]
8H. Lamande [4]
9Patrick Legrand [2]
10Vili Podgorelec [7] [9]
11Pascal Poizat [8]
12Violaine Prince [3]
13Nassim Hadj Rabia [7] [9]
14Y. Simon [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)