LaTeX의 Z 사양

Question

Z 사양 작성을 지원하는 LaTeX 용 패키지가 있습니까? 스키마의 가로 및 세로 형식 모두에 관심이 있습니다.

Answer 1

패키지가 있는데, zed-csp이라고합니다. 사용 방법은 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} 

내 질문을 참조하고 주제에 대한 답변 : Zed Notation in LyX

Answer 2

는 라텍스 Z 사양을 작성하기위한 지원을 제공 꽤 많은 패키지가 있습니다

는 여기에 예제 스키마입니다. 많은 사람들이 매우 유사한 구문을 가지고 있지만 어떤 것은 여분의 기능을 제공합니다.

• 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
• 데이빗 CSP. sty : http://ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty

이 패키지에 대한 자세한 내용은 여기를 참조하십시오. http://czt.sourceforge.net/latex/

fuzz.sty가 첫 번째이며 중요한 매크로가 포함되어 있지만 아직 ISO-Z 표준, zed.sty 및 zed-csp.sty와 호환되지 않는다고 설명합니다. 나는 그것이 도움이 희망

\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} 

: 이것은 Z-스키마 및 운영을 만들 때 내 소프트웨어 공학 교수는 라텍스 형식에 사용되는 것입니다 fuzz.sty 등

Answer 3

에 개선 옥스포드 버전을했다.