Z spesifikasyonları içinde LaTeX

Question

LaTeX için Z şartnamelerini destekleyen herhangi bir paket var mı? Şemalar için hem yatay hem de dikey formatlarla ilgileniyorum.

Answer 1

zed-csp adı verilen bir paket var. İşte nasıl kullanılacağı hakkında bir reference.

\begin{schema}{InitJunction1} 
\Delta Sys\\ 
junc?: JUNCTION\\ 
road1?: ROAD\\ 
road2?: ROAD 
\where 
road1? \neq road2?\\ 
junc? \notin juncList\\ 
\forall j: juncList @ \neg ((road1? \in roadsInJunc(j)) \land (road2? \in roadsInJunc(j))\\ 
roadsInJunc' = roadsInJunc \cup \{junc? \mapsto \{road1,road2\}\}\\ 
juncList' = juncList \cup \{junc?\} 
\end{schema} 

benim soruya bakın ve konuyla ilgili cevap: Zed Notation in LyX

Answer 2

LaTeX'te Z şartname yazılması için destek sunmak epeyce paketleri vardır

İşte bir örnek şema var. Birçoğu çok benzer sözdizimine sahip olsa da bazıları ek işlevler sunar.

• Cadiz.sty: https://www.cs.york.ac.uk/hise/cadiz/latexmarkuptut.html
• oz.sty: https://www.ctan.org/tex-archive/macros/latex/contrib/objectz?lang=en
• fuzz.sty: https://www.cs.cmu.edu/afs/cs/academic/class/15671-f95/ftp/fuzz.sty
• zed.sty: http://tug.ctan.org/macros/latex209/contrib/zed/zed.sty
• zeves.sty: http://www.informatik.uni-bremen.de/agbkb/lehre/ss12/foma/Z/z-eves.sty
• zed-CSP. sty: http://ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty

Bu paketler hakkında daha fazla bilgi burada bulunabilir: http://czt.sourceforge.net/latex/

Bu fuzz.sty ilk olduğunu ve önemli makroları içeren henüz ISO-Z Standard, zed.sty ve zed-csp.sty ile uyumlu olmadığını açıklar. bunun yararlı umut

\usepackage{oz, amsfonts} 
... 
\begin{schema}{MusicStore} 
member: \pset NAME\\ 
orders: \pset (NAME\times ALBUM)\\ 
owns: \pset (NAME\times ALBUM) 
\ST 
{\bf dom}\mbox{ } orders \subseteq member\\ 
{\bf dom}\mbox{ } owns \subseteq member\\ 
\forall (m, a)\in orders.(m, a)\notin owns 
\end{schema} 

: Bu Z-Şemaları ve Operasyonlar oluştururken benim Yazılım Mühendisliği Profesörü LaTeX-biçimlendirme için kullanılan budur fuzz.sty vb

Answer 3

üzerinde geliştirilmiş olan Oxford'da versiyonunu idi.