Henri Habrias Biographie Professeur d'informatique à l'IUT de Nantes (en 1994). Contributions de Henri Habrias Auteur Traduction Direction de publication Édition scientifique Contributions La Méthode Moon, méthode orientée, objets normalisés Henri Habrias Petit dictionnaire à l'usage des lecteurs novices d'Abélard Henri Habrias Informatique, étude du système d'information existant Henri Habrias Introduction à la spécification Henri Habrias Introduction à la spécification, vers la spécification formelle Henri Habrias La mesure du logiciel Henri Habrias Dictionnaire encyclopédique du génie logiciel Henri Habrias Spécification formelle avec B Henri Habrias Voir tout (9) La spécification formelle avec Z David Lightfoot Pierre Abélard, Colloque international de Nantes Jean Jolivet, Henri Habrias 24,00 The B method, from research to teaching Université de Nantes, Journées scientifiques ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting] International Z and B conference Pratique des méthodes et outils logiciels d'aide à la conception des systèmes d'information, actes Conférence HOOD Pierre Abélard, à l'aube des universités, actes de la conférence internationale, Université de Nantes, 3-4 octobre 2001 Henri Habrias 1st Conference on the B method, 8th International conference on Putting into practice methods and tools for information system design Conférence internationale B Putting into practice methods and tools for information system design, conference proceedings International conference on putting into practice methods and tools for information system design B'98, educational session proceedings Conférence internationale B Z twenty years on. What is its future ?, proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, Nantes International conference on putting into practice methods and tools for information system design International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?", March 26-27, 1998, Nantes, France International workshop on comparing systems specification techniques Voir tout (12) Mathématiques à l'usage des informaticiens Thierry Brugère, Alain Mollard 33,00 Analyse fonctionnelle en informatique de gestion Henri Briand, Claude Cochet
ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting] International Z and B conference
Pratique des méthodes et outils logiciels d'aide à la conception des systèmes d'information, actes Conférence HOOD
Pierre Abélard, à l'aube des universités, actes de la conférence internationale, Université de Nantes, 3-4 octobre 2001 Henri Habrias
1st Conference on the B method, 8th International conference on Putting into practice methods and tools for information system design Conférence internationale B
Putting into practice methods and tools for information system design, conference proceedings International conference on putting into practice methods and tools for information system design
Z twenty years on. What is its future ?, proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, Nantes International conference on putting into practice methods and tools for information system design
International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?", March 26-27, 1998, Nantes, France International workshop on comparing systems specification techniques