BIBLIOGRAPHIE
Henri Habrias
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
