, - (), . . , . - , () , .
, (. 1), :
- ;
- , ;
- ;
- .
1. ,
ISO 09126:1991. . | . . |
DOD-STD-2168. | . |
ISO 09000-3:1991. | . . 3: ISO 09001 , . |
ISO 12207:1995. | . |
DOD-STD 2167 A:1988. | . |
ISO 09646 1-6: 1991. . . | . |
ANSI/IEEE 829 1983. | . |
ANSI/IEEE 1008 1986. | . |
ANSI/IEEE 1012 1986. | () (verification) (validation) . |
, , , , , , , . . .
|
|
, , . . , , . , , .
, . , . . .
. , . , , . .
, , , . CASE- , . , . . , .
, . , , , .
|
|
. , . . , , , .
, , . . , , , . , . , .
, , . , . . , , .
, -. . , , "", .
- , .
: .
1. . . .: . , 1980
2. . . . 1 2 .: , 1994
|
|
3. .-. , : ., 1992
4. . . , . . . . . ., 1993, # 2, .52-56, # 3, . 23-31.
5. Parnas Software aspects of strategic defense systems Communications of the ACM, 1985, v. 28, n 12. p. 1326-1335
6. . - .: , 1994 # 2-3
7. JetInfo, 1-3, 1996
8. . , . . . . . . (.) .: , 1981
9. . . .: , 1993
10. . : . .: , 1982
11. . . : . . . . . .: , 1985
12. Open systems handbook: A guide to building open systems Digital Equipment Corparation, USA, 1991
13. J. S. Quarterman Unix, Posix and open systems: The open standards puzzle N.Y.: Addison Wesley Publishing Company, 1993
14. . , 1994
15. . . .: , 1988
16. .. . , , .: , 1993
17. A. S. Fisher CASE: using the newest tools in software development N.Y.: John Wiley & Sons, 1988
18. P. A. Ng R.T. Yeh (.) Modern software engineering. Foundations and current perspectives. N.Y.: Van Nostrand Reinhold, 1990
19. . . , . . .: , 1992
20. Stradis. Product description McDonnell Douglas Corporation, 1990
21. J. D. Musa, A. Iannino, K. Okumoto Software Reliability: Measurement, Prediction, Application N.Y.: McGraw Hill, 1987
22. R. Charett Software engineering risk analysis and management N.Y.: McGraw Hill, 1989
23. / , .: . , 1988
24. . . RTCA/DO-178. . , 1981
25. . / .: - , 1990
26. . . , 1995
27. . . , 1992, # 4, . 47-51
28. W. E. Howden Functional program testing and analysis N.Y.: McGraw Hill, 1987
29. . . .: , 1991
30. . . .: , 1979
31. . . , . . , . . .: , 1982
32. . . , . , : . . .: , 1980, . 68, # 9, . 26-45
33. A. Spector The Space Shuttle primary computer system Communication of the ACM, 1984, v. 27, n 9, p. 874-890
34. . . , . . , . . , . . .: , 1992
35. . . . .: , 1986
36. J. K. Buckle Software configuration management London: Macmillan Press, 1982
37. A. Waters, J. Vincent, J. Sinclair Software quality assurance. Vol. II. A programme guide Englewood Cliffs, New Yersey: Prentice-Hall, 1988
38. . . , . . . . , 1996