Computer Science ›› 2006, Vol. 33 ›› Issue (11): 263-267.
Previous Articles Next Articles
WEN Zhi-Cheng ,MIAO Huai-Kou, XU Qing-Guo （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）
Online:
Published:
Abstract: Object-Z is an extension to the formal specification language Z, which facilitates specification in an object-oriented style and improves the clarity of large specifications through enhanced structuring. Ohject-Z is an excellent tool for modeling data and
Key words: Object-Z, CSP, Formal specification, Parameterized process, Conversion
WEN Zhi-Cheng ,MIAO Huai-Kou, XU Qing-Guo （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）. [J].Computer Science, 2006, 33(11): 263-267.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I11/263
Cited
Home