Методы верификации программного обеспечения

metrics. Geneva, Switzerland: ISO, 2004. 
[25] ISO/IEC 25000 Software engineering – Software product Quality Requirements and 
Evaluation (SQuaRE) – Guide to SQuaRE. Geneva, Switzerland: ISO, 2005. 
[26] H. D. Benington. Production of Large Computer Programs. Proceedings of the ONR 
Symposium on Advanced Program Methods for Digital Computers, June 1956, pp. 15-
27. 
Переиздана в Annals of the History of Computing, October 1983, pp. 350-361. 

---

99 
[27] W. W. Royce. Managing the Development of Large Software Systems. Proceedings of 
IEEE WESCON, pp. 1-9, August 1970. 
Переиздана в Proceedings of the 9
th
International Software Engineering Conference, 
Computer Society Press, pp. 328-338, 1987. 
[28] IEEE 1074-2006 Standard for Developing a Software Project Life Cycle Processes. 
IEEE, 2006. 
[29] ISO/IEC 15288 Systems engineering — System life cycle processes. Geneva, 
Switzerland: ISO, 2002. 
[30] ISO/IEC 15504-1 Information technology — Process assessment, Part 1: Concepts and 
vocabulary. Geneva, Switzerland: ISO, 2004. 
[31] IEEE 830-1998. Recommended Practice for Software Requirements Specifications. 
New York: IEEE, 1998. 
[32] IEEE 1233-1998. Guide for Developing System Requirements Specifications. 
New York: IEEE, 1998. 
[33] IEEE 1059-1993. Guide for Software Verification and Validation Plans. New York: 
IEEE, 1993.
[34] IEEE 829-1998. Standard for Software Test Documentation. New York: IEEE, 1998.
[35] IEEE 1008-1987. Standard for Software Unit Testing. In IEEE Standards: Software 
Engineering, Volume Two: Process Standards. New York: IEEE, 1999. 
[36] ISO/IEC 14598-1 Information technology — Software product evaluation — Part 1: 
General overview. Geneva, Switzerland: ISO, 1999. 
[37] ISO/IEC 14598-2 Information technology — Software product evaluation — Part 2: 
Planning and management. Geneva, Switzerland: ISO, 2000. 
[38] ISO/IEC 14598-3 Information technology — Software product evaluation — Part 3: 
Process for developers. Geneva, Switzerland: ISO, 2000. 
[39] ISO/IEC 14598-4 Information technology — Software product evaluation — Part 4: 
Process for acquirers. Geneva, Switzerland: ISO, 1999.
[40] ISO/IEC 14598-5 Information technology — Software product evaluation — Part 5: 
Process for evaluators. Geneva, Switzerland: ISO, 1998. 
[41] ISO/IEC 14598-6 Information technology — Software product evaluation — Part 6: 
Documentation of evaluation modules. Geneva, Switzerland: ISO, 2001.

---

100 
[42] ISO/IEC 12119 Information technology — Software packages — Quality requirements 
and testing. Geneva, Switzerland: ISO, 1994. 
[43] IEEE 1465 Adoption of International Standard ISO/IEC 12119:1994 Information 
Technology — Software Packages — Quality Requirements and Testing. New York: 
IEEE, 1998. 
[44] ISO/IEC 25051 Software engineering — Software product Quality Requirements and 
Evaluation (SQuaRE) — Requirements for quality of Commercial Off-The-Shelf (COTS) 
software product and instructions for testing. Geneva, Switzerland: ISO, 2006.
[45] ISO/IEC 15504-2 Information technology — Process assessment — Part 2: Performing 
an assessment. Geneva, Switzerland: ISO, 2003. 
[46] ISO/IEC 15504-3 Information technology — Process assessment — Part 3: Guidance 
on performing an assessment. Geneva, Switzerland: ISO, 2004. 
[47] ISO/IEC 15504-4 Information technology — Process assessment — Part 4: Guidance