# Henri Habrias

> Fiche auteur du catalogue https://superlivre.fr/auteur/henri-habrias-cb11906653j (données du dépôt légal BnF, enrichies Wikidata).

- **Dates** : 1946–
- **Occupation** : chercheur
- **Nationalité** : France
- **Œuvres au catalogue** : 12 (1985–2001)
- **Pagination médiane** : 197 pages
- **Wikidata** : https://www.wikidata.org/wiki/Q134552049
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb11906653j

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1985 | [Analyse - conception de systèmes d'information 1](https://superlivre.fr/livre/analyse-conception-de-systemes-dinformation-1-cb350328847) | [Conservatoire national des arts et métiers, centre associé de Nantes](https://superlivre.fr/editeur/conservatoire-national-des-arts-et-metiers-centre-associe-de-nantes) | 137 |
| 1985 | [Analyse - conception de systèmes d'information [2]](https://superlivre.fr/livre/analyse-conception-de-systemes-dinformation-2-cb349115756) | [Conservatoire national des arts et métiers, centre associé de Nantes](https://superlivre.fr/editeur/conservatoire-national-des-arts-et-metiers-centre-associe-de-nantes) | 120 |
| 1985 | [Analyse conception de systèmes d'information](https://superlivre.fr/livre/analyse-conception-de-systemes-dinformation-63de6657832f) | [Conservatoire national des arts et métiers, centre associé de Nantes](https://superlivre.fr/editeur/conservatoire-national-des-arts-et-metiers-centre-associe-de-nantes) |  |
| 1985 | [Informatique](https://superlivre.fr/livre/informatique-1bc2414f3097) | [[Conservatoire national des arts et métiers, centre régional associé de Nantes]](https://superlivre.fr/editeur/conservatoire-national-des-arts-et-metiers-centre-regional-associe-de-nantes) | 200 |
| 1988 | [Le Modèle relationnel binaire](https://superlivre.fr/livre/le-modele-relationnel-binaire-6bef0014dfd9) | [Eyrolles](https://superlivre.fr/editeur/eyrolles) | 301 |
| 1989 | [Exercices études de cas, méthode NIAM](https://superlivre.fr/livre/exercices-etudes-de-cas-methode-niam-c56dfe63c2c8) | [IUT, CRA du CNAM](https://superlivre.fr/editeur/iut-cra-du-cnam) | 100 |
| 1990 | [La Méthode Moon](https://superlivre.fr/livre/la-methode-moon-66eb3d837dcc) | [IUT, LIANA](https://superlivre.fr/editeur/iut-liana) |  |
| 1991 | [Introduction à la spécification](https://superlivre.fr/livre/introduction-a-la-specification-52f038392f15) | [IUT, LIANA](https://superlivre.fr/editeur/iut-liana) | 225 |
| 1994 | [La mesure du logiciel](https://superlivre.fr/livre/la-mesure-du-logiciel-a94099784a6d) | [Teknea](https://superlivre.fr/editeur/teknea) | 194 |
| 1997 | [Dictionnaire encyclopédique du génie logiciel](https://superlivre.fr/livre/dictionnaire-encyclopedique-du-genie-logiciel-771140a40de5) | [Masson](https://superlivre.fr/editeur/masson) | 467 |
| 2001 | [Petit dictionnaire à l'usage des lecteurs novices d'Abélard](https://superlivre.fr/livre/petit-dictionnaire-a-lusage-des-lecteurs-novices-dabelard-8851ef6fa14f) | [Université de Nantes](https://superlivre.fr/editeur/universite-de-nantes) | 64 |
| 2001 | [Spécification formelle avec B](https://superlivre.fr/livre/specification-formelle-avec-b-9560de048755) | [Hermès science publ.](https://superlivre.fr/editeur/hermes-science-publ) | 414 |

## En tant que contributeur

- 2003 — [Mathématiques à l'usage des informaticiens](https://superlivre.fr/livre/mathematiques-a-lusage-des-informaticiens-938e7cbc4f93) de Thierry Brugère, Alain Mollard
- 1979 — [Les Bases de données](https://superlivre.fr/livre/les-bases-de-donnees-cb346545052) de Centre de formation des personnels communaux. France
- 1978 — [Analyse fonctionnelle en informatique de gestion](https://superlivre.fr/livre/analyse-fonctionnelle-en-informatique-de-gestion-cb346005726) de Claude Cochet, Henri Briand

## En tant que traducteur

- 1994 — [La spécification formelle avec Z](https://superlivre.fr/livre/la-specification-formelle-avec-z-9992a955d68f) de David Lightfoot

## En tant que éditeur intellectuel

- 2002 — [ZB 2002](https://superlivre.fr/livre/zb-2002-cb389492357) de International Z and B conference (02 ; 2002 ; Grenoble)
- 1998 — [B'98](https://superlivre.fr/livre/b98-cb36703011s) de Conférence internationale B (02 ; 1998 ; Montpellier)
- 1996 — [1st Conference on the B method](https://superlivre.fr/livre/1st-conference-on-the-b-method-cb35855631m) de Conférence internationale B (01 ; 1996 ; Nantes)
- 1995 — [Z twenty years on. What is its future ?](https://superlivre.fr/livre/z-twenty-years-on-what-is-its-future-cb35848170n) de International conference on putting into practice methods and tools for information system design (07 ; 1995)
- 1991 — [Pratique des méthodes et outils logiciels d'aide à la conception des systèmes d'information](https://superlivre.fr/livre/pratique-des-methodes-et-outils-logiciels-daide-a-la-conception-des-systemes-din-cb354757470) de Conférence HOOD (01 ; 1991 ; Nantes)
- 1989 — [Actes](https://superlivre.fr/livre/actes-cb350449846) de Journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information (03 ; 1989 ; Nantes)
- 1988 — [Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information](https://superlivre.fr/livre/pratique-des-methodes-et-outils-logiciels-daide-a-la-conception-de-systemes-dinf-cb349593444) de Journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information (02 ; 1988 ; Nantes)

## Éditeurs principaux

- [Conservatoire national des arts et métiers, centre associé de Nantes](https://superlivre.fr/editeur/conservatoire-national-des-arts-et-metiers-centre-associe-de-nantes) — 3 œuvres
- [IUT, LIANA](https://superlivre.fr/editeur/iut-liana) — 2 œuvres
- [Masson](https://superlivre.fr/editeur/masson) — 2 œuvres
- [Eyrolles](https://superlivre.fr/editeur/eyrolles) — 1 œuvres
- [Hermès science publ.](https://superlivre.fr/editeur/hermes-science-publ) — 1 œuvres
- [IUT, CRA du CNAM](https://superlivre.fr/editeur/iut-cra-du-cnam) — 1 œuvres
- [Teknea](https://superlivre.fr/editeur/teknea) — 1 œuvres
- [Université de Nantes](https://superlivre.fr/editeur/universite-de-nantes) — 1 œuvres
- [[Conservatoire national des arts et métiers, centre régional associé de Nantes]](https://superlivre.fr/editeur/conservatoire-national-des-arts-et-metiers-centre-regional-associe-de-nantes) — 1 œuvres