Y a-t-il un package pour le latex qui prendra en charge la rédaction de spécifications Z? Je suis intéressé par des formats horizontaux et verticaux pour les schémas.
3 Réponses :
Il y a un paquet, il s'appelle Zed- csp . Voici un Référence sur la façon de l'utiliser.
Voici un exemple de schéma: voir ma question et répondre sur le sujet:
Notation Zed dans LYX
Merci, j'avais peur que la question se réfère à quelque chose de SPECIFIQUE.
Il existe de nombreux forfaits qui offrent une assistance pour l'écriture de la spécification Z en latex. Bien que beaucoup ont une syntaxe très similaire et certaines offrent des fonctions supplémentaires.
Plus d'informations sur ces packages se trouvent ici: http://czt.sourceforge.net/latex/ < / a>
Il explique que le Fuzz.sty était le premier et contient des macros importantes encore n'est pas compatible avec Iso-Z Standard, Zed.Sty et Zed-csp.sty étaient une version Oxford qui s'est améliorée sur Fuzz.sty etc. p>
C'est ce que mon professeur d'ingénierie logicielle utilisée pour la mise en forme de latex lors de la création des schémas et des opérations Z: J'espère que c'est utile.