SPECIFICATIONS DE LOGICIELS DEUX EXEMPLES REPRESENTATIFS Z RT UML

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 UMLpour 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.