Page principale

Ses 8 articles présentés dans le cadre du congrès :

• Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. 387-403 (2004)
  Henri HABRIAS • Pascal ANDRE
  
  
• L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état. 79-98 (1996)
  Henri HABRIAS
  
  
• Diachronie et synchronie en spécification, une illustration en Z (1995)
  Pascal BERNARD • Henri HABRIAS • Alain VAILLY
  
  
• Les spécifications formelles pour les systèmes d'information : quoi?, comment?, pourquoi? 1-32 (1994)
  Henri HABRIAS
  
  
• La description "Occurente/synthétique" de règles de traitement et leur génération automatiques. 179-200 (1987)
  Henri HABRIAS • P. LEGRAND
  
  
• Les "points de vue" du concepteur de la construction de diagramme "entités-associations". 1-26 (1985)
  Henri HABRIAS
  
  
• Une démarche dynamiquede conception d'applications par décomposition de tâches (1984)
  Henri HABRIAS • J.F. HUE • Y. SIMON
  
  
• Méthode de transformation d'un diagramme entité-relation. (1983)
  Georges JAVEL • Henri HABRIAS
  
  

• Participations au comité de programme

  2008	Membre
  2005	Membre
  1997	Membre
  1994	Membre
  1989	Membre
  1986	Membre

• Localisation au cours des années

  2008	Nantes	France
  2005	Nantes	France
  2004	Nantes	France
  1997	Nantes	France
  1996	Nantes	France
  1995	Nantes	France
  1994	Nantes	France
  1989	Nantes	France
  1987	Nantes	France
  1986	Nantes	France
  1985	Nantes	France
  1984	Nantes	France
  1983	Nantes	France

• Ses 7 coauteurs :

  Pascal ANDRE	2004, 2018
  Pascal BERNARD	1995
  Alain VAILLY	1995, 1997
  P. LEGRAND	1987
  J.F. HUE	1984, 1985, 1986
  Y. SIMON	1984, 1985, 1986
  Georges JAVEL	1983, 1984

Page générée le vendredi 21 novembre 2025, 10:11:34.

Guillaume Cabanac, Cécile Favre, Aleksandra Kruchinina 2021, Ophélie Fraisier 2015, Clara Belair 2011-2017, Marc Ternisien 2011