Providing user-oriented support for software development by formal methods
暂无分享,去创建一个
Jim Welsh | Jun Han | A.S.K. Cheng | A. Wood
[1] David R. Musser,et al. Abstract Data Type Specification in the Affirm System , 1980, IEEE Transactions on Software Engineering.
[2] Sentot Kromodimoeljo,et al. EVES: An Overview , 1991, VDM Europe.
[3] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .
[4] A. Wood,et al. Incorporating Constructive Tools into a Generic Language-Based , 1993 .
[5] Donald I. Good,et al. Mechanical proofs about computer programs , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[6] Peter A. Lindsay,et al. mural: A Formal Development Support System , 1991, Springer London.
[7] David R. Musser,et al. An Overview of AFFIRM: A Specification and Verification System , 1980, IFIP Congress.
[8] Ian A. Mason,et al. An overview of the Edinburgh logical framework , 1989 .
[9] John Rushby,et al. An Introduction to Formal Specification and Verification using EHDM , 1991 .
[10] Yun Yang,et al. Tool Integration Techniques , 1991 .
[11] David R. Musser,et al. Automated Theorem Proving for Analysis and Synthesis of Computations , 1989 .
[12] Peter J. Robinson,et al. The demonstration interactive theorem prover Demo3.3 , 1993 .
[13] Jim Welsh,et al. An Adaptive Program Editor , 1986, Aust. Comput. J..
[14] J. Welsh,et al. ANOTHER APPROACH TO LITERATE PROGRAMMING. , 1988 .
[15] T Vickers. An Overview of a Refinement Editor , 1990 .
[16] Rance Cleaveland,et al. Implementing mathematics with the Nuprl proof development system , 1986 .