TY - BOOK ID - 127126817 TI - Spécification des logiciels : deux exemples de pratiques récentes : Z et UML AU - André, Pascal AU - Vailly, Alain PY - 2001 SN - 9782729807740 2729807748 PB - Paris: Ellipses, DB - UniCat KW - Génie logiciel UR - https://www.unicat.be/uniCat?func=search&query=sysid:127126817 AB - 2 parties comprenant chacune : une introduction à la problématique générale du domaine, une illustration de cette problématique par un langage représentatif (Z pour les spécifications formelles et UML pour la modélisation à objets), une présentation des principes de spécifications applicables avec ses langages, un complément de notation destiné à approfondir la connaissance de Z ou UML. ER -