Có gói nào cho LaTeX sẽ hỗ trợ viết thông số kỹ thuật Z không? Tôi quan tâm đến cả hai định dạng ngang và dọc cho các lược đồ.Thông số kỹ thuật của Z trong LaTeX
Trả lời
Có một gói, nó được gọi là zed-csp. Đây là một reference về cách sử dụng nó.
Dưới đây là một sơ đồ ví dụ:
\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}
Xem câu hỏi của tôi và trả lời về đề tài này: Zed Notation in LyX
Có khá một vài gói mà cung cấp hỗ trợ cho các văn bản Z đặc điểm kỹ thuật trong LaTeX. Mặc dù nhiều người có cú pháp rất giống nhau và một số cung cấp các chức năng bổ sung.
- 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. chuồng: http://ctan.mackichan.com/macros/latex/contrib/zed-csp/zed-csp.sty
Thông tin thêm về các gói này có thể được tìm thấy tại đây: http://czt.sourceforge.net/latex/
Nó giải thích rằng fuzz.sty là lần đầu tiên và chứa macro quan trọng chưa tương thích với tiêu chuẩn ISO-Z, zed.sty và zed-csp.sty là một phiên bản Oxford rằng cải thiện trên fuzz.sty vv
Đây là những gì phần mềm của tôi Engineering Giáo sư sử dụng cho LaTeX-định dạng khi tạo Z-Schemas và hoạt động:
\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}
tôi hy vọng nó có ích.
- 1. Thông số kỹ thuật .NET CLR
- 2. Thông số kỹ thuật mã hóa iOS
- 3. Stubbing Paperclip S3 yêu cầu trong thông số kỹ thuật
- 4. Lấy các thông số kỹ thuật lặp lại trong RSpec
- 5. Hướng dẫn viết thông số kỹ thuật trong Erlang
- 6. Kỹ thuật thông báo nhẹ
- 7. Thông số kỹ thuật cho Motion JPEG là gì?
- 8. Thông số kỹ thuật điều khiển DRY với RSpec
- 9. C thông số # loại đặc điểm kỹ thuật
- 10. Thông số kỹ thuật cho tệp .obj Wavefront là gì?
- 11. Thông số kỹ thuật CSS3 trên w3.org
- 12. Trợ giúp triển khai mẫu thông số kỹ thuật
- 13. Tạo tập con của HashMap dựa trên một số thông số kỹ thuật?
- 14. Liên kết trong C: GCC có tuân thủ thông số kỹ thuật C99 hay tôi không hiểu thông số kỹ thuật?
- 15. Có thể có thông số kỹ thuật được tham số hóa trong RSpec không?
- 16. thông số kỹ thuật tích hợp/yêu cầu rspec và thông số kỹ thuật điều khiển với chú trọng trên JSON api
- 17. Mẫu C++: Thông số kỹ thuật một phần của mẫu và Lớp bạn bè
- 18. Đơn vị thử nghiệm Ứng dụng mùa xuân sử dụng Thông số kỹ thuật của Scala
- 19. Có thông số kỹ thuật của giao thức trưởng nhóm xử lý IO không?
- 20. Làm cách nào để chạy thông số kỹ thuật của đá quý Ruby?
- 21. Cách đặt mặc định cho thông số kỹ thuật của khách hàng thực thi
- 22. Bạn sử dụng công cụ/định dạng nào để viết thông số kỹ thuật của mình?
- 23. Chạy thông số kỹ thuật cho động cơ ray từ ứng dụng mẹ của nó
- 24. Số in theo định dạng kỹ thuật
- 25. Bao gồm thông số kỹ thuật mô hình trong xtable (anova (...))
- 26. Phiên điều khiển truy cập Rspec 2.7 trong thông số kỹ thuật trước khi yêu cầu
- 27. Cách sắp xếp định nghĩa thông số kỹ thuật trong Dưa chuột?
- 28. Làm cách nào để quản lý thông số kỹ thuật trong Scrum?
- 29. Cách mô tả dữ liệu JSON trong thông số kỹ thuật?
- 30. Kỹ thuật đảo ngược giao thức truyền thông
Cảm ơn, tôi đã sợ rằng câu hỏi đó sẽ đề cập đến một cái gì đó cụ thể của LyX. –
Cảm ơn một lần nữa, hoạt động như một sự quyến rũ. –
@Gabriel Ščerbák không có vấn đề gì, cảm ơn các phiếu bầu: P –