論文專著：
已發表研究論文60多篇，出版專著5本。
出版專著： 
1、譯著：《論大型軟件的開發》，武漢大學出版社，1986
2、中國計算機學會學術著作叢書：《軟件可靠性模型及應用》，清華大學出版社，廣西科學技術出版社，1994
3、專著：《軟件可靠性專家系統(SRES)開發》，北京:清華大學出版社，1996
4、專著：《軟件可靠性》，(合著)，北京:國防工業出版社，1998
5、教材：《軟件工程》，（主編），武漢:華中科技大學出版社，2001
6、研究生教材: 《廣義軟件可靠性工程》，北京:清華大學出版社，2006
發表論文：
1. 軟件錯誤及其對工具系統—WPADT的影響，武漢大學學報(自然科學版)，1986，2，21—28
2. 容錯軟件的設計技巧，軟件產業，1987，10，1—12
3. 軟件可靠性評估—一門引人注目的邊緣學科，軟件產業，1987，11，1—7
4. 論軟件工程發展的三個方面—C2F，武漢大學學報(自然科學版)，1988，3，117—122
5. 第十屆國際軟件工程會議概況，計算機科學，1988，5，25—30
6. 軟件可靠性估測現存問題及克服方法的研究，武漢大學學報(自然科學版)，1988，6，178—184
7. 論軟件工程數據的收集，軟件產業，1989，8，11—15
8. Combining Test Strategy in Reliability Modeling，全國可靠性數學第三屆學術會論文集，西安，1989，9，17—21，210—215
9. NHPP模型擬合質量的改進，自然科學進展—國家重點實驗室通訊，1991，第一卷，第六期，535—542
10. The Improvement of Fitting Qualities by Using NHPP Models，PROGRESS IN NATURAL SCIENCE—COMMUNICATIONS FROM STATE KEY LABORATORIES OF CHINA，April，1992，Vol.2,No.2，132—142
11. 直觀程序設計環境的開發與應用，軟件產業，1992，2，8—11
12. 非齊次泊松過程模型的擴展，武漢大學學報(自然科學版)，1992，3，17—22
13. EM算法在非齊次泊松過程模型參數估計中的應用，武漢大學學報(自然科學版)，1992， 4，17—22
14. NHPP模型參數調整與EM算法，計算機學報，1992，5，第15卷，第5期，388—396 (EI檢索)
15. SRPS—可供實用的軟件可靠性估測系統，計算機應用與軟件，1992，6，第9卷，第6期， 23—30
16. A Dynamical Software Reliability Prediction Modeling Method and Its Implementation， Proceedings of The First Beijing International Conference on Reliability，Maintainability and Safety(BICRMS’92)， Beijing，China，October 12—15，1992，663—667
17. 軟件可靠性工程的基本概念、任務與實施方法，軟件世界，1993，2，34—36，3，36—41
18. 軟件可靠性指標分配工具Assitool，Proceedings of The First Symposium on System Reliability and Probabilistic Risk in China，Chongqing—Wuhan，China，May 24—June 3，1993，276—283
19. 非齊次泊松過程模型參數估計的奇異性，武漢大學學報(自然科學版)，1993，5，21—26
20. 非齊次泊松過程模型的參數計算方法，武漢大學學報(自然科學版)，1995，第41卷，第3期，321—328
21. FMS控制系統軟件的多任務可靠性模型，Proceedings of The First Symposium on Software Reliability in China，May 9—10，1995，Wuhan，China，74—79
22. 軟件可靠性估測專家系統與實現，Proceedings of The First Symposium on SoftwareReliability in China，May 9—10，1995，Wuhan，China，80—84
23. 軟件可靠性專家系統及其實現，全國第五屆可靠性學術會議論文集，機械工業出版社，承德，1995，10，227—231
24. An Investigation on Inconsistency of Software Reliability Models，Proc. Of The The Third ICRMS’96，Guangzhou，China，November 12—15，1996，548—553
25. 軟件可靠性模型應用中的不一致性與軟件可靠性專家系統，Proceedings of The Second Chinese World Congress on Intelligent Control and Intelligent Automation (CWCICIA’97)，Xian，China，June 23—27，1997，1496—1501
26.軟件可靠性專家系統(SRES)中經驗模型的奇異性問題與參數估計方法，計算機學報，1998，2，第21卷，第2期，145—153 (EI 檢索)
27.軟件可靠性專家系統的開發與使用，計算機應用研究，1998，3，第15卷，第3期，16 —20
28.三參數NHPP軟件可靠性模型的參數演化計算，計算機應用研究, 1998，2，第15卷，第2期(J)，122—123
29.軟件可靠性模型的奇異性問題，計算機應用研究，1998，2，第15卷，第2期(J)，137—138
30.軟件可靠性模型參數的演化計算估計方法，計算機應用研究，1998，2，第15卷，第2期(J)，139—140
31.計算機輔助軟件工程工具采用技術研究，計算機應用研究，1998，2，第15卷，第2期(J)，235—241
32.具奇異性的軟件可靠性模型的參數計算，計算機應用研究，1998，2，第15卷，第2期(J)，259—260
33.軟件可靠性指標分配工具Assitool，小型微型計算機系統，1998，11，第19卷，第11期，18—239 (EI 檢索)
34. The Implementation of Software Reliability Expert System(SRES) in Win95，全國第六屆可靠性學術會議論文集，機械工業出版社，泰安，1998，10，52—61
35.面向多用戶的模塊化軟件系統可靠性分配，小型微型計算機系統，1999，第20卷,第1 期，5-10
36. 基于測試覆蓋的NHPP模型，小型微型計算機系統，1999，第20卷,第8期，587-592 (EI檢索)
37.軟件可靠性穩定增長與安全性測試的故障樹分析法，小型微型計算機系統, 1999, 9,Vol.20, No.9, 668-671
38.用含仿射操作的遺傳算法求解軟件可靠性模型參數估計的奇異性問題，小型微型計算機系統，1999，工程9， Vol.20, No.9, 654-656
39. 軟件可靠性指標分配的故障樹分析法，武漢大學學報（自然科學版）， 1999，10，Vol.45,No. 5B, 684-686
40.具有錯誤修復的非齊次馬爾可夫模型，小型微型計算機系統，2000，3，Vol.21，No.3,242-245
41. 基于軟件知識的測試方法，武漢大學學報（自然科學版）， 2000，1，Vol.46,No.1, 61-62
42.基于軟件知識的測試方法，《面向新世紀的中國測試技術》：2000年全國測試學術會議論文集，北京：裝甲兵工程學院，2000，10，16-18，北京：《電子測試》雜志社，ISSN：1000-8519
43. 網上電子支付系統分析，計算機應用研究，2001，5，Vol.18,No.5, 56-58
44. 面向多用戶軟件系統的可靠性分配的故障樹分析法，小型微型計算機系統，2000，3，Vol.22，No.3,329-332
45. Xu Ren-zuo, Zhou Rui, Yang Xiao-qing. Singularity of Software Reliability Models LVLM and LVQM, Wuhan University Journal of Natural Sciences, June 2000,5(2),150-154
46. INVESTIGATION ON HUMAN FACTORS ANALYSIS FOR SOFTWARE ENGINEERING, Proceedings of ICRMS 2001, Vol 2, (The 5th International Conference on Reliability, Maintainability and Safety, Dalian, China, 28-31, August, 2001, 797-804
47. 軟件可靠性多模型綜合評估，同濟大學學報，自然科學版，2002，10，Vol.30, No.10, 1183-1185
48. 基于模塊開發控制的一個軟件可靠性分配模型，武漢大學學報（理學版），2003，1，Vol.49,No.1, 44-48
49. 軟件安全性測試，第三屆中國信息和通信安全學術會議論文集，科學出版社，北京，2003，3，351-357
50. 軟件系統的可靠性評估，計算機應用研究，第20卷（2003增刊），177-178
51. 軟件可靠性分配的一個非線性規劃模型，計算機工程，2003，29（17），34-36
52.構造面向對象軟件可復用測試用例的模式研究，武漢大學學報（理學版），2003，5（49），592-596
53. 普適計算的安全問題及其訪問控制模型，武漢大學學報（信息科學版），2003，28（特刊），12，31，152-154
54. Human Factors Analysis in Software Engineering, Wuhan University Journal of Natural Sciences, 2004,1, 9(1), 18-22 (Accession number:04278253040)
55. Impirical Measurement of the Software Testing and Reliability, Wuhan University Journal Of Natural Sciences, 2004,1, 9(1), 23-26 (Accession number:04278253041)
56. 結合哈希過濾的一種改進多連接查詢優化算法，計算機工程，2004，30（7），57-59
57. Huang Can, Xu Ren Zuo, Zhang Liang Ping. A Software Reliability Allocation Model Based on Cost-controlling, Advanced Reliability Modeling, Proceedings of the 2004 Asian International Workshop (AIWARM 2004), Singapore: World Scientific, Hiroshima, Japan, 26-27, August, 2004, 173-180 (ISTP收錄)
58. 徐仁佐、鄭紅軍等�；诮巧蜕舷挛牡脑L問控制模型，計算機應用研究， 21（12），2004，140-143
59. 一種動態可配置的分布式互操作體系結構----DCDCA，計算機應用研究， 21（增刊），2004，12，268-270
60. Xu Ren-zuo, Han Yi-fan, Huang Can, Yao Jun-feng. Investigation on Relationship between Cost and Software Reliability, The 1st Chinese Conference on Trusted Computing and Information Security, Wuhan University Journal of Natural Science, Jan. 2005, 10(1), 9-1260
61. 鄭紅軍，徐仁佐，高俊鵬。NHPP模型完全排錯假設的修改，計算機工程與應用，41（7），2005，49-50
62. 徐仁佐，劉麗娜，黃燦。軟件工程中的人因問題研究，Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京：清華大學出版社，2005， 147-152
63.徐仁佐，黃燦，鄭紅軍，高俊鵬，韓弈凡。基于軟件知識的測試方法，Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京：清華大學出版社，2005，153-158
64. 徐仁佐。軟件工程中的復雜網絡現象與軟件可靠性研究，Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, June 2-4, 北京：清華大學出版社，2005，357-363
65. Yan-shen Liu, Can Huang, Ren-zuo Xu. The Program Control Flow Graph and the Test Path Automation Generation for Source Program, Proceedings of the ICQR’2005, Singapore: World Scientific
66. 姚俊峰，徐仁佐。GreeNet 互聯網訪問控制系統性能測試及評價，計算機工程與應用，2941（7），2005，154-155
67. RenZuo Xu et al, Investigation on Complex Networks in Software Engineering, Proceedings of 2006 IEEE International Conference on Management of Innovation and Technology, Design, Typeset and Printed by Stallion Press, June, 2006, 532-534
媒體報道：
實踐出真知 質量與創新并重
——記武漢大學博士生導師徐仁佐教授
徐仁佐 1946年8月出生，湖北紅安人。1969年7月畢業于武漢大學數學系數學專業，畢業后留校任教。現任武漢大學教授、博士生導師。1996年9月至1997年12月期間，曾任軟件工程國家重點實驗室副主任。 他同時兼任的學術職務有：中國運籌學會可靠性專業學會理事長；武漢計算機軟件工程學會理事長；中國計算機學會容錯計算委員會委員；中國電子學會可靠性、可維性委員會委員；全國電工電子產品可靠性與維修性標準化技術委員會（SAC/TC24）委員。
結緣軟件可靠性研究 軟件可靠性，是軟件質量的指標之一，也是至今人們能定義出的唯一能定量指示軟件質量的指標。
從1983年開始，徐仁佐一直在武漢大學軟件工程國家重點實驗室研究軟件可靠性、軟件可靠性工程、軟件工程。軟件可靠性工程是對軟件的質量（特別是軟件可靠性）進行管理和控制的實用性學科，而軟件可靠性模型又是軟件可靠性工程的基礎之一。從那時起，徐仁佐就與軟件開發、軟件質量管理結下了不解之緣。并在從事研究的同時，培養了大批的青年俊才。
在上個世紀八十年代，軟件工程在國外已研究多年，我國則是剛剛起步，一切都要從頭開始。對軟件可靠性的研究也是一個嶄新的領域，在國內還從來沒有人做過。面對重重困難，徐仁佐迎著壓力沖上前去。在他看來，中國的軟件產業要發展，就必須要走出自己的路，不能跟在別人的后面亦步亦趨。軟件企業要創品牌效益，只能靠質量，靠自己的創新精神。
解密軟件可靠性 在軟件系統的開發過程中，集中了大量的人類的腦力勞動。而要寫出好的軟件，就必須強迫人類嚴格按照電子計算機的方式去思考，這是十分不人道的。由于各個環節上的人為因素，帶入到軟件中去的錯誤是不可避免的。這些錯誤好比是埋設在軟件中的地雷，在軟件運行的過程中，它們可能會因為當時的輸入和各種系統內部狀態的組合而觸發，使得軟件表現出來的行為偏離了人們在設計時對它的期望，應該發揮的功能不可能正常的發揮，此時，軟件就出現了故障。因此，軟件錯誤是因，軟件故障是果。
現在，大家都承認人在寫軟件時錯誤是“不可避免的”，好象在這個問題上，人類命中注定是要“無所作為”了。真的如此嗎？因此，徐仁佐提出應開展軟件工程中的人因問題的研究。他提出，我們應該從人類大腦的結構，從人類在寫軟件時對有關知識的運用和加工處理等一系列機制入手，認識人類犯錯誤的原因，從中尋找可以有效預防人類犯錯誤的措施和辦法。
研究軟件可靠性，選擇什么作為突破口？經過深入細致的調查分析，徐仁佐決定從軟件可靠性的模型開始研究。很多研究軟件工程的人將研究軟件可靠性模型視為是一條難行的路途，因為這需要大量的數學知識。軟件可靠性模型，作為定量分析軟件可靠性的數學工具，必須有理論上的假設：假設軟件出現錯誤的行為方式；假設人們在進行軟件的測試時的工作效率和查出軟件錯誤時的處理結果；假設軟件錯誤在發生時對整個系統行為的影響等等。 
其次，研究軟件可靠性要求研究者具有深厚的概率與隨機過程的功底。只有具備這些條件，對于在軟件測試過程中收集的軟件故障數據的處理，才能得心應手。
另外，要研究軟件可靠性，必須要有軟件故障數據，這就必須要求研究者對于軟件的測試要有深刻的了解。而這些，徐仁佐都具備。所以，當他的學生問到他原來是研究軟件可靠性的，為什么后來卻研究起軟件測試來了時，他能給他們講清其中的邏輯關系。他先后主講高等數學、數理邏輯、算法設計與分析、離散數學、可計算性等本科課程，和軟件可靠性工程與軟件測試、軟件工程、計算機科學中的數理邏輯等碩士課程。由于他能及時將科研成果溶入教學，堅持教書育人,因此獲得學生廣泛好評。
聯系實際還要創新
在徐仁佐的研究工作中，十分強調理論聯系實際，堅持認為所研究的成果必須能在工程實際中得到真正的應用，為我國的軟件產業發展壯大作出實際的貢獻。
關于軟件測試，徐仁佐經過長期的研究，提出“基于軟件知識的軟件測試”理論。他指出：軟件中包含了三類知識：第一類軟件的正確功能所包含的領域知識，歷來被從事軟件開發和軟件測試的人們所重視；第二類知識是關于軟件開發的正確知識；第三類是關于正確使用軟件的知識。徐仁佐指出：人們在從事軟件測試時，對第一類知識十分重視，而往往忽略了對于另外兩類知識的測試，以至于造成對軟件的測試不完全的狀況。
認真學習國外的先進科技，為我所用，但決不跟在別人的后面亦步亦趨。徐仁佐先后出訪過新加坡、瑞典、美國、日本，無論出席國際學術會議，還是做訪問學者，均堅持實踐這一原則。
他的研究十分強調理論聯系實際。目前，由于政策的導向，學術界出現了寫論文的“專業戶”。在有人千方百計尋找影響因子低的雜志發表論文時，他仍然堅持為了振興我國的軟件產業孜孜不倦地探索、追求。他認為，一個國家的科研，不在于發表多少論文，根本的目的是“科技強國、科技強軍、科技富國、科技富民”。他已組建軟件公司，以利成果的轉化。
他認為我國IT業界在網絡的新一代體系結構、網站布局、通信協議標準化、無線上網終端設施的設計、制造技術等方面，應爭取走在世界的前列。他不跟在洋人后面研究復雜網絡的描述問題，而是針對目前軟件質量存在的問題，在2004年率先提出開展軟件工程中的復雜網絡現象研究，很快在國內外發表研究論文，獲得國內外的好評。同時他指出只研究對于復雜網絡的描述是不夠的，應回歸到對復雜網絡本身問題的解決。他對目前國內存在的種種學術腐敗現象深惡痛絕，反復教導他的學生在反對學術腐敗時，不要忘記注意保護自己的知識產權。 學術成就
千里之行，始于足下。多年來務實求真的奮斗成就了徐仁佐教授輝煌的事業。到目前，徐仁佐教授已發表研究論文七十多篇，出版專著五本。由他主編的《軟件可靠性工程》一書，也將于2007年初在清華大學出版社出版。
多年來, 徐仁佐教授共主持完成國家自然科學基金等國家科研工作十多項，取得了一大批科研成果。1994年10月，他的論文《NHPP模型擬合質量的改進》獲湖北省第五屆自然科學優秀學術論文三等獎；1994年10月，論文《NHPP模型參數調整與EM算法》獲湖北省計算機學會一九九四年優秀學術論文獎；1996年11月，論文《軟件可靠性專家系統及其實現》獲湖北省第六屆自然科學優秀學術論文二等獎。由他主持開發的《軟件可靠性專家系統(SRES)》于1997年3月獲國家教委科學技術進步二等獎。2005年12月,他參加的科研課題《軟件質量保證支撐系統SQAS》獲湖北省科技進步獎一等獎。
結束語 成功沒有捷徑，但追求者的腳步卻有跡可尋。至今，徐仁佐教授在我國軟件可靠性工程領域從事科研已經有二十多年了。流逝的年華，記錄在白發皺紋間，閃光的業績，寫入我國計算機軟件的發展史。祝愿徐仁佐教授的科研人生永遠年輕輝煌！
（出處：《科學中國人》2007年第三期）
徐仁佐，1946年8月出生，湖北紅安人�，F任武漢大學軟件工程國家重點實驗室教授、博士生導師。曾任軟件工程國家重點實驗室副主任。同時兼任的學術職務有：中國運籌學會可靠性專業學會理事長；武漢計算機軟件工程學會理事長；中國計算機學會容錯計算委員會委員；中國電子學會可靠性，可維性委員會委員；全國電工電子產品可靠性與維修性標準化技術委員會(SAC/TC24)委員。曾先后訪問新加坡、瑞典、美國，參加國際軟件工程大會、任訪問學者。
科學研究：
榮譽獎勵：