A quoi servent les principaux symboles de la notation Z ?
Tout comme en mathématiques, le langage Z repose sur une structure faite de symboles. Il peut s’agir d’identificateurs, de types ou de prédicats. Ceux-ci servent essentiellement à :Lire la suite
fr
Quels sont les principaux usages de la notation Z ?
Grâce à son approche statique et non procédurale, le langage Z dispose d’un large champ d’applications dans le domaine informatique. Afin d’empêcher les bugs et les dysfonctionnements, il permet en premier lieu d’exprimer un comportement ou une propriété à adopter selon des requêtes précises.Lire la suite
fr
Qu’est-ce que la notation Z ?
La notation Z est un langage de programmation formelle qui se distingue des méthodes semi-formelles et informelles. Autrement dit, Z offre un descriptif précis de l'usage d'un logiciel ou d'une application pour éviter les erreurs de développement. Ce qui est généralement le cas quand on emploie un langage standard.Lire la suite
fr