Notation Z

Exemple de spécification dans le langage z formel

La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Tubidy