8ESalut à tous,
Je voudrais que vous m'aidiez à comprendre la question suivante, elle nous a été posée en classe par l'enseignant du cours de méthodes formelle.
La question est la suivante :
Peut-on construire une méthode formelle en utilisant UML comme langage de spécification? On demande de s'appuyer sur la comparaison entre UML et RSL d'une part et sur la comparaison entre les processus unifiés et les processus de la méthode RAISE d'autre part pour etayer la réponse.
Merci de d'avance pour votre aide