Читать онлайн «Мифический человеко-месяц или как создаются программные системы». Страница 56

9.2. Knuth D. E. The Art of Computer Programming. Vols. 1-3. Reading, Mass.: Addison-Wesley, 1968. ff.

Глава 10

10.1. Conway M. E. How do committees invent? // Datamation. 1968. Vol. 14, N 4. Apr. P. 28-31.

Глава 11

11.1. Речь в Оглеторпском университете 22 мая 1932 года.

11.2. Поучительный отчет об опыте использования MULTICS для создания двух систем имеется в: Corbaty F. J., Saltzer J. H., Clingen C. T. MULTICS — the first seven years // AFIPS Proc SJCC. 1972. Vol. 40. P. 571-583.

11.3. Cosgrove J. Needed: a new planning framework // Datamation. 1971. Vol. 17, N 23. Dec. P. 37-39.

11.4. Изменение проекта — сложная проблема, и здесь я ее чрезмерно упрощаю. См.: Saltzer J. H. Evolutionary design of complex systems // Eckman D. (Ed.). Systems : Research and Design. New York : Wiley, 1961. Все же, когда все сказано и сделано, я советую создать опытную систему, которую планируется выбросить.

11.5. Campbell E. Report to the AEC Computer Information Meeting. 1970. Dec. Это явление обсуждается также в: Ordin J. L. Designing reliable software // Datamation. 1972. Vol. 18, N 7. July. P. 71-78. Мнения моих опытных знакомых делятся примерно на равные части в отношении того, опускается ли кривая в конце.

11.6. Lehman M., Belady L. Programming systems dynamics. Представлено на ACM SIGOPS Third Symposium on Operating Systems Principles в октябре 1971 г.

11.7. Lewis C. S. Mere Christianity. New York : Macmillan, 1960. P. 54.

Глава 12

12.1. См. также: Pomeroy J. W. A guide to programming tools and techniques // IBM Sys. J. 1972. Vol. 11, N 3. P. 234-254.

12.2. Landy B., Needham R. M. Software engineering techniques used in the development of the Cambridge Multiple-Access System // Software. 1971. Vol. 1, N 2. Apr. P. 167-173.

12.3. Corbato F. J. PL/I as a tool for system programming // Datamation. 1969. Vol. 15, N 5. May. P. 68-76.

12.4. Hopkins M. Problems of PL/I for system programming // IBM Research Report RC 3489. 1971, August 5. Yorktown Heights, N. Y.

12.5. Corbato F. J., Saltzer J. H., Clingen C. T. MULTICS – the first seven years // AFIPS Proc SJCC. 1972. Vol. 40. P. 571-582. «Лишь около полудюжины кусков, написанных на PL/I, были перепрограммированы на машинном языке, чтобы выжать максимальную скорость. Несколько программ, первоначально написанных на машинном языке, были переписаны на PL/I, чтобы облегчить их сопровождение.»

12.6. Цитирую статью Корбато (ссылка 3 настоящей главы): «PL/I уже есть, а альтернативы пока не проверены». Однако совершенно противоположный и обоснованный взгляд представлен в Henricksen J. O., Merwin R. E. Programming language efficiency in real-time software systems // AFIPS Proc SJCC. 1972. Vol. 40. P. 155-161.

12.7. Не все с этим согласны. Гарлан Миллз отмечает в частном сообщении: «Опыт начинает подсказывать мне, что в промышленном программировании за терминал нужно посадить секретаря. Программирование следует сделать более общественным занятием при общем рассмотрении участников команды, а не частным занятием».

12.8. Yarr J. Programming Experience for the Number 1 Electronic Switching System. Доклад на SJCC 1969 г.

Глава 13

13.1. Vyssotsky V. A. Common sense in designing testable software. Лекция на симпозиуме по методам отладки компьютерных программ, Chapel Hill, N. C., 1972. Большая часть лекции содержится в Hetzel W. C. (Ed.). Program Test Methods. Englewood Cliffs, N. J. : Prentice-Hall, 1972. P. 41-47.

13.2. Wirth N. Program development by stepwise refinement // CACM. 1971. Vol. 14, N 4. Apr. P. 221-227. См. также: Mills H. Top-down programming in large systems // Rustin R. (Ed.). Debugging Techniques in Large Systems. Englewood Cliffs, N. J. : Prentice-Hall, 1971. P. 41-55; Baker F. T. System quality through structured programming // AFIPS Proc FJCC. 1972. Vol. 41-I. P. 339-343.

13.3. Dahl O. J., Dijkstra E. W., Hoare C. A. R. Structured programming. London ; New York : Academic Press, 1972. В этой книге содержится наиболее полное изложение. См. также основополагающее письмо Дейкстры: GOTO statement considered harmful // CACM. 1968. Vol. 11, N 3. March. P. 147-148.

13.4. Bцhm C., Jacopini A. Flow diagrams, Turing machines, and languages with only two formation rules // CACM. 1966. Vol. 9, N 5. May. P. 366-371.

13.5. Codd E. F., Lowry E. S., McDonough E., Scalzi C. A. Multiprogramming STRETCH: Feasibility considerations // CACM. 1959. Vol. 2, N 11. Nov. P. 13-17.

13.6. Strachey C. Time sharing in large fast computers // Proc. Int. Conf. On Info. Processing. 1959, June. UNESCO. P. 336-341. См. также замечания Кодда на стр. 341, где он сообщает о ходе работы, подобной предложенной в статье Стрейчи.

13.7. Corbato F. J., Merwin-Daggett M., Daley R. C. An experimental time-sharing system // AFIPS Proc SJCC. 1962. Vol. 2. P. 335-344. Перепечатано в: Rosen S. Programming Systems and Languages. New York : McGraw-Hill, 1967. P. 683-698.

13.8. Gold M. M. A methodology for evaluating time-shared computer system usage. Ph. D. dissertation. Carngie-Mellon University, 1967. P. 100.

13.9. Gruenberger F. Program testing and validating // Datamation. 1968. Vol. 14, N 7. July. P. 39-47.

13.10. Ralston A. Introduction to Programming and Computer Science. New York : McGraw-Hill, 1971. P. 237-244.

13.11. Brooks F. P., Iverson K. E. Automatic Data Processing, System/360 Edition. New York : Wiley, 1969, P. 296-299.

13.12. Проблемы разработки спецификаций, создания и тестирования систем хорошо изложены Трапнелом Ф. М. в: Trapnell F. M. A systematic approach to the development of system programs // AFIPS Proc SJCC. 1969. Vol. 34. P. 411-418.

13.13. Для системы реального времени потребуется модель окружения. См., например: Ginzberg M. G. Notes on testing real-time system programs // IBM Sys. J. 1965. Vol. 4, N 1. P. 58-72.

13.14. Lehman M., Belady L. Programming systems dynamics. Представлено в октябре 1971 г. на ACM SIGOPS Third Symposium on Operating Systems Priciples.

Глава 14

14.1. См.: Reynolds C. H. What’s wrong with computer programming management? // Weinwurm G. F. (Ed.). On the Management of Computer Programming. Philadelphia : Auerbach, 1971. P. 35-42.

14.2. King W. R., Wilson T. A. Subjective time estimates in critical path planning — a preliminary analysis // Mgt. Sci. 1967. Vol. 13, N 5. Jan. P. 307-320; King W. R., Witterrongel M., Hezel K. D. On the analysis of critical path time estimating behavior // Mgt. Sci. 1967. Vol. 14, N 1. Sept. P. 79-84.

14.3. Более подробное обсуждение см. Brooks F. P., Iverson K. E. Automatic Data Processing, System/360 Edition. New York : Wiley, 1969. P. 428-230.

14.4. Частное сообщение.

Глава 15

15.1. Goldsteine H. H., Neumann J. von. Planning and coding problems for en electronic computing instrument. Part II. Vol. 1. Отчет, подготовленный для U.S. Army Ordinance Department, 1947. Перепечатано в: Neumann J. von. Collected Works // Taub A. H. (Ed.). Vol. V. New York : Macmillan. P. 80-151.

15.2. Частное сообщение, 1957. Доказательство опубликовано в: Iverson K. E. The use of APL in Teaching. Yorktown, N.Y. : IBM Corp., 1969.

15.3. Другой список приемов для PL/I опубликован в: Walter A. B., Bohl M. From better to best — tips for good programming // Software Age. 1969. Vol. 3, N 11. Nov. P. 46-50. Эти же приемы можно использовать в Algol и даже Fortran. У Д. Е. Ланга из университета штата Колорадо есть написанная на Fortran программа форматирования под названием STYLE, с помощью которой можно получить такой результат. См. также: McCracken D. D., Weinberg G. M. How to write a readable FORTRAN program // Datamation. 1972. Vol. 18, N 10. Oct. P 73-77.

Глава 16

16.1. Очерк, озаглавленный «No Silver Bullet», взят из: Information Processing 1986, the Proceedings of the IFIP Tenth World Computing Conference под редакцией Х.-Й. Куглера, 1986, стр. 1069-1076. Перепечатано с любезного разрешения IFIP и Elsevier Science B. V., Амстердам, Нидерланды.