http://se.ethz.ch/~meyer/publications/specification/specification1.pdf
... ~ au professionnel, la !ptcification n'a pas plus de raison d'clre comprehensible par Ie profane que Ie ... ~ au professionnel, la !ptcification n'a pas plus de raison d'clre comprehensible par Ie profane que Ie ...
http://se.ethz.ch/~meyer/publications/specification/langages_specif.pdf
... -informaticiens, analystes, program- meurs) ? La specification d 'un systeme sera-t-elle comprehensible par les ... doit etre comprehensible a partir des precedentes et que deux clauses ne doivent pas se contredire. La ... -informaticiens, analystes, program- meurs) ? La specification d 'un systeme sera-t-elle comprehensible par les ... doit etre comprehensible a partir des precedentes et que deux clauses ne doivent pas se contredire. La ...
http://se.ethz.ch/~meyer/publications/teaching/rairo.pdf
... simple d'indice. L'instruction pour i variant de m ~n repeter action (i) est facilement comprehensible ... simple d'indice. L'instruction pour i variant de m ~n repeter action (i) est facilement comprehensible ...
