SCRUB: a tool for code reviews
暂无分享,去创建一个
[1] Michael Fagan. Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..
[2] Gerard J. Holzmann,et al. UNO: Static Source Code Checking for User-Defined Properties 1 , 2002 .
[3] Gerard J. Holzmann,et al. The power of 10: rules for developing safety-critical code , 2006, Computer.
[4] Laurie Williams,et al. Integrating pair programming into a software development process , 2001, Proceedings 14th Conference on Software Engineering Education and Training. 'In search of a software engineering profession' (Cat. No.PR01059).
[5] Glen W. Russell,et al. Experience with inspection in ultralarge-scale development , 1991, IEEE Software.
[6] Michael E. Fagan. Advances in software inspections , 1986, IEEE Transactions on Software Engineering.
[7] Shin Nakajima,et al. The SPIN Model Checker : Primer and Reference Manual , 2004 .