Tony Hoare

Sir Tony Hoare
Hoare (2011)
DoğumCharles Antony Richard Hoare
11 Ocak 1934 (90 yaşında)
Kolombo, Britanya Seylanı
EğitimOxford Üniversitesi
Moskova Devlet Üniversitesi
ÖdüllerTuring Ödülü (1980)
Faraday Madalyası (1985)
Kyoto Ödülü (2000)
IEEE John von Neumann Madalyası (2011)
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarOxford Üniversitesi
Doktora öğrencileriCliff Jones[1]
Bill Roscoe[1]
Augusto Sampaio[2]

Sir Charles Antony Richard Hoare (d. 11 Ocak 1934), Britanyalı bilgisayar bilimcisi. 1959'da hızlı sıralama adlı algoritmayı geliştirmiştir.[3] Bilgisayar programlarının doğruluğunu belirlemeye yarayan mantğın da sahibi olan Hoare 1980'de Turing Ödülü'nü, 2011'de IEEE John von Neumann Madalyası'nı almaya hak kazanmıştır.

Kaynakça

  1. ^ a b Mathematics Genealogy Project'te Tony Hoare
  2. ^ Sampaio, Augusto (1993). An algebraic approach to compiler design. bodleian.ox.ac.uk (Tez). Oxford Üniversitesi. OCLC 854973008. EThOS uk.bl.ethos.334903.  Bilinmeyen parametre |derece= görmezden gelindi (yardım)[ölü/kırık bağlantı]
  3. ^ "In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm, "Quicksort."". 3 Nisan 2015 tarihinde kaynağından arşivlendi. Erişim tarihi: 26 Aralık 2017. 
  • g
  • t
  • d
Turing Ödülü sahipleri
1960'lar
  • Alan Perlis (1966)
  • Maurice Vincent Wilkes (1967)
  • Richard Hamming (1968)
  • Marvin Minsky (1969)
1970'ler
1980'ler
1990'lar
2000'ler
2010'lar
2020'ler
  • g
  • t
  • d
Alanlar
Gereksinim çözümlemesi • Yazılım tasarımıProgramlamaBiçimsel yöntemlerYazılım testiYazılım sistemleri • Yazılım dağıtımı • Yazılım bakımı
Kavramlar
Veri modellemeKurumsal mimari • Functional specification • Modelleme dili • Programlama paradigmasıYazılımYazılım mimarisiYazılım geliştirme yöntembilimiYazılım geliştirme süreci • Yazılımın niteliği • Yazılım kalite güvencesi • Yapısal analiz
Yönelimler
Atik • Aspect-oriented • Nesne yönelimli • Ontoloji • Servis odaklı • SDLC
Modeller
Geliştirme modelleri: Atik • Yinelemeli model • RUP • Scrum • Spiral model • Waterfall modelXP • V-Model
Diğer modeller: CMMI • Veri modeli • İşlev modeli • IDEF • Bilgi modeli • Metamodeling • Nesne modeli • Görünüm modeli • UML
Yazılım
mühendisleri
Victor BasiliDennis RitchieKent BeckPeter ChenGrady BoochFred BrooksBarry BoehmBjarne StroustrupWard CunninghamOle-Johan DahlTom DeMarcoEdsger DijkstraMartin FowlerC. A. R. HoareWatts HumphreyMichael A. JacksonIvar JacobsonCraig Larman • James Martin • Bertrand Meyer • David Parnas • Winston W. RoyceJames Rumbaugh • Danese Cooper • Niklaus Wirth • Edward Yourdon
İlgili alanlar
Taslak simgesiBilgisayar bilimcisi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.
Otorite kontrolü Bunu Vikiveri'de düzenleyin