Modélisation de procédés logiciels à base de réseau de Petri : conception et réalisation d'un modèle de procédé logiciel pour le développement de logiciels de qualité (2011. 80 S. 220 x 150 mm)