Computer Science ›› 2007, Vol. 34 ›› Issue (4): 258-260.
Previous Articles Next Articles
ZHOU Jing ,MIAO Huai-Kou (College of Computer Engineering and Science, Shanghai University, Shanghai 200072)
Online:
Published:
Abstract: The validation of the software specification holds the balance during the software development. The anima tion technology of the formal specification is a kind of the validation methods. The paper studies the animation of Object-Z specification in SQL, an
Key words: Object-Z, Specification, Validation, SQL, Animation
ZHOU Jing ,MIAO Huai-Kou (College of Computer Engineering and Science, Shanghai University, Shanghai 200072). [J].Computer Science, 2007, 34(4): 258-260.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I4/258
Cited