@Article{Perin:TSI'2001:CoherenceDeSpecificationsMultiVues,
  author    =	 {Périn, Michaël},
  title     =	 "Cohérence de spécifications multi-vues",
  journal   = 	 {Technique et Science Informatique},
  year      =	 2001,
  OPTkey    = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages  = 	 {},
  OPTmonth  = 	 {},
  note      = 	 {à paraître},
  annote    = 	 {in french},
  keywords     = {architectures logicielles, modélisation multi-vues, vérification de cohérence, 
                  aspects statiques et dynamiques, diagrammes avec multiplicités, UML, 
                  propriétés de graphes, OCL, système d'inférence, réécriture de graphes},
}