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