The 17th NCSC abstract: Belief in Correctness
暂无分享,去创建一个
[1] Nancy G. Leveson,et al. High-pressure steam engines and computer software , 1992, Computer.
[2] Mark C. Paulk,et al. Capability Maturity Model for Software, Version 1.1 , 1993 .
[3] C. Hoare,et al. Mathematics of Programming , 1993 .
[4] G. B. Finelli,et al. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..
[5] John C. Knight,et al. Preliminary Experience Using Z to Specify a Safety-Critical System , 1992, Z User Workshop.
[6] Victor R. Basili,et al. A reference architecture for the component factory , 1992, TSEM.
[7] Elaine J. Weyuker,et al. Comparison of program testing strategies , 1991, TAV4.
[8] Marvin V. Zelkowitz,et al. A functional correctness model of program verification , 1990, Computer.
[9] David Lorge Parnas,et al. Evaluation of safety-critical software , 1990, CACM.
[10] Bill Brykczynski,et al. SDS (strategic defense system) software testing and evaluation: A review of the state-of-the-art in software testing and evaluation with recommended R D (research and development) tasks. Final report , 1989 .
[11] James H. Fetzer. Program verification: the very idea , 1988, CACM.
[12] Barry W. Boehm,et al. A spiral model of software development and enhancement , 1986, Computer.
[13] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .
[14] Elaine J. Weyuker,et al. Axiomatizing software test data adequacy , 1986, IEEE Transactions on Software Engineering.
[15] Henry Petroski,et al. To Engineer Is Human: The Role of Failure in Successful Design , 1986 .
[16] David Lorge Parnas,et al. Software aspects of strategic defense systems , 1985, CACM.
[17] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[18] M. Abrams,et al. Special Feature: A Taxonomy for Valid Test Workload Generation , 1979, Computer.
[19] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1977, POPL.
[20] D. Elliott Bell,et al. Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .
[21] S. L. Gerhart,et al. Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.
[22] R. Hamming,et al. Numerical Methods for Scientists and Engineers , 1962 .