stringtranslate.com

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

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

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

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

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

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

Зелковиц был редактором серии «Достижения в области компьютеров» для академической прессы (тома 41–56; 1995–2002 годы), а затем журнала Elsevier (тома 57–74; 2003–2008 годы) [10].

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

Награды

Книги

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

Рекомендации

  1. ^ ab "Марв Зелковиц". УМИАКС . Проверено 18 сентября 2022 г.
  2. ^ ab "Центр Фраунгофера США Среднеатлантический CMA" . Фраунгофера США.
  3. ^ ab "Выпускники доктора философии" . Информатика, Корнелльский университет . 1971 год . Проверено 17 сентября 2022 г.
  4. ^ "Марвин Зелковиц". Факультет компьютерных наук Университета Мэриленда . Проверено 13 мая 2022 г.
  5. ^ аб - (сентябрь 1973 г.). «Обратимое исполнение». САКМ . 16 (9): 566–566. дои : 10.1145/362342.362360 .
  6. ^ аб - (январь 1981 г.). «Реализация языковых улучшений». Компьютерные языки . 6 (3–4): 139–153. дои : 10.1016/0096-0551(81)90026-6.
  7. ^ аб —; Да, RT; Гамлет, Р.Г.; Ганнон, доктор юридических наук; Базили, В.Р. (июнь 1984 г.). «Практика разработки программного обеспечения в США и Японии». Компьютер . 17 (6): 57–66. дои : 10.1109/MC.1984.1659162. S2CID  1557487 . Проверено 18 сентября 2022 г.
  8. ^ Базили, ВР; —; МакГарри, Ф.; Пейдж, Дж.; Валигора, С.; Паджерски, Р. (ноябрь 1995 г.). «Программа улучшения процессов разработки программного обеспечения SEL». Программное обеспечение IEEE . 12 (6): 83–87. дои : 10.1109/52.469763 . Проверено 18 сентября 2022 г.
  9. ^ аб Базили, ВР; Карвер, Джей Си; Крузес, Д.; Хохштейн, Л.; Холлингсворт, Дж. К.; Шулл, Ф.; - (июль 2008 г.). «Понимание сообщества высокопроизводительных вычислений: взгляд инженера-программиста» (PDF) . Программное обеспечение IEEE . 25 (4): 29–36. дои : 10.1109/MS.2008.103. S2CID  3731515 . Проверено 18 сентября 2022 г.
  10. ^ Зелковиц, Марвин В. (ред.). «Достижения в области компьютеров». Эльзевир . Проверено 19 сентября 2022 г.
  11. ^ "Скептики Национальной столицы" . Проверено 17 сентября 2022 г.
  12. ^ «Признание Золотого ядра». Компьютерное общество IEEE . 4 апреля 2018 года . Проверено 17 сентября 2022 г.
  13. ^ "Справочник участников IEEE" . ИИЭЭ . Проверено 17 сентября 2022 г.
  14. ^ «Награда за выдающиеся заслуги» . АСМ СИГСОФТ . Проверено 17 сентября 2022 г.
  15. ^ — (1976). PL/I-программирование с помощью PLUM. Издательство Paladin House, Женева, Иллинойс.
  16. ^ Ганнон, JD; Пуртило, Дж. М.; — (1994). Спецификации программного обеспечения: сравнение формальных методов. Alex Publishing Co., Норвуд, Нью-Джерси. п. 249 . Проверено 19 сентября 2022 г.
  17. ^ Пратт, Т.; — (1996). Языки программирования: проектирование и реализация. Прентис-Холл, Аппер-Сэдл-Ривер, Нью-Джерси. п. 669. ИСБН 978-0-13-678012-0. Проверено 19 сентября 2022 г.
  18. ^ Бём, Б.; Ромбах, HD; -, ред. (2005). Основы эмпирической разработки программного обеспечения: наследие Виктора Р.Базили. Спрингер Берлин Гейдельберг Нью-Йорк . Проверено 19 сентября 2022 г.
  19. ^ — (2020). Золотой век компьютерных технологий: глазами стареющего компьютерщика. п. 324 . Проверено 19 сентября 2022 г.
  20. ^ - (июнь 1971 г.). «Программирование, управляемое прерываниями». САКМ . 14 (6): 417–418. дои : 10.1145/362604.362618 . hdl : 1813/5936 .
  21. ^ —; Бейл, Уильям Г. (январь 1974 г.). «Оптимизация структурированных программ». Программное обеспечение: практика и опыт . 4 (1): 51–57. дои : 10.1002/спе.4380040106. S2CID  43233171.
  22. ^ - (июнь 1978 г.). «Перспективы разработки программного обеспечения». Обзоры вычислительной техники ACM . 10 (12): 197–216. дои : 10.1145/356725.356731 .
  23. ^ - (декабрь 1980 г.). «Пример быстрого прототипирования». Программное обеспечение: практика и опыт . 10 (12): 1037–1042. дои : 10.1002/спе.4380101209. S2CID  206507919.
  24. ^ - (ноябрь 1990 г.). «Модель функциональной корректности верификации программ». IEEE-компьютер . 23 (11): 30–39. дои : 10.1109/2.60878. S2CID  8408684.
  25. ^ —; Карденас, Серхио (сентябрь 1991 г.). «Роль исполняемых спецификаций в обслуживании системы». Информационная наука . 57 : 347–359. дои : 10.1016/0020-0255(91)90086-А.
  26. ^ Базили, В.; —; МакГарри, Ф.; Пейдж, Дж.; Валигора, С.; Паджерски, Р. (август 1996 г.). «Программа улучшения процессов программного обеспечения SEL». Программное обеспечение IEEE . 12 (6): 83–87. дои : 10.1109/52.469763.
  27. ^ - (август 1996 г.). «Внедрение технологий разработки программного обеспечения в НАСА». Транзакции IEEE по инженерному менеджменту . 43 (3): 250–261. дои : 10.1109/17.511836.
  28. ^ —; Уоллес, Д. (май 1998 г.). «Экспериментальные модели для проверки компьютерных технологий». IEEE-компьютер . 31 (5): 23–31. дои : 10.1109/2.675630.
  29. ^ —; Тесорьеро, Р. (сентябрь 1998 г.). «Интернет-инструмент для анализа и представления данных». IEEE Интернет-вычисления . 2 (5): 63–69. дои : 10.1109/4236.722232.
  30. ^ Дэнгл, KC; Ларсен, П.; Шоу, М.; - (ноябрь 2005 г.). «Улучшение процессов разработки программного обеспечения в небольших организациях: практический пример». Программное обеспечение IEEE . 22 (6): 68–75. дои : 10.1109/MS.2005.162. S2CID  8736088.
  • в
  • т
  • е