Protective Interface Specifications
暂无分享,去创建一个
[1] Jeannette M. Wing. A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS , 1983 .
[2] Martin Gogolla,et al. TROLL light - The Language and its Development Environment , 1995, KORSO Book.
[3] L. M. G. Feijs,et al. Formal Specification and Design , 1992 .
[4] Steven M. German,et al. Automating proofs of the absence of common runtime errors , 1978, POPL.
[5] Fred B. Schneider,et al. Avoiding the Undefined by Underspecification , 1995, Computer Science Today.
[6] Natarajan Shankar,et al. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS , 1995, IEEE Trans. Software Eng..
[7] Ian J. Hayes,et al. Specification case studies , 1987 .
[8] Cliff B. Jones,et al. On the Usability of Logics which Handle Partial Functions , 1991 .
[9] A. Bijlsma,et al. Semantics of quasi-boolean expressions , 1990 .
[10] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[11] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[12] Stuart H. Zweben,et al. Part I: the RESOLVE framework and discipline: a research synopsis , 1994, SOEN.
[13] Stephen J. Garland,et al. Debugging Larch Shared Language Specifications , 1990, IEEE Trans. Software Eng..
[14] Andrzej Blikle,et al. Three-valued predicates for software specification and validation , 1988, Fundam. Informaticae.
[15] Donald Sannella,et al. The Definition of Extended ML: A Gentle Introduction , 1997, Theor. Comput. Sci..
[16] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[17] Uwe Wolter,et al. How to Cope with the Spectrum of SPECTRUM , 1995, KORSO Book.
[18] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[19] Peter A. Lindsay,et al. Proof in VDM: A Practitioner's Guide , 1993, Proof in VDM.
[20] Cliff B. Jones,et al. Partial Functions and Logics: A Warning , 1995, Inf. Process. Lett..
[21] Andrzej Tarlecki,et al. A three-valued logic for software specification and validation , 1988, Fundam. Informaticae.