BIBLIOGRAPHIE
Henri
Habrias
henri.habrias@univ-nantes.fr
16-03-2025
1973
Henri
Habrias, La notion de système et son application en organisation
scientifique du travail, Technniques Economiques, n°56, nov. 1973
1974
- Henri
Habrias, Méthodes d’enquête pour construire un diagramme de
circulation et de traitement des informations, Informatique et
Gestion, n°59, Juillet-Août 1974, pp. 90-98
Henri Habrias, Contrôle par dépouillement
selon la méthode d’enquête par stations d’une enquête par
événement, Techniques Economiques, n°61, avril 1974
1976
Henri
Habrias, Circulation et traitement des informations. Enregistrement
des décès à l’état-civil, Technniques Economiques, n°81, juin
1976
1977
- Henri
Habrias, Les graphiques de l’analyste, 01 Informatique Mensuel, n°
11, juin-juillet 1977
-
Henri Habrias, Logique ! Logique !
Vous avez une drôle de logique, L’Informatique Nouvelle, n°82,
mars 1977
-
Henri Habrias, L’analyse fonctionnelle
existerait-elle ? L’aurions-nous rencontrée ?
L’Informatique Nouvelle, déc. 1977
-
Henri Habrias, La définition des ensembles
(fichiers) en compréhension se transforme en une définition en
extension par l’informatique, in Le projet de loi relatif à
l’informatique et aux libertés, une première étape, 01 Hebdo,
n° 433, 23 avril 1977, n°435, 9 mai 1977, A. Vitalis, H. Habrias
-
1978
Henri Habrias, Jacques Dupuis, Réalisation
informatique d’aide à la classification des fonctions d’une
entreprise métallurgique, préface de Michel Cailler, chef du
départ. Informatique de l’IUT de Nantes, Techniques économiques,
n°94, janvier 1978
Henri
Habrias, Les établissements en pointe, Informatique et développement
régional, étude dans le cadre des trois régions Centre, Pays de la
Loire, Poitou-Charentes, Édité par Françoise
Gallouédec-Genuys,Ministère de l'industrie, Mission à
l'informatique, ISBN :978-2-11-000212-9 , pp. 305-307
Henri
Habrias, Les facteurs humains, Informatique et développement
régional, étude dans le cadre des trois régions Centre, Pays de la
Loire, Poitou-Charentes, Édité par Françoise
Gallouédec-Genuys,Ministère de l'industrie, Mission à
l'informatique, ISBN :978-2-11-000212-9 ,pp. 16-21
1979
- Henri
Briand, Henri Habrias, Une expérience de recherche et
d’enseignement dans le domaine de la conception de systèmes
d’information automatisés, Actes de la Conférence CIPS-ACI,
Québec, juin 1979
-
Henri Habrias, Les bases de données, Centre
de formation des personnels communaux (CFPC), Paris, 1979
1980
- Bases
de données, Une étude de la CEE sur 88 systèmes européens, Les
vrais utilisateurs encore trop peu concernés , Le cas des
forges de Basse-Indre, 01 Hebdo n°619, 17 novembre 1980
Henri Habrias, A data base application at the
Société des Forges de Basse-Indre (SFBI), Rapport IRIA, april 1980
Henri
Habrias, L’informatique, l’écrit et le droit, Actes des journées
Informatique et Organisation Sociale, Toulouse, 1980
Henri
Habrias, Informatisation et relations fournisseurs-utilisateurs, IAE
Université-Entreprise, Association des diplômés de l’IAE de
Poitiers, Numéro spécial L’entreprise et l’informatique, 1980
1981
Henri
Habrias, Audiovisuel et enseignement de l’analyse/conception de
S.I, Actes de la Conférence Européenne des Enseignants en Système
d’Information, IAE, Aix-en-Provence, 1981
1982
- Henri
Habrias, Analyse : Notions relatives au temps, Informatique et
Gestion, n° 130, Janvier-Février 1982
-
Henri Habrias, Comment former, en une semaine,
les utilisateurs à la définition de leurs besoins, Actes de la
Convention Informatique, Paris, Septembre 1982
-
Henri Habrias, Les fichiers en fiches, 01
informatique mensuel, n° 161, juin-juillet 1982
Henri Habrias, Un camping informatisé,
L’ordinateur individuel, n° 42, novembre 1982
- Henri
Habrias, Pierre Levasseur, Représentations graphiques : aides
ou obstacles à la conception de programmes ?, Actes du 18e
congrès de la société d’ergonomie de langue française, octobre
1982
-
1983
-
Henri Habrias, Un modèle conceptuel de
données, le modèle individuel, Travail et Méthodes, n°415, dec.
1983
-
G. Javel, H. Habrias, Méthode
de transformation d'un diagramme entité-relation, Inforsid
1983, Ajaccio
-
1984
-
Henri Habrias, Les hôtesses d’accueil et de
renseignement et Telem-Nantes, Paris Inforcom 84, 4e
Congrès National des Sciences de l’Information et de la
Communication, Les relations des publics avec les outils de
communication, 19-21 mars 1984, pp. 59-67
Henri Habrias, La généralisation du tatouage
comme réduction de l’écart entre système d’information et
système physique, Colloque Afcet, Développement des sciences et
pratique de l’organisation, Ecole Supérieure d’Electricité,
21-23 novembre 1984
Alain
Couturier, Henri Habrias, Un outil logiciel pour non informaticiens :
les Calcs ou tableurs, Travail et Méthodes, n°424, octobre 1984
Henri
Habrias, J.F. Hue, Y. Simon, Une
démarche dynamique de conception d'applications par décomposition
de tâches, Inforsid
1984, Bandol
1985
H.
Briand, H. Habrias, J.F. Hue, Y. Simon, Expert system for translating
an E-R diagram into databases, Entity-Relationship international
conference, Chicago, USA, North-Holland, 1985
Henri
Habrias, Les « points de vue » du concepteur lors de la
construction de diagrammes « entités-associations »,
Inforsid 85, 29-31 mai, Crampes (ed.), Luchon
Henri Habrias,
La construction d’un schéma conceptuel : individus abstraits
et individus concrets, Travail et Méthodes, n°435, oct. 1985
- Henri
Habrias, M.C.T., Method of construction of tables, Colloque
international IAESTED, Lugano, Suisse, 1985
-
1986
-
Henri Habrias, Une aide à l’analyse, le
modèle relationnel, Travail et Méthodes, n°415, juin-juillet 1986
-
C. Clouet, H. Habrias, La méthode I.A. et les
outils logiciels associés. Son utilisation au CMILACO, Actes de la
Convention Informatique, Paris, 1986
-
H. Briand, H. Habrias, J.F. Hue, A method for
the access-paths design, Actes des journées internationales des
sciences informatiques, JISI’88, 13-15 avril 1988, Tunis
-
1987
-
Henri Habrias, Petit traité de boxologie à
l’usage des concepteurs de systèmes d’information,
L’Informatique Professionnelle, n° 54, mai 1987
-
Henri Habrias, Jacques-Henri Jayez, Expression
sémantique en langage naturel d’un schéma de base de données de
type I.A., Revue Novatica, vol. 13, n° 69, Barcelona, 1987
-
Henri Habrias, Vous en parlez, les avez-vous
utilisées ? Les définitions des formes normales que l’on
trouve dans la littérature, Lettre de l’ADELI, n°3, sept-oct
1987
-
Henri Habrias, Marie-Christine Lafaye (eds)
Systèmes de gestion de bases de données sur micro-ordinateurs,
Eyrolles, 1987
-
Henri Habrias, ed., Actes des Premières
Journées Pratique des méthodes et outils logiciels d'aide à la
conception de systèmes d'information, Nantes, Centre de
Communication de l’Ouest, 23-24 sept.1987, Liana, Iut de Nantes,
ISBN :978-2-906082-04-5
Henri Habrias, Patrick Legrand, La description
"Occurente/synthétique" de règles de traitement et leur
génération automatiques. Inforsid 1987, Lyon
- 1988
-
Henri Habrias, Conception de bases de données,
l’hypothèse de la relation universelle est-elle acceptable,
Colloque du CREIS, Représentation du réel et informatisation,
Saint-Etienne, 26-27 mai 1988
Henri Habrias, Didier Bogdaniuk, L’expression
des contraintes d’unicité et de totalité d’un schéma
conceptuel de données binaire de type I.A., Modèles et Bases de
données, Afcet, n°9, 1988
- Henri
Habrias, Des associations aux individus : identifiants et
langue de bois, Afcet-Interfaces, janvier 1987, nouvelle version :
« From Relationships to individuals : identifiers and
« tongue of wood », Proc. Euroinfo’88, Athens, may
1988, CEE, North-Holland
-
Henri Habrias, Proposals for some extensions
of the NIAM model, Proc. « Information & Knowledge
Engineering 88, Paris, Control Date, 1988
-
Henri Habrias, ed. Actes des deuxièmes
journées Pratique des méthodes et outils logiciels d’aide à la
conception de systèmes d’information, LIANA, IUT de Nantes, 26-30
sept. 1988
-
Henri Habrias, The teaching and using of
binary and n-ary conceptual models for information system design,
Proceedings, Asia-Pacific Conference on Computer Education, oct.
2–27-1988, Shanghai
Henri Habrias, Patrick Legrand, A description
of rules through occurring/synthetic cardinalities, Proc. Of the
Seventh Intern. Conf. On Entity Relationship Approach, Carlo Batini
ed., Roma, Italy, nov.16-18, 1988
Henri Habrias,
Le modèle relationnel binaire, Méthode NIAM, Préface de P. Jeulin
et P. Sauge , Paris, Eyrolles, 1988
Henri Habrias,
Marie-Christine Lafaye, eds, Actes Inforsid88, La Rochelle, ISBN :
978-2-906855-04-5
Pierre
Levasseur, Henri Habrias, The BCKNF considered useless, A revision of
the 2 NF and 3 NF definition, Rapport interne, LIANA, Iut de Nantes,
1988
1989
Henri
Habrias, Violaine Prince, About the semantics of functional
dependencies, Fourth International Symposium on Computer and
Information System, ISCIS IV), Cesme, Turquie, oct 30, nov. 1, 1989
Henri
Habrias, L’analyste est un concepteur, Afcet-Interfaces, Juillet
1989
Henri Habrias,
edit., actes des Troisièmes Journées Pratique des méthodes et
outils logiciels d’aide à la conception de systèmes
d’information, Nantes, LIANA, IUT de Nantes, 1990,
ISBN :978-2-906082-07-6
1990
Violaine
Prince, Henri Habrias: Value-Oriented
and Object-Oriented Database Design with Reference to Time.
Conference on Database and Expert
Systems Applications, DEXA 1990
35-4
Henri Habrias,
edit., actes des Quatrièmes Journées Pratique des méthodes et
outils logiciels d’aide à la conception de systèmes
d’information, Nantes, LIANA, IUT de Nantes, 1990, ISBN :
978-2-906082-10-6
Habrias,
Liscouët, Langue naturelle et modèle conceptuel de base de données.
Expression de contraintes ensemblistes en français, Rapport
PRC-Informatique, Liana-IUT de Nanges, mars, 1990
1991
- Henri
Habrias, Plaidoyer pour un nouveau modèle conceptuel, Le Monde
Informatique, 15 juillet 1991
-
Henri Habrias, Michel Lai, Conference HOOD,
Actes des Cinquièmes Journées Pratique des méthodes et outils
logiciels d'aide à la conception des systèmes d'information,
Liana, IUT de Nantes, 1991, ISBN : 978-2-906082-13-7
-
Henri Habrias, La méthode Moon : méthode
orientée objets normalisés, Actes de la Convention Informatique
Latine, 1991, ISBN : 84 267 0827 7, pp. 229-264
Habrias,
Barbier, Moon : Norlalized Object Oriented Method, Proceedings
Internal. Conf. On Inforamtion and Systels (ICIS), October
9-11,1991, Hangzhou, China, AMSE -
1992
Henri Habrias, edit, Proc. Of the Sixth
International conference on putting into practice methods and tools
for information system design, IUT de Nantes, Nantes, 1992, ISBN :
978-2-906082-14-4
-
1993
Henri Habrias, Introduction à la
spécification, Préface d’Hervé Gallaire, Présentation de
Michaël Jackson, Masson, 1993
1994
H.
Lamande, Henri Habrias: Towards a
Joint Use of NIAM, JSD and Z Methods. Terry
A. Halpin, Robert Meersman (Eds.):
Proceedings of the First International Conference on Object-Role
Modelling, ORM-1, Magnetic Island, Australia, 4-6 July 1994 :
167-191
Henri Habrias
(traduction) Spécification formelle avec Z, traduction, corrections
et ajouts de Formal Specification Using Z de David Lightfoot, The
McMillan Press, 1991, 1994
Henri Habrias,
Les spécifications formelles pour les systèmes d'information,
Quoi?, Pourquoi?, Comment?, Conf. Invitée, Inforsid 94,
Aix-en-Provence
1995
Henri Habrias,
La mesure du logiciel, Teknea, 1995
Henri Habrias,
ed., 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, IRIN,
IUT de Nantes, ISBN : 978-2-906082-19-9
Pascal
Bernard, Henri Habrias, Alain Vailly, Diachronie
et synchronie en spécification, une illustration en Z, Inforsid
1995, Grenoble
1996
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, EPFL
Henri Habrias
ed. 8Th International Conference on : Putting into practice
methods and tools for infomation system design, 1st Conference on the
B method, November, 25-27, 1996, Nantes, France, Proceedings, ISBN :
2-906082-25-2
Henri Habrias:
L'utilisation de la méthode NIAM pour construire une spécification
formelle basée sur un état.Actes du XIVème Congrès INFORSID,
Bordeaux, France, 4-7 juin, 1996 : 79-98
1997
Henri Habrias, Dictionnaire encyclopédique
du génie logiciel, Préface de Jean-Pierre Finance, Masson,1997
Henri Habrias, B.
Griech: Formal Specification of
Dynamic Constraints with the B Method,
First IEEE International Conference on
Formal Engineering Methods, ICFEM 1997, November 12-14, 1997,
Hiroshima, Japan, Proceedings. IEEE Computer Society
304-314
1998
M.
Allemand, C. Attiogbé and H. Habrias, editors, (Invoice’98)
International Workshop on ComparingSystems Specification Techniques —
What Questions are Prompted by One’s Particular Method of
Specification?, Nantes, France, 26-27 March 1998, ISBN 2-906082-29-5
Henri
Habrias, Steve E. Dunne, B'98 Éducation session proceedings, APCB
(Association de Pilotage des Conférences B) éditeur, Z User Group,
B User Group, 1998, ISBN : 978-2-9512461-0-2
1999
Henri Habrias, Pascal
Poizat, Jean-Yves Lafaye, A Study of
Collaborative Work: Answers to a Test on Formal Specification in
B.Jeannette M. Wing, Jim Woodcock, Jim
Davies, (Eds.): FM'99 - Formal Method,
World Congress on Formal Methods in the Development of Computing
Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
II, Lecture Notes in Computer Sciences
II. 1709 Springer 1999 : 1856-1857
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)
2000
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)
2001
Henri
Habrias, Petit dictionnaire à l’usage des lecteurs novices
d’Abélard, IUT de Nantes, 2001, ISBN : 2-906082-30-9
Jean
Jolivet, Henri Habrias, eds, Pierre Abélard, à l’aube des
universités, Actes de la Conférence Internationale, Université de
Nantes, France, 3-4 octobre 2001, IUT de Nantes, Département
informatique, ISBN : 2-906082-31-7
Henri
Habrias, Marc Frappier, eds, Software Specification Methods, An
Overview Using a Case Study, Formal Approaches to Computing and
Information Technology (FACIT) , Springer, 2001
2002
Henri Habrias, edit. ZB 2002 : Education
session proceedings, January 23-25, 2002 Grenoble, APCB, ISBN :
2951246110
2003
Jean
Jolivet, Henri Habrias, (sous la direction de), Pierre Abélard,
Colloque international de Nantes, PUR, Presses Universitaires de
Rennes, 2003, ISBN : 2-86847-777-1
Henri
Habrias: L'enseignement de B. Technique
et Science Informatiques 22 (1) 131-132
(2003)
Pascal
André, Henri Habrias, Formal Modelling of Information Information
System Evolution, LINA, Université de
Nantes, 2003
2004
Henri
Habrias, Pascal André, Précondition
et invariant - l'écriture de contraintes mal adaptées à un
paradigme de spécification. Actes du XXIIème Congrès INFORSID,
Biarritz, France, 25-28 mai, 2004 : 387-403
Henri
Habrias, Sébastien Faucou,Linking
Paradigms, Semi-formal and Formal Notations. C.
Neville Dean, Raymond T. Boute (Eds.):
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings. Lecture
Notes in Computer Science 3294 Springer
2004 : 166-184
2005
Pascal
André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, C.
Stoquer, Vérification de conformité des interactions entre
composants January 2005
Pascal
André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, C.
Stoquer, A Service-Based Component Model{:} Description Formalism,
Formal Analysis and Mechanization
2006
Henri
Habrias, Marc Frappier, eds, Software Specification Methods, ISTE,
Great Britain, USA, 2006, La IV partie, A Comparaison fo the
Specification Methods, Glossary, a pour auteurs Marc Frappier, Henri
Habrias et Pascal Poizat
Henri
Habrias, “La main à la pâte”, An Abacus to Teach Formal
Specifications, Proceedings of the 2006 conference on Teaching Formal
Methods: practice and experience (TFM) , Boca, Bowen, Duce, eds, BCS
London Office, UK, 15 December 2006
Henri
Habrias, Pascal André, Application d'ontologies formelles au droit
SDC'06 Workshop on Ontologies et textes juridiques, OTJ'06
2007
Henri
Habrias,
Modélisation
: de la phrase d’Aristote à l’invention des ensembles et des
relations
, CNRIUT
07, Thionville
Pascal
André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, A
Service-Based Component Model: Formalism, Analysis and Mechanization
April 2008
Henri
Habrias, Spécifications avec B, Modèle relationnel de Codd,
Automates, expressions régulières, B et Z, UML, OCL et B, Vers le B
événementiel, Un animateur et « model-checker » pour
B : ProB, Des études de cas, Publication de l’IUT de Nantes,
Département informatique,
2008
Henri
Habrias, Teaching specifications, hands on, FORMED (Formal Methods in
Computer Science Education) at ETAPS 2008, Budapest
Henri
Habrias, En finir avec la boxologie en revenant aux fondamentaux ,
CNRIUT, Lyon, 3 avril 2008
Henri
Habrias, Jules Verne et la binarisation, CNRIUT, Lyon, 3 avril 2008
Henri
Habrias, Proof
and Model-checking, Two Complementary Approaches to Teach
Specifications, Proceedings
of the First Conference The B method,
from research to teaching, Journées
Scientifiques de l’Université de Nantes, Nantes, mai 2008
Henri
Habrias, Christian Attiogbé, eds, Proceedings of the First
Conference The B method, from research to teaching, Journées
Scientifiques de l’Université de Nantes, Nantes, mai 2008, APCB
éditeur, Laboratoire d’informatique de Nantes-Atlantique, ISBN :
978-2-9512461-2-6
2009
Christian
Attiogbé, Henri Habrias, eds. Proceedings The Second Conference The
B Method, from Research to Teaching, TFM-B'2009,
JS09, June 8, 2009, Nantes, ISBN : 2-9512461-0-2
2025
PascalAndré, Henri Habrias, Modelling of Information Systems Evolution using B, 33rd International Conference on Information Systems Development (ISD
2025) - Faculty of Organizational Sciences -- University of Belgrade,
Serbia, 3rd -5th September, 2025
Jonathan Bowen, Henri Habrias,
FACS FACTS Issue 2025-2 July 2025 In memory of Jean-Raymond Abrial (1938–2025)
August 31, 2025
2026
Jonathan Bowen, Henri Habrias, Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer, IEEE, People of Computing
Articles
