Marvin Zelkowitz

Marvin Zelkowitz
Urodzić się 7 sierpnia 1945 r
Narodowość amerykański
Alma Mater Uniwersytet Cornella
Znany z
języki programowania , inżynieria oprogramowania
Kariera naukowa
Pola Informatyka
Instytucje

U. of Maryland, College Park UMIACS Fraunhofer Mid-Atlantic
Praca dyplomowa   Odwracalna egzekucja jako narzędzie diagnostyczne (1971)

Marvin Victor Zelkowitz (ur. 7 sierpnia 1945) to amerykański informatyk i inżynier.

Zelkowitz uzyskał dyplom z matematyki na Rensselaer Polytechnic Institute w 1967 r. oraz tytuł magistra i doktora informatyki na Uniwersytecie Cornell odpowiednio w 1969 i 1971 r. Następnie wykładał na University of Maryland, College Park . Będąc profesorem na Wydziale Informatyki i University of Maryland Institute for Advanced Computer Studies (UMIACS), był również związany z Fraunhofer Center for Experimental Software Engineering, od czasu przemianowania na The Fraunhofer USA Center Mid-Atlantic (CMA). Obecnie jest emerytowanym profesorem, przeszedł na emeryturę w 2007 roku.

Jego wczesne badania (1968-1980) dotyczyły języków programowania. Pracował nad implementacją funkcji języka programowania wspomagających tworzenie i debugowanie programów oraz nad sposobami implementacji testów poprawności kodu wykonywalnego w czasie wykonywania.

Jego późniejsze badania dotyczyły praktyk inżynierii oprogramowania, patrząc na opracowywanie metod usprawniania procesu tworzenia oprogramowania.

Lata 2003-2009 poświęcono na zastosowanie tych wyników testów eksperymentalnych w dziedzinie obliczeń o wysokiej wydajności .

Zelkowitz był redaktorem serii Advances in Computers for Academic Press (tomy 41-56; 1995-2002), a później Elsevier (tomy 57-74; 2003-2008)

Od 1994 Zelkowitz był aktywny w naukowym sceptycyzmie jako członek zarządu, a czasami sekretarz, skarbnik i prezes National Capital Area Sceptics. NCAS została założona w 1987 roku w Waszyngtonie, DC, Maryland i Wirginii i jest orędownikiem nauki i rozumu, aktywnie promując metodę naukową, racjonalne badania i edukację.

Nagrody

  • Fellow, IEEE Computer Society, za wkład w rozwój praktycznego środowiska programistycznego dla efektywnego tworzenia oprogramowania (1997)

Książki

  • Programowanie PL/I z PLUM (1976)
  • Specyfikacje oprogramowania: Porównanie metod formalnych (1979)
  • Języki programowania: projektowanie i wdrażanie (wydanie trzecie) (1996)
  • Podstawy empirycznej inżynierii oprogramowania: dziedzictwo Victora R. Basili (2005)
  • Złoty wiek technologii komputerowej: oczami starzejącego się maniaka (2020)

Wybrane publikacje

  • Programowanie sterowane przerwaniami (1971)
  • Odwracalna egzekucja (1973)
  • Optymalizacja programów strukturalnych (1974)
  • Perspektywy inżynierii oprogramowania (1978)
  • Studium przypadku w szybkim prototypowaniu (1980)
  • Implementacja ulepszeń językowych (1981)
  • Praktyki inżynierii oprogramowania w Stanach Zjednoczonych i Japonii (1984)
  • Funkcjonalny model poprawności weryfikacji programu (1990)
  • Rola wykonywalnych specyfikacji w utrzymaniu systemu (1991)
  • Program doskonalenia procesów oprogramowania SEL (1995)
  • Infuzja technologii inżynierii oprogramowania w NASA (1996)
  • Modele eksperymentalne do sprawdzania poprawności technologii komputerowej (1998)
  • Internetowe narzędzie do analizy i prezentacji danych (1998)
  • Doskonalenie procesu tworzenia oprogramowania w małych organizacjach: studium przypadku (2005)
  • Zrozumienie społeczności komputerów o wysokiej wydajności: perspektywa inżyniera oprogramowania (2008)