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

Марвин Зелковиц
Марвин Зелковиц
Рожденный	7 августа 1945 г. (78 лет)
Национальность	Американский
Альма-матер	Корнелльский университет
Известный	языки программирования , ; разработка программного обеспечения
	Научная карьера
Поля	Информатика
Учреждения	Университет Мэриленда, Колледж-Парк ; ОМИАКС ; Фраунгофера Средняя Атлантика
Диссертация	Обратимое исполнение как инструмент диагностики (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)

Ссылки

^ Jump up to: ^а ^б «Марв Зелковиц» . УМИАКС . Проверено 18 сентября 2022 г.
^ Jump up to: ^а ^б «Центр Фраунгофера США Среднеатлантический CMA» . Фраунгофера США.
^ Jump up to: ^а ^б «Выпускники доктора философии» . Информатика, Корнелльский университет . 1971 год . Проверено 17 сентября 2022 г.
^ «Марвин Зелковиц» . Факультет компьютерных наук Университета Мэриленда . Проверено 13 мая 2022 г.
^ Jump up to: ^а ^б - (сентябрь 1973 г.). «Обратимое исполнение» . САКМ . 16 (9): 566–566. дои : 10.1145/362342.362360 .
^ Jump up to: ^а ^б - (январь 1981 г.). «Реализация языковых улучшений». Компьютерные языки . 6 (3–4): 139–153. дои : 10.1016/0096-0551(81)90026-6 .
^ Jump up to: ^а ^б —; Да, 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 г.
^ Jump up to: ^а ^б Базили, ВР; Карвер, Джей Си; Крузес, Д.; Хохштейн, Л.; Холлингсворт, Дж. К.; Шулл, Ф.; - (июль 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 .

Эта биографическая статья о компьютерном специалисте из США незавершена . Вы можете помочь Википедии, расширив ее .

[umiacs-1] Jump up to: ^а ^б «Марв Зелковиц» . УМИАКС . Проверено 18 сентября 2022 г.

[Fraunhofer-2] Jump up to: ^а ^б «Центр Фраунгофера США Среднеатлантический CMA» . Фраунгофера США.

[PhDThesis-3] Jump up to: ^а ^б «Выпускники доктора философии» . Информатика, Корнелльский университет . 1971 год . Проверено 17 сентября 2022 г.

[csumd-4] «Марвин Зелковиц» . Факультет компьютерных наук Университета Мэриленда . Проверено 13 мая 2022 г.

[ZelkowitzReversible-5] Jump up to: ^а ^б - (сентябрь 1973 г.). «Обратимое исполнение» . САКМ . 16 (9): 566–566. дои : 10.1145/362342.362360 .

[ZelkowitzImplementation-6] Jump up to: ^а ^б - (январь 1981 г.). «Реализация языковых улучшений». Компьютерные языки . 6 (3–4): 139–153. дои : 10.1016/0096-0551(81)90026-6 .

[EngPractices-7] Jump up to: ^а ^б —; Да, 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 г.

[UnderstandingHPCC-9] Jump up to: ^а ^б Базили, ВР; Карвер, Джей Си; Крузес, Д.; Хохштейн, Л.; Холлингсворт, Дж. К.; Шулл, Ф.; - (июль 2008 г.). «Понимание сообщества высокопроизводительных вычислений: взгляд инженера-программиста» (PDF) . Программное обеспечение IEEE . 25 (4): 29–36. дои : 10.1109/MS.2008.103 . S2CID 3731515 . Проверено 18 сентября 2022 г.

[10] Зелковиц, Марвин В. (ред.). «Достижения в области компьютеров» . Эльзевир . Проверено 19 сентября 2022 г.

[11] «Скептики национальной столицы» . Проверено 17 сентября 2022 г.

[GoldenCore-12] «Золотое ядро признания» . Компьютерное общество IEEE . 4 апреля 2018 года . Проверено 17 сентября 2022 г.

[IEEEfellow-13] «Справочник участников IEEE» . ИИЭЭ . Проверено 17 сентября 2022 г.

[SIGSOFTaward-14] «Награда за выдающиеся заслуги» . АСМ СИГСОФТ . Проверено 17 сентября 2022 г.

[15] — (1976). PL/I-программирование с помощью PLUM . Издательство Paladin House, Женева, Иллинойс.

[16] Ганнон, доктор юридических наук; Пуртило, Дж. М.; — (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 г.

[InterruptDriven-20] - (июнь 1971 г.). «Программирование, управляемое прерываниями» . САКМ . 14 (6): 417–418. дои : 10.1145/362604.362618 . hdl : 1813/5936 .

[OptimizationOf-21] —; Бейл, Уильям Г. (январь 1974 г.). «Оптимизация структурированных программ». Программное обеспечение: практика и опыт . 4 (1): 51–57. дои : 10.1002/спе.4380040106 . S2CID 43233171 .

[PerspectivesSurvey-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] Дэнгл, КК; Ларсен, П.; Шоу, М.; - (ноябрь 2005 г.). «Улучшение процессов разработки программного обеспечения в небольших организациях: практический пример». Программное обеспечение IEEE . 22 (6): 68–75. дои : 10.1109/MS.2005.162 . S2CID 8736088 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Латвия Чешская Республика Австралия Нидерланды
академики	Ассоциация вычислительной техники 2 ЦиНии ДБЛП MathSciNet Проект математической генеалогии Скопус zbMATH
Другой	ИдРеф