Discussion on Definition and Use of Variables in Z Formal Specifications: An Example
暂无分享,去创建一个
Juan Chen | Yi Hu | Fangjun Wu | Xiaoli He | Qing Mao | Tong Yi | Huaiguo Xu
[1] Gary A. Kildall,et al. A unified approach to global program optimization , 1973, POPL.
[2] Deng Min. Research on Typical Software Architecture Slicing , 2005 .
[3] Xiao-ping Jia. ZTC: A Type Checker for Z Notation User's Guide , 1995 .
[4] YiTong,et al. THE Z SPECIFICATION DEPENDENCE GRAPH , 2005 .
[5] Ling Liu,et al. Z User Studio: An integrated support tool for Z specifications , 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.
[6] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[7] Tornohiro ODA,et al. Specification slicing in formal methods of software development , 1993, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93.
[8] Ingo Brückner,et al. Slicing CSP-OZ Specifications for Verification ⋆ , 2005 .
[9] Tong Yi,et al. Slicing Z specifications , 2004, SIGP.
[10] Jane Sinclair,et al. Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.
[11] Heike Wehrheim,et al. Slicing Object-Z Specifications for Verification , 2005, ZB.
[12] John A. McDermid,et al. CADIZ - Computer Aided Design in Z , 1990, Z User Workshop.
[13] Dave Neilson,et al. zedB: A Proof Tool for Z Built on B , 1991, Z User Workshop.
[14] Amitabha Sanyal,et al. Data Flow Analysis - Theory and Practice , 2009 .
[15] L. Lovasz. Discrete mathematics : elementary and beyond / by L. Lovasz, J. Pelikan, K. Vesztergombi , 2004 .
[16] Fangjun Wu,et al. Generalized Program Slicing Applied to Z Specifications , 2009, 2009 International Conference on Computer Engineering and Technology.
[17] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.