Search the dblp DataBase
Henri Habrias :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Henri Briand , Henri Habrias , J.-F. Hue , Y. Simon Expert System for Translating an E-R Diagram into Databases. [Citation Graph (11, 8)][DBLP ] ER, 1985, pp:199-206 [Conf ] Henri Habrias , Patrick Legrand A Description of Rules through Occurring/Synthetic Cardinalities. [Citation Graph (2, 6)][DBLP ] ER, 1988, pp:509-525 [Conf ] Violaine Prince , Henri Habrias Value-Oriented and Object-Oriented Database Design with Reference to Time. [Citation Graph (0, 0)][DBLP ] DEXA, 1990, pp:35-41 [Conf ] Henri Habrias , Pascal Poizat , Jean-Yves Lafaye A Study of Collaborative Work: Answers to a Test on Formal Specification in B. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1856-1857 [Conf ] Henri Habrias , B. Griech Formal Specification of Dynamic Constraints with the B Method. [Citation Graph (0, 0)][DBLP ] ICFEM, 1997, pp:304-314 [Conf ] Henri Habrias L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état. [Citation Graph (0, 0)][DBLP ] INFORSID, 1996, pp:79-98 [Conf ] Henri Habrias , Pascal André Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. [Citation Graph (0, 0)][DBLP ] INFORSID, 2004, pp:387-403 [Conf ] H. Lamande , Henri Habrias Towards a Joint Use of NIAM, JSD and Z Methods. [Citation Graph (0, 0)][DBLP ] ORM, 1994, pp:167-191 [Conf ] Henri Habrias , Sébastien Faucou Linking Paradigms, Semi-formal and Formal Notations. [Citation Graph (0, 0)][DBLP ] TFM, 2004, pp:166-184 [Conf ] Peter Kokol , Vili Podgorelec , Henri Habrias , Nassim Hadj Rabia Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2000, v:35, n:3, pp:59-64 [Journal ] Peter Kokol , Vili Podgorelec , Henri Habrias , Nassim Hadj Rabia The Complexity of Formal Specifications - Assessments by alpha-Metric. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1999, v:34, n:6, pp:84-88 [Journal ] Henri Habrias L'enseignement de B. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2003, v:22, n:1, pp:131-132 [Journal ] Search in 0.002secs, Finished in 0.003secs