"Валерий Аджиев "Мифы о безопасном ПО: уроки знаменитых катастроф" [V]" - читать интересную книгу автора

http://www.eIRSn.esa.it/htdocs/tidc/press/Press96/press33.html
2. J.-M. Jezequel, B. Meyer "Put It in the Contract: The Lessons of
Ariane", // Computer, Vol.30, No.2, January 1997, pp.129-130
3. Б. Мейер "Построение надежного объектно-ориентированного ПО.
Введение в Контрактное Проектирование", //Открытые Системы, ╧6, 1998
4. K. Garlington "Critique of "Put it in the Contract: The Lessons of
Ariane", March 1998 http://www.flash.net/~kennieg/ariane.html
5. B. Nuseibeh "Ariane 5: Who Dunnit?", //IEEE Software, Vol.14, No.3,
1997, pp.15-16
6. N. Leveson, C. Turner "An Investigation of the Therac-25 Accidents",
- Computer, Vol.26, N.7, July 1993, p. 18-41
7. N. Leveson "Safeware: System Safety and Computers", -
Addison-Wesley, 1995
8. "An Assessment of Space Shuttle Flight Software Development
processes", - Committee for Review of Ovеrsight Mechanisms for Space
Shuttle Flight Software Development Processes, National Research Council,
1993
9. J.-R. Abrial "The B-Book: Assigning Programs to Meanings",
//Cambridge University Press, 1996
10. К.Пешио "иклаус Вирт о Культуре Разработки ПО", //Открытые Системы,
╧1(27), 1998, сc.41-44, http://www.osp.ru/os/1998/01/41.htm
11. В. Аджиев "MS: Корпоративная Культура Разработки ПО", //Открытые
Системы, ╧1(27), 1998, с.45-51, http://www.osp.ru/os/1998/01/45.htm