Henri Habrias, Le modèle relationnel binaire, méthode I.A. (NIAM), Paris, Eyrolles, 1988, ISBN : 2-12-08169
Henri Habrias, Introduction à la spécification, préface de Hervé Gallaire, présentation par Michael Jackson, Masson, 1993, ISBN : 2-225-82768-0
Henri Habrias, La mesure du logiciel, 2ième édition, corrigée et augmentée, Teknea, 1994, ISBN : 2-87717-045-4
David Lightfoot, La spécification formelle avec Z, traduit par H. Habrias, Teknea, 1994, ISBN : 2-87717-038-1
Henri Habrias, Dictionnaire encyclopédique du génie logiciel, Préface de Jean-Pierre Finance, Masson, 1997, ISBN : 2-225-85328-2
Henri Habrias, Les paradigmes des méthodes d’analyse et de conception in Génie logiciel: principes, méthodes et techniques A. Strohmeier, D. Buchs (Publié sous la direction de), 1996,Presses Polytechniques et universitaires romandes, ISBN:2-88074-296-X
Henri Habrias, Bibliographie commentée d’introduction aux spécifications formelles in Applications des techniques formelles au logiciel, ARAGO N° 20, Observatoire Français des Techniques Avancées, OFTA, Editions Tec & Doc, 1997, ISBN : 2-9060-2806-1
Henri Habrias, Lexique de l’objet et des composants logiciels in Architecture de logiciels et réutilisation de composants, ARAGO N° 24, Observatoire Français des Techniques Avancées, OFTA, Editions Tec & Doc, 2000, ISBN : 2-906028-10-X
M. Frappier, H. Habrias - Software Specification Methods, An Overview Using a Case Study, FACIT, Springer, 2000, ISBN : 1-85233-353-7
Site web associé, livre épuisé.
Une critique de ce livre.
Ils l'utilisent : lien1, lien 2, lien 3
Henri Habrias, Spécification formelle avec B, Lavoisier-Hermes, 2001, ISBN : 2-7462-0302-2
Henri Habrias, Petit dictionnaire à l'usage des lecteurs novices d'Abélard, Univ. de Nantes, 2001, ISBN : 2-906082-30-9
Jean Jolivet, Henri Habrias, Pierre Abélard à l'aube des universités, Unv. de Nantes, 2001, ISBN : 2-906082-31-7
Jean Jolivet, Henri Habrias (sous le direction de), Pierre Abélard, Colloque international de Nantes, PUR, ISBN : 2-86847-777-1, 2003
Henri Habrias, Marc Frappier, Software Specification Methods, Edition 2004, ISTE, U.K., USA, ISBN : 1-905209-34-7
nouveaux participants : E. Börger (ASM), L. Lamport (TLA), D. Cansell, D. Méry (Event B), et une classification des méthodes et un dictionnaire des termes utilisés.
et le polycopié en ligne
Henri Habrias, Spécifications avec B, IUT de Nantes, départ. informatique, 2007
Aucun commentaire:
Enregistrer un commentaire