Computer Science ›› 2007, Vol. 34 ›› Issue (1): 228-235.
Previous Articles Next Articles
MIAO Huai-Kou, CHEN Yi-Hai （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）
Online:
Published:
Abstract: How to improve the software reliability is the hot research topic in the field of software engineering. Integrating formal methods and mainstream software development methods is a viable approach. The integration of UML and Object-Z provides a bridge betw
Key words: UML,Class diagram, OCL constraints,Object-Z specification
MIAO Huai-Kou, CHEN Yi-Hai （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）. [J].Computer Science, 2007, 34(1): 228-235.
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/I1/228
Cited
Home