Programmes par www.db.informatik.uni-bremen.de/projects/use/

USE est un système de spécification et de validation des systèmes d’information basé sur un sous-ensemble du langage de modélisation unifié (UML) et du langage de contrainte d’objet (OCL). S’il vous plaît signaler tous les bu