Les langages de specification - Chair of Software Engineering
langage de specification differe du concept de langage de programmation (
section III) ; a passer ... Ie langage Z de Jean-Raymond Abrial, que nous
considerons comme l'approche la plus ..... proprietaire_du_livre : LIVRE -7
LECTEUR ;. V.2.3.
Un extrait du document