Computer Science ›› 2006, Vol. 33 ›› Issue (7): 230-232.
Previous Articles Next Articles
WEN Zhi-Cheng, MIAO Huai-Kou, SUN Jun-Mei （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 thus has object-oriented characteristics. It improves the clarity of large specifications through enhanced structuring. Class
Key words: Object-Z, Polymorphism, Precondition, Postcondition, Reasoning, Reuse
WEN Zhi-Cheng, MIAO Huai-Kou, SUN Jun-Mei （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）. [J].Computer Science, 2006, 33(7): 230-232.
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/I7/230
Cited
Home