Marvin Zelkowitz

Marvin Zelkowitz
Född 7 augusti 1945
Nationalitet amerikansk
Alma mater Cornell University
Känd för
programmeringsspråk , mjukvaruteknik
Vetenskaplig karriär
Fält datavetenskap
institutioner

U. of Maryland, College Park UMIACS Fraunhofer Mid-Atlantic
Avhandling   Reversibel exekvering som ett diagnostiskt verktyg (1971)

Marvin Victor Zelkowitz (född 7 augusti 1945) är en amerikansk datavetare och ingenjör.

Zelkowitz tog en examen i matematik från Rensselaer Polytechnic Institute 1967 och en magisterexamen och doktorsexamen i datavetenskap vid Cornell University 1969 respektive 1971. Han undervisade sedan vid University of Maryland, College Park . Samtidigt som han innehade en professur vid Institutionen för datavetenskap och University of Maryland Institute for Advanced Computer Studies (UMIACS), var han också knuten till Fraunhofer Center for Experimental Software Engineering, sedan det döptes om till The Fraunhofer USA Center Mid-Atlantic (CMA). Han är nu professor emeritus, efter att ha gått i pension 2007.

Hans tidiga forskning (1968-början av 1980-talet) var inom programmeringsspråk. Han arbetade med implementering av programmeringsspråksfunktioner för att hjälpa till med programutveckling och felsökning samt sätt att implementera tester för körbar kods körtid.

Hans senare forskning handlade om mjukvaruteknik genom att titta på att utveckla metoder för att förbättra processen för mjukvaruutveckling.

Åren 2003-2009 ägnades åt att tillämpa dessa experimentella testresultat på området högpresterande datorer .

Zelkowitz fungerade som redaktör för serien Advances in Computers for Academic Press (vol. 41-56; 1995-2002) och senare Elsevier (bd. 57-74; 2003-2008)

Sedan 1994 har Zelkowitz varit aktiv inom vetenskaplig skepticism som styrelsemedlem och ibland sekreterare, kassör och ordförande för National Capital Area Skeptics. NCAS grundades 1987 i Washington, DC, Maryland och Virginia-området och är en förespråkare för vetenskap och förnuft, som aktivt främjar den vetenskapliga metoden, rationell undersökning och utbildning.

Utmärkelser

  • Fellow, IEEE Computer Society, för bidrag till utvecklingen av praktisk programmeringsmiljö för effektiv mjukvaruutveckling (1997)

Böcker

  • PL/I programmering med PLUM (1976)
  • Programvaruspecifikationer: En jämförelse av formella metoder (1979)
  • Programmeringsspråk: design och implementering (tredje upplagan) (1996)
  • Grunderna för empirisk mjukvaruteknik: The Legacy of Victor R .Basili (2005)
  • The Golden Age of Computer Technology: Through the Eyes of an Aging Geek (2020)

Utvalda publikationer

  • Avbrottsdriven programmering (1971)
  • Reversibel utförande (1973)
  • Optimering av strukturerade program (1974)
  • Perspectives on software engineering (1978)
  • A fall study in rapid prototyping (1980)
  • Implementering av språkförbättringar (1981)
  • Programvarutekniker i USA och Japan (1984)
  • En funktionell korrekthetsmodell för programverifiering (1990)
  • Rollen för körbara specifikationer vid systemunderhåll (1991)
  • SEL:s program för processförbättringsprogram (1995)
  • Software Engineering teknologiinfusion inom NASA (1996)
  • Experimentella modeller för validering av datorteknik (1998)
  • Ett webbaserat verktyg för dataanalys och presentation (1998)
  • Förbättring av mjukvaruprocesser i små organisationer: en fallstudie (2005)
  • Förstå den högpresterande datorgemenskapen: En mjukvaruingenjörs perspektiv (2008)