stringtranslate.com

Марвин Зелковиц

Марвин Виктор Зелковиц (родился 7 августа 1945 года) — американский учёный и инженер-компьютерщик.

Зелковиц получил степень по математике в Политехническом институте Ренсселера в 1967 году и степень магистра и доктора [3] по информатике в Корнеллском университете в 1969 и 1971 годах соответственно. Затем он преподавал в Мэрилендском университете в Колледж-Парке . Занимая должность профессора на кафедре компьютерных наук [4] и в Институте передовых компьютерных исследований Мэрилендского университета (UMIACS), [1] он также был связан с Центром экспериментальной программной инженерии Фраунгофера, который с тех пор переименован в Центр Фраунгофера США в Среднеатлантическом регионе (CMA). [2] Сейчас он является почетным профессором, выйдя на пенсию в 2007 году.

Его ранние исследования (1968-начало 1980-х) были в области языков программирования. Он работал над реализацией функций языка программирования для помощи в разработке и отладке программ, а также над способами реализации тестов на корректность выполнения исполняемого кода. [3] [5] [6]

Его последующие исследования были посвящены практикам разработки программного обеспечения, а именно разработке методов улучшения процесса разработки программного обеспечения. [7] [8]

Годы 2003-2009 были посвящены применению результатов экспериментального тестирования в области высокопроизводительных вычислений . [9]

Зелковиц был редактором серии Advances in Computers для Academic Press (т. 41-56; 1995-2002), а затем и для Elsevier (т. 57-74; 2003-2008) [10]

С 1994 года Зелковиц активно занимался научным скептицизмом в качестве члена совета директоров, а иногда и секретаря, казначея и президента National Capital Area Skeptics. NCAS был основан в 1987 году в Вашингтоне, округ Колумбия, Мэриленде и Вирджинии и выступает за науку и разум, активно продвигая научный метод, рациональное исследование и образование. [11]

Награды

Книги

Избранные публикации

Ссылки

  1. ^ ab "Marv Zelkowitz". UMIACS . Получено 2022-09-18 .
  2. ^ ab "Центр Fraunhofer USA Mid-Atlantic CMA". Fraunhofer USA.
  3. ^ ab "Ph.D. Alumni". Компьютерные науки, Корнелльский университет . 1971. Получено 17 сентября 2022 г.
  4. ^ "Marvin Zelkowitz". Университет Мэриленда, кафедра компьютерных наук . Получено 13 мая 2022 г.
  5. ^ ab — (сентябрь 1973 г.). «Обратимое исполнение». CACM . 16 (9): 566–566. doi : 10.1145/362342.362360 .
  6. ^ ab — (январь 1981). «Внедрение языковых улучшений». Computer Languages . 6 (3–4): 139–153. doi :10.1016/0096-0551(81)90026-6.
  7. ^ ab —; Yeh, RT; Hamlet, RG; Gannon, JD; Basili, VR (июнь 1984 г.). «Практики разработки программного обеспечения в США и Японии». Computer . 17 (6): 57–66. doi :10.1109/MC.1984.1659162. S2CID  1557487 . Получено 18 сентября 2022 г. .
  8. ^ Basili, VR; —; McGarry, F.; Page, J.; Waligora, S.; Pajerski, R. (ноябрь 1995 г.). «Программа улучшения процесса разработки программного обеспечения SEL». IEEE Software . 12 (6): 83–87. doi :10.1109/52.469763 . Получено 18 сентября 2022 г. .
  9. ^ ab Basili, VR; Carver, JC; Cruzes, D.; Hochstein, L.; Hollingsworth, JK.; Shull, F.; — (июль 2008 г.). «Понимание сообщества высокопроизводительных вычислений: точка зрения инженера-программиста» (PDF) . IEEE Software . 25 (4): 29–36. doi :10.1109/MS.2008.103. S2CID  3731515 . Получено 18 сентября 2022 г. .
  10. ^ Zelkowitz, Marvin V. (ред.). «Достижения в области компьютеров». Elsevier . Получено 2022-09-19 .
  11. ^ "Национальные столичные скептики" . Получено 2022-09-17 .
  12. ^ "Golden Core Recognition". IEEE Computer Society . 4 апреля 2018 г. Получено 17 сентября 2022 г.
  13. ^ "Справочник стипендиатов IEEE". IEEE . Получено 17.09.2022 .
  14. ^ "Премия за выдающиеся заслуги". ACM SIGSOFT . Получено 2022-09-17 .
  15. ^ — (1976). Программирование PL/I с PLUM. Paladin House Publishers, Женева, Иллинойс.
  16. ^ Ганнон, Дж. Д.; Пёртило, Дж. М.; — (1994). Спецификации программного обеспечения: сравнение формальных методов. Ablex Publishing Co., Норвуд, Нью-Джерси. С. 249. Получено 19 сентября 2022 г.
  17. ^ Пратт, Т.; — (1996). Языки программирования: проектирование и реализация. Prentice Hall, Upper Saddle River, NJ. стр. 669. ISBN 978-0-13-678012-0. Получено 19.09.2022 .
  18. ^ Boehm, B.; Rombach, HD; —, ред. (2005). Основы эмпирической программной инженерии: наследие Виктора Р. Базили. Springer Berlin Heidelberg New York . Получено 19 сентября 2022 г.
  19. ^ — (2020). Золотой век компьютерных технологий: глазами стареющего гика. стр. 324. Получено 19 сентября 2022 г.
  20. ^ — (июнь 1971 г.). «Программирование, управляемое прерываниями». CACM . 14 (6): 417–418. doi : 10.1145/362604.362618 . hdl : 1813/5936 .
  21. ^ —; Бейл, Уильям Г. (январь 1974). «Оптимизация структурированных программ». Программное обеспечение: практика и опыт . 4 (1): 51–57. doi :10.1002/spe.4380040106. S2CID  43233171.
  22. ^ — (июнь 1978 г.). «Перспективы разработки программного обеспечения». ACM Computing Surveys . 10 (12): 197–216. doi : 10.1145/356725.356731 .
  23. ^ — (декабрь 1980 г.). «Исследование случая быстрого прототипирования». Программное обеспечение: практика и опыт . 10 (12): 1037–1042. doi :10.1002/spe.4380101209. S2CID  206507919.
  24. ^ — (ноябрь 1990 г.). «Функциональная модель корректности верификации программ». IEEE Computer . 23 (11): 30–39. doi :10.1109/2.60878. S2CID  8408684.
  25. ^ —; Карденас, Серхио (сентябрь 1991 г.). «Роль исполняемых спецификаций в обслуживании систем». Information Science . 57 : 347–359. doi :10.1016/0020-0255(91)90086-A.
  26. ^ Basili, V.; —; McGarry, F.; Page, J.; Waligora, S.; Pajerski, R. (август 1996 г.). «Программа улучшения процесса разработки программного обеспечения SEL». IEEE Software . 12 (6): 83–87. doi :10.1109/52.469763.
  27. ^ — (август 1996 г.). «Внедрение технологий программной инженерии в NASA». Труды IEEE по управлению инженерией . 43 (3): 250–261. doi :10.1109/17.511836.
  28. ^ —; Уоллес, Д. (май 1998). «Экспериментальные модели для проверки компьютерных технологий». IEEE Computer . 31 (5): 23–31. doi :10.1109/2.675630.
  29. ^ —; Tesoriero, R. (сентябрь 1998 г.). «Сетевой инструмент для анализа и представления данных». IEEE Internet Computing . 2 (5): 63–69. doi :10.1109/4236.722232.
  30. ^ Дэнгл, К. К.; Ларсен, П.; Шоу, М.; — (ноябрь 2005 г.). «Улучшение процесса разработки программного обеспечения в небольших организациях: пример». IEEE Software . 22 (6): 68–75. doi :10.1109/MS.2005.162. S2CID  8736088.
  • в
  • т
  • е