moalmeyer a écrit :
Donc çà serait un langage qui marcherai quelque soit le langage de programation utilisé un peu comme l'algoritmique quoi??...je sais qu'il y a plusieurs langage de spécification, mais alors pourquoi???
|
Pour s'assurer que tes procédures font ce qu'elles doivent faire, tout ce qu'elles doivent faire, et rien de plus que ce qu'elles doivent faire. Le Z est en l'honneur de Zermelo, un mathématicien fondateur de la théorie des ensembles.
Une page relativement introductive: http://www.csci.csusb.edu/dick/samples/z.html
A+,
---------------
There's more than what can be linked! -- Iyashikei Anime Forever! -- AngularJS c'est un framework d'engulé! --