Habrias, Henri, 1946-....
Habrias, Henri
Habrias, Henri, n. 1946
VIAF ID: 7391256 ( Personal )
Permalink: http://viaf.org/viaf/7391256
Preferred Forms
- 200 _ | ‡a Habrias ‡b Henri ‡f 1946-....
- 100 1 _ ‡a Habrias, Henri
-
-
-
-
-
- 100 1 _ ‡a Habrias, Henri (sparse)
-
- 100 1 _ ‡a Habrias, Henri ‡d 1946-
- 100 1 _ ‡a Habrias, Henri ‡d 1946-
-
-
- 100 1 _ ‡a Habrias, Henri, ‡d 1946-....
-
Works
Title | Sources |
---|---|
Actes | |
Analyse fonctionnelle en informatique de gestion | |
B method from research to teaching actes... | |
The B method : proceedings | |
Bases de données sont-elles un élément de souplesse et de progrès ou un mythe ? | |
Conception et réalisation d'un logiciel conversationnel d'analyse fonctionnelle : rapport final de l'ATP CNRS IRIA n 7303 | |
First B conference, Nantes, 25-26-27 November 1996 | |
H. Briand, H. Habrias. |Cantor. Cours. Exercices. Corrigés | |
Informatique étude du système d'information existant cours + exercice | |
Inforsid 88 La Rochelle... 7-10 juin 1988 | |
Introduction à la spécification | |
livret des exercices corrigés niveau conceptuel, niveau fonctionnel - logique | |
Mathématiques à l'usage des informaticiens | |
mesure du logiciel | |
Méthode B : études de cas | |
Méthode B : logique et preuve. | |
Méthode Moon méthode orientée, objets normalisés | |
Modèle relationnel binaire méthode I. A. (NIAM) | |
Organisation | |
Petit dictionnaire à l'usage des lecteurs novices d'Abélard | |
Pierre Abélard colloque international de Nantes, [3-4 octobre 2001] | |
Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information actes des journées... [de] Nantes... 23-24 septembre 1987 | |
"Regroupement en relations N-aires" | |
Software Specification Methods | |
spécification formelle avec Z | |
Systèmes de gestion de bases de données sur micro-ordinateurs : actes des journées AFCET de La Rochelle, 30 septembre - 1er octobre 1986 | |
Systèmes d'information, systèmes à base de connaissances : actes du Congrès INFORSID'86, Fontevraud, 27-30 Mai, 1986 | |
Systèmes et structures | |
UML la notation unifiée de modélisation objet de Java aux EJB | |
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 | |
ZB 2002 Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting] Education session proceedings |