References[Agresti 86] Agresti, W.

References
[Agresti 86] Agresti, W. W., New Paradigms for Software Development IEEE Computer Society Press, Washington DC, 1986
[Beizer 84] Boris Beizer Software System Testing and Quality Assurance Van Nostrand Reinhold, New York, 1984
[Bieman 94] J. M. Bieman and L. M. Ott “Measuring functional cohesion” IEEE Transactions on Software Engineering, vol. SE-20, no.8, pp. 644–657, Aug. 1994.
[Binder 94a] Robert V. Binder “Introduction to Special Section on Object-Oriented Software Testing” Communications of the ACM, vol. 37, no. 9, p. 28, September 1994.
[Binder 94b] Robert V. Binder “Design for Testability in Object-Oriented Systems” Communications of the ACM, vol. 37, no. 9, pp. 87–101, September 1994.
[Boehm 88] Boehm, B. W., “A spiral model for software development and enhancement” IEEE Computer, vol. 21, no. 6, IEEE Computer Society Press, Washington DC, pp. 61–72, May 1988.
[Brown 75] J. R. Brown and M. Lipov “Testing for Software Reliability” Proceedings of the International Symposium on Reliable Software Los Angeles, pp 518–527, April 1975.
[Chellappa 87] Mallika Chellappa “Nontraversible Paths in a Program” IEEE Transactions on Software Engineering, vol. SE-13, no. 6, pp. 751–756, June 1987.
[Clarke83] Lori A. Clarke and Debra J. Richardson “The Application of Error Sensitive Strategies to Debugging” ACM SIGSOFT Software Engineering Notes, vol. 8 no. 4, August 1983.
[Clarke 84] Lori A. Clarke and Debra J. Richardson “A Reply to Foster’s ‘Comment on “The Application of Error Sensitive Strategies to Debugging” ACM SIGSOFT Software Engineering Notes, vol. 9 no. 1, January 1984.
[Clarke 89] Lori A. Clarke, Andy Podgurski, Debra J. Richardson, and Steven J. Zeil “A formal evaluation of data flow path selection criteria” IEEE Transactions on Software Engineering, vol. SE-15, no.11, pp. 1318–1332, November, 1989.
[Elmendorf 73] William R. Elmendorf “Cause-Effect Graphs in Functional Testing” Poughkeepsie, NY; IBM System Development Division TR-00.2487, 1973
[Gallagher 91] K. B. Gallagher and J. R. Lyle “Using program slicing in software maintenance” IEEE Transactions on Software Engineering, vol. SE-17, no.8, pp. 751–761, August, 1991.
[Gruenberger 73] F. Gruenberger “Program Testing, The Historical Perspective” Program Test Methods, edited by William C. Hetzel, Prentice-Hall, 1973, pp 11–14.
[Harel 88] Harel, David “On Visual Formalisms” Communications of the ACM, vol. 31 no. 5, pp. 514–530, May 1988.
[Henderson-Sellers 90] Henderson-Sellers, Brian and Edwards, J.M. “The object-oriented systems life cycle” Communications of the ACM, vol. 33 no. 9, pp. 142–159, September. 1990.
[Hetzel88] Bill Hetzel The Complete Guide to Software Testing, Second Edition, QED Information Sciences, Inc., Wellesley, MA 1988.
[Huang 79] J. C. Huang “Detection of dataflow anomaly through program instrumentation” IEEE Transactions on Software Engineering SE-5; pp. 226–236 (1979).
[IEEE 83] IEEE Computer Society IEEE Standard Glossary of Software Engineering Terminology. ANSI/IEEE Std. 729–1983
[IEEE 93] IEEE Computer Society IEEE Standard Classification for Software Anomalies, IEEE Std. 1044–1993.
[Inglis 61] Stuart J. Inglis Planets, Stars, and Galaxies, 4th Edition, Wiley and Sons, New York, 1961.
[ISO 91] International Organization for Standardization Data elements and interchange formats—Information interchange—Representation of dates and times, International Standard ISO 8601:1988, Technical Corrigendum 1, Switzerland, 1991.
[Jorgensen 89] Paul C. Jorgensen “An Operational Common Denominator to the Structured Real-Time Methods” Proceedings of the Fifth Structured Technique Association (STA-5.) Conference, Chicago, May 11, 1989.
[Jorgensen 94] Paul C. Jorgensen “System Testing with Pseudo-Structures” American Programmer, vol. 7, no. 4, pp. 29–34, April 1994
[Jorgensen 94] Paul C. Jorgensen and Carl Erickson “Object-Oriented Integration Testing” Communications of the ACM, vol. 37, no. 9, pp. 30–38, September 1994.
[Lewis 94] Ted Lewis and Michael Evangelist “Fat Servers vs. Fat Clients: The Transition from Client-Server to Distributed Computing” American Programmer, vol. 7 no. 11, pp. 2–9, November 1994.
[McCabe 76] Thomas J. McCabe “A Complexity Metric” IEEE Transactions on Software Engineering, SE-2, 4, (December 1976) pp. 308–320.
[McCabe 82] Thomas J. McCabe “Structural Testing: A Software Testing Methodology Using the Cyclomatic Complexity Metric” National Bureau of Standards (now NIST) Special Publication 500-99, Washington 1982
[McCabe 87] Thomas J. McCabe “Structural Testing: A Software Testing Methodology Using the Cyclomatic Complexity Metric” McCabe and Associates, Baltimore, 1987
[Miller 77] E. F. Miller Tutorial: Program Testing Techniques, at COMPSAC’77 IEEE Computer Society, 1977
[Miller 91] Edward F. Miller, Jr. “Automated Software Testing: A Technical Perspective” American Programmer, vol. 4 no. 4, pp. 38 – 43, April 1991.
[Mosley 93] Daniel J. Mosley The Handbook of MIS Application Software Testing Yourdon Press, Prentice Hall, Englewood Cliffs, NJ, 1993
[Myers 79] Glenford J. Myers The Art of Software Testing New York, Wiley Interscience, 1979.
[Pirsig 73] Robert M. Pirsug Zen and The Art of Motorcycle Maintenance Bantam Books, New York, 1973.
[Poston 90] Robert M. Poston T: Automated Software Testing Workshop Programming Environments, Inc. Tinton Falls, NJ, 1990
[Poston 91] Robert M. Poston “A Complete Toolkit for the Software Tester” American Programmer, vol. 4 no. 4, pp 28–37, April 1991. Reprinted in CrossTalk, a USAF publication.
[Pressman 82] Roger S. pressman Software Engineering: A Practitioner’s Approach New York, McGraw-Hill, 1982.
[Rapps 85] S. Rapps and E. J. Weyuker “Selecting software test data using data flow information” IEEE Transactions on Software Engineering, vol. SE-11, no. 4, pp. 367–375, April, 1985.
[Rosen 91] Kenneth H. Rosen Discrete Mathematics and Its Applications McGraw-Hill, New York, 1991
[Rumbaugh 91] James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen Object-Oriented Modeling and Design Prentice-Hall, Englewood Cliffs, NJ, 1991
[Schach 93] Stephen R. Schach Software Engineering, 2nd Edition Richard D. Irwin, Inc. and Aksen Associates, Inc., 1993
[Topper 93] Andrew Topper, Daniel J. Ouellette, and Paul C. Jorgensen STRUCTURED METHODS: Merging Models, Techniques, and CASE, McGraw-Hill, 1993.
[Weiser 84] M. D. Weiser “Program slicing” IEEE Transactions on Software Engineering, vol. SE-10, no. 4, pp. 352–357, April, 1988.
[Zave 93] Pamela Zave “Feature Interactions and Formal specifications in Telecommunications” IEEE Computer, August, 1993

Kết quả (Việt) 1:

Tài liệu tham khảo[Agresti 86] Agresti, W. W., Paradigms mới nhất phần mềm phát triển IEEE máy tính xã hội báo chí, Washington DC, 1986 [Beizer 84] Kiểm thử hệ thống Boris Beizer phần mềm và đảm bảo chất lượng Văn Nostrand Reinhold, New York, 1984 [Bieman 94] J. M. Bieman và L. M. Ott "Đo chức năng gắn kết" IEEE giao dịch trên công nghệ phần mềm, vol. SE-20, no.8, pp. 644-657, tháng 8 năm 1994. [Chất kết dính 94a] Robert V. Binder "Giới thiệu về phần đặc biệt về kiểm thử phần mềm hướng đối tượng" giao tiếp của ACM, vol. 37, số 9, trang 28, tháng 9 năm 1994. [Chất kết dính 94b] Robert V. Binder "Thiết kế cho Testability trong hướng đối tượng Hệ thống" thông tin liên lạc của ACM, vol. 37, số 9, pp. 87-101, tháng 9 năm 1994. [Boehm 88] Boehm, B. W., "Một mô hình xoắn ốc cho phát triển phần mềm và nâng cao" máy tính IEEE, vol. 21, số 6, IEEE máy tính xã hội báo chí, Washington DC, trang 61-72, có thể năm 1988. [Brown 75] J. R. Brown và M. Lipov "Thử nghiệm cho độ tin cậy phần mềm" thủ tục tố tụng của hội nghị chuyên đề quốc tế ngày đáng tin cậy phần mềm Los Angeles, pp 518-527, tháng 4 năm 1975. [Chellappa 87] Dâm Chellappa IEEE "Nontraversible đường dẫn trong một chương trình" giao dịch trên công nghệ phần mềm, vol. SE-13, số 6, pp. 751-756, tháng 6 năm 1987. [Clarke83] Lori A. Clarke và Debra J. Richardson "Ứng dụng lỗi nhạy cảm chiến lược để gỡ lỗi" ACM SIGSOFT phần mềm kỹ thuật ghi chú, vol. 8 no. 4, tháng 8 năm 1983. [Clarke 84] Lori A. Clarke và Debra J. Richardson "một thư trả lời của Foster ' bình luận về"Ứng dụng lỗi nhạy cảm chiến lược để gỡ lỗi"ACM SIGSOFT công nghệ phần mềm Notes, vol. 9 số 1, tháng 1 năm 1984. [Clarke 89] Lori A. Clarke, Andy Podgurski, Debra J. Richardson, và Steven J. Zeil "A chính thức đánh giá về tiêu chí lựa chọn đường dẫn dữ liệu dòng chảy" IEEE giao dịch trên công nghệ phần mềm, vol. SE-15, no.11, pp. 1318-1332, tháng 11 năm 1989. [Elmendorf 73] William R. Elmendorf "Nguyên nhân gây ra hiệu ứng đồ thị trong thử nghiệm chức năng" Poughkeepsie, NY; IBM hệ thống phát triển bộ phận TR-00.2487, 1973 [Gallagher 91] K. sinh Gallagher và J. R. Lyle "Sử dụng chương trình slicing trong phần mềm bảo trì" IEEE giao dịch trên công nghệ phần mềm, vol. SE-17, no.8, pp. 751-761, tháng 8 năm 1991. [Gruenberger 73] F. Gruenberger "Chương trình thử nghiệm, quan điểm lịch sử" chương trình thử nghiệm phương pháp, chỉnh sửa bởi William C. Hetzel, Prentice-Hall, 1973, pp 11-14. [Harel 88] Harel, David "Trên trực quan Formalisms" có thể truyền thông của ACM, vol. 31 số 5, tr. 514-530, 1988. [Henderson-người bán 90] Henderson-bán, Brian và Edwards, JM "chu kỳ cuộc sống theo định hướng đối tượng Hệ thống" truyền thông của ACM, vol. 33 no. 9, trang 142-159, tháng chín. năm 1990. [Hetzel88] Hóa đơn Hetzel The Complete Guide to phần mềm thử nghiệm, Second Edition, QED khoa học thông tin, Inc, Wellesley, MA năm 1988. [Hoàng 79] J. C. Huang "Phát hiện của dataflow bất thường thông qua chương trình phương tiện" IEEE giao dịch trên công nghệ phần mềm SE-5; Trang 226-236 (1979). [IEEE 83] IEEE máy tính xã hội tiêu chuẩn IEEE thuật ngữ của thuật ngữ kỹ thuật phần mềm. ANSI/IEEE Std. 729 – 1983 [IEEE 93] IEEE máy tính xã hội tiêu chuẩn IEEE phân loại cho phần mềm bất thường, IEEE Std. 1044-1993. [Inglis 61] Stuart J. Inglis hành tinh, sao và Thiên Hà, 4 Ấn bản, Wiley và Sons, New York, năm 1961. [ISO 91] Tổ chức quốc tế cho phần tử dữ liệu tiêu chuẩn hóa và định dạng trao đổi-trao đổi thông tin-đại diện của ngày và thời gian, quốc tế tiêu chuẩn ISO 8601:1988, kỹ thuật Corrigendum 1, Thụy sĩ, năm 1991. [Jorgensen 89] Paul C. Jorgensen cấu trúc "Một hoạt động mẫu số chung với những phương pháp thời gian thực có cấu trúc" thủ tục tố tụng của thứ năm kỹ thuật Hiệp hội (STA-5.) Hội nghị, Chicago, 11 tháng 5 năm 1989. [Jorgensen 94] Paul C. Jorgensen "Hệ thống thử nghiệm với cấu trúc giả" người Mỹ lập trình viên, quyển 7, số 4, trang 29-34, tháng 4 năm 1994 [Jorgensen 94] Paul C. Jorgensen và Carl Erickson "Đối tượng theo định hướng tích hợp thử nghiệm" truyền thông của ACM, vol. 37, số 9, tr. 30-38, tháng 9 năm 1994. [Lewis 94] Ted Lewis và Michael bá "chất béo khách hàng máy chủ so với chất béo: chuyển đổi từ khách hàng máy chủ tính toán phân tán" lập trình viên người Mỹ, vol. 7 số 11, trang 2-9, tháng 11 năm 1994. [McCabe 76] Thomas J. McCabe "Một thước đo phức tạp" IEEE giao dịch trên công nghệ phần mềm, SE-2, 4, (tháng 12 năm 1976) trang 308-320. [McCabe 82] Thomas J. McCabe "Cấu trúc thử nghiệm: A phần mềm thử nghiệm phương pháp sử dụng the Cyclomatic phức tạp số liệu" cục tiêu chuẩn quốc gia (bây giờ NIST) đặc biệt ấn phẩm 500-99, Washington năm 1982 [McCabe 87] Thomas J. McCabe "thử nghiệm cấu trúc: một phần mềm thử nghiệm phương pháp bằng cách sử dụng số liệu phức tạp Cyclomatic" McCabe và cộng sự, Baltimore, 1987 [Miller 77] E. F. Miller hướng dẫn: Chương trình thử nghiệm kỹ thuật tại COMPSAC'77 IEEE Computer Society, 1977 [Miller 91] Edward F. Miller, Jr. "tự động kiểm thử phần mềm: một quan điểm kỹ thuật" lập trình viên người Mỹ, vol. 4 số 4, trang 38-43, tháng 4 năm 1991. [Mosley 93] Daniel J. Mosley Cẩm nang của MIS ứng dụng phần mềm kiểm tra Yourdon báo chí, Prentice Hall, Englewood vách đá, NJ, 1993 [Myers 79] Glenford J. Myers nghệ thuật phần mềm thử nghiệm Newjork, Wiley Interscience, 1979. [Pirsig 73] Robert M. Pirsug Zen và nghệ thuật của xe máy bảo trì Bantam sách, New York, năm 1973. [Poston 90] Robert M. Poston T: phần mềm tự động thử nghiệm hội thảo lập trình môi trường, Inc Tinton Falls, NJ, 1990 [Poston 91] Robert M. Poston "Một công cụ hoàn chỉnh cho thử nghiệm phần mềm" lập trình viên người Mỹ, vol. 4 số 4, pp 28-37, tháng 4 năm 1991. Tái bản ở xuyên âm, một ấn phẩm USAF. [Pressman 82] Roger S. pressman công nghệ phần mềm: A Practitioner's phương pháp tiếp cận New York, McGraw-Hill, 1982. [Rapps 85] S. Rapps và E. J. Weyuker "Chọn phần mềm kiểm tra dữ liệu bằng cách sử dụng dữ liệu dòng chảy thông tin" IEEE giao dịch trên công nghệ phần mềm, vol. SE-11, số 4, tr. 367-375, tháng 4, năm 1985. [Rosen 91] Toán học rời rạc Kenneth H. Rosen và các ứng dụng McGraw-Hill, Niu-oóc, 1991 [Rumbaugh 91] James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen đối tượng theo định hướng mô hình và thiết kế Prentice-Hall, Englewood vách đá, NJ, 1991 [Schach 93] Công nghệ phần mềm Stephen R. Schach, 2nd Edition Richard D. Irwin, Inc và Aksen Associates, Inc, 1993 [Topper 93] Andrew Topper, Daniel J. Ouellette, và Paul C. Jorgensen cấu trúc phương pháp: kết hợp mô hình, kỹ thuật, và các trường hợp, McGraw-Hill, 1993. [Weiser 84] M. D. Weiser "Chương trình slicing" IEEE giao dịch trên công nghệ phần mềm, vol. SE-10, no. 4, pp. 352-357, tháng 4, năm 1988. [Zave 93] Máy tính Pamela Zave "Tính năng tương tác và thông số kỹ thuật chính thức trong viễn thông" IEEE, tháng 8 năm 1993

Kết quả (Việt) 2:

Tài liệu tham khảo
[Agresti 86] Agresti, WW, mô hình mới cho phát triển phần mềm IEEE Computer Society Press, Washington DC, 1986
[Beizer 84] Phần mềm Hệ thống Boris Beizer Kiểm tra và đảm bảo chất lượng Văn Nostrand Reinhold, New York, 1984
[Bieman 94] JM Bieman và LM Ott "Đo lường sự gắn kết chức năng" IEEE giao dịch trên phần mềm Kỹ thuật, vol. SE-20, số 8, pp. 644-657, Tháng Tám năm 1994.
[Binder 94A] Robert V. Binder "Giới thiệu phần đặc biệt về Object-Oriented kiểm thử phần mềm" Truyền thông của ACM, vol. 37, không có. 9, p. 28 Tháng Chín năm 1994.
[Binder 94b Để] Robert V. Binder "Thiết kế cho Testability trong Object-Oriented Systems" Truyền thông của ACM, vol. 37, không có. 9, pp. 87-101, September 1994.
[Boehm 88] Boehm, BW, "Một mô hình xoắn ốc cho phát triển phần mềm và nâng cao" IEEE Computer, vol. 21, không có. 6, IEEE Computer Society Press, Washington DC, pp. 61-72, tháng năm 1988.
[Brown 75] JR Brown và M. Lipov "Thử nghiệm cho phần mềm đáng tin cậy" Kỷ yếu Hội thảo Quốc tế về Phần mềm đáng tin cậy Los Angeles, pp 518-527 Tháng Tư năm 1975.
[Chellappa 87] Mallika Chellappa "Nontraversible Paths trong một chương trình" Giao dịch IEEE về Kỹ thuật phần mềm, vol. SE-13, không có. 6, pp. 751-756, tháng sáu năm 1987.
[Clarke83] Lori A. Clarke và Debra J. Richardson: "ứng dụng của Lỗi chiến lược nhạy cảm để Debugging" ACM SIGSOFT Software Engineering Notes, vol. 8 không. 4, tháng Tám năm 1983.
[Clarke 84] Lori A. Clarke và Debra J. Richardson "Một bài trả lời 'Comment Foster về" Các ứng dụng của Lỗi chiến lược nhạy cảm để Debugging "ACM SIGSOFT Software Engineering Notes, vol. 9 không. 1, tháng Giêng năm 1984.
[Clarke 89] Lori A. Clarke, Andy Podgurski, Debra J. Richardson, và Steven J. Zeil "Một đánh giá chính thức của dòng dữ liệu tiêu chí lựa chọn con đường" Giao dịch IEEE về Kỹ thuật phần mềm, vol. SE-15, số 11, pp 1318-1332, Tháng Mười Một, 1989..
[Elmendorf 73] William R. Elmendorf "Nguyên nhân-Effect đồ thị trong kiểm thử chức năng" Poughkeepsie, NY; Bộ phận phát triển hệ thống IBM TR-00.2487, 1973
[Gallagher 91] KB Gallagher và JR Lyle "Sử dụng chương trình cắt trong bảo trì phần mềm" Giao dịch IEEE Software Engineering, vol. SE-17, số 8, pp. 751-761, Tháng Tám, năm 1991.
[Gruenberger 73] F. Gruenberger "Chương trình thử nghiệm, Các quan niệm lịch sử" Chương trình thử nghiệm phương pháp, biên tập bởi William C. Hetzel, Prentice-Hall, 1973, pp 11-14.
[Harel 88] Harel, David "Trên thị giác Formalisms" Truyền thông của ACM, vol. 31 không. 5, pp. 514-530, tháng năm 1988.
[Henderson-bán 90] Henderson-Sellers, Brian và Edwards, JM "Các hệ thống vòng đời đối tượng theo định hướng" truyền thông của ACM, vol. 33 không. 9, pp. 142-159, tháng Chín. 1990.
[Hetzel88] Bill Hetzel The Guide Complete để kiểm thử phần mềm, Second Edition, QED khoa học thông tin, Inc., Wellesley, MA 1988.
[Huang 79] JC Huang "Phát hiện dataflow bất thường thông qua chương trình thiết bị đo đạc" Giao dịch IEEE về Kỹ thuật phần mềm SE -5; pp. 226-236 (1979).
[IEEE 83] Hội IEEE Computer IEEE Tiêu chuẩn Danh mục các thuật ngữ công nghệ phần mềm. ANSI / IEEE Std. 729-1983
[IEEE 93] IEEE Computer Society IEEE Tiêu chuẩn xếp hạng cho các phần mềm không bình thường, IEEE Std. 1044-1993.
[Inglis 61] Stuart J. Inglis hành tinh, ngôi sao, và thiên hà, 4th Edition, Wiley and Sons, New York, năm 1961.
[ISO 91] Tổ chức tiêu chuẩn quốc tế và trao đổi dữ liệu các yếu tố định dạng của các thông tin trao đổi-Đại diện của ngày và thời gian, tiêu chuẩn quốc tế ISO 8601: 1988, Kỹ thuật Corrigendum 1, Thụy Sĩ, 1991.
[Jorgensen 89] Paul C. Jorgensen "Một hoạt động chung Mẫu số các cấu trúc Real-Time phương pháp" Kỷ yếu của kỹ thuật Fifth Structured Hiệp hội (như đập 5.) Hội nghị, Chicago, tháng 11, năm 1989.
[Jorgensen 94] Paul C. Jorgensen "Hệ thống kiểm tra với Pseudo-cấu trúc" American Programmer, vol. 7, không có. 4, pp. 29-34, tháng 4 năm 1994
[Jorgensen 94] Paul C. Jorgensen và Carl Erickson "Integration Testing Object-Oriented" Truyền thông của ACM, vol. 37, không có. 9, trang 30-38, September 1994..
[Lewis 94] Ted Lewis và Michael Thánh "Fat Servers vs Fat Khách hàng: The Transition từ Client-Server để máy tính phân tán" American Programmer, vol. 7 không. 11, pp. 2-9, November 1994.
[McCabe 76] Thomas J. McCabe "Một phức tạp Metric" Giao dịch IEEE về Kỹ thuật phần mềm, SE-2, 4, (tháng 12 năm 1976) pp. 308-320.
[McCabe 82] Thomas J. McCabe "Kết cấu Thử nghiệm: Một phần mềm Phương pháp thử nghiệm Sử dụng Cyclomatic phức tạp Metric" Cục Tiêu chuẩn Quốc gia (nay NIST) Ấn phẩm đặc biệt 500-99, Washington năm 1982
[McCabe 87] Thomas J. McCabe "Kết cấu Thử nghiệm: Một phần mềm Phương pháp kiểm tra Sử dụng Cyclomatic phức tạp Metric "McCabe và Associates, Baltimore, 1987
[Miller 77] EF Miller Hướng dẫn: Kỹ thuật kiểm tra chương trình, tại COMPSAC'77 Hội IEEE Computer, 1977
[Miller 91] Edward F. Miller, Jr." tự động kiểm thử phần mềm: Một nhận thức kỹ thuật "American Programmer, vol. 4 không có. 4, trang 38 -. 43, tháng Tư năm 1991.
[Mosley 93] Daniel J. Mosley Sổ tay của MIS Application Software Testing Yourdon Press, Prentice Hall, Englewood Cliffs, NJ, 1993
[Myers 79] Glenford J. Myers The Art of Software Thử nghiệm New York, Wiley Interscience, 1979.
[Pirsig 73] Robert M. Pirsug Thiền và Nghệ thuật của xe máy Bảo trì Bantam Books, New York, năm 1973.
[Poston 90] Robert M. Poston T: tự động kiểm thử phần mềm Hội thảo Môi trường lập trình, Inc . Tinton Falls, NJ, 1990
[Poston 91] Robert M. Poston "Bộ Công cụ hoàn hảo cho các Software Tester" American Programmer, vol. 4 không có. 4, pp 28-37, tháng Tư năm 1991. In lại trong crosstalk, một ấn phẩm của Không quân Mỹ.
[Pressman 82] Roger S. Pressman Software Engineering: Cách tiếp cận của một học viên New York, McGraw-Hill, 1982.
[Rapps 85] S. Rapps và EJ Weyuker "Chọn dữ liệu thử nghiệm phần mềm sử dụng thông tin lưu lượng dữ liệu" Giao dịch IEEE Software Engineering, vol. SE-11, không có. 4, pp. 367-375, tháng Tư, năm 1985.
[Rosen 91] Kenneth H. Rosen Toán rời rạc và ứng dụng của nó McGraw-Hill, New York, 1991
[Rumbaugh 91] James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen Object-Oriented Modeling và Thiết kế Prentice-Hall, Englewood Cliffs, NJ, 1991
[Schach 93] Stephen R. Schach Software Engineering, 2nd Edition Richard D. Irwin, Inc. và Aksen Associates, Inc., 1993
[Topper 93] Andrew Topper, Daniel J. Ouellette, và Paul C. Jorgensen PHƯƠNG PHÁP cấu trúc: Sáp nhập các mô hình, kỹ thuật, và CASE, McGraw-Hill, 1993.
[Weiser 84] MD Weiser "Chương trình slicing" Giao dịch IEEE về Kỹ thuật phần mềm, vol. SE-10, không có. 4, pp. 352-357, tháng Tư, năm 1988.
[Zave 93] Pamela Zave "Tính năng tương tác và thông số kỹ thuật chính thức trong viễn thông" IEEE Computer, August, 1993