06 Mar Barbara Liskov: Yazılımın Mirası ve Liskov İkame İlkesi’nin Doğuşu
Bu Makalede Neler Öğreneceksiniz?
- Barbara Liskov’un hayatının dönüm noktalarını
- Liskov’un bilgisayar bilimine yaptığı temel katkıları
- Liskov İkame İlkesi’nin ne anlama geldiğini ve neden önemli olduğunu
- Bu ilkenin yazılım tasarımına etkilerini
- Liskov’un kariyerindeki zorlukları ve başarılarını
Bilgisayar biliminin gelişimine yön veren, yazılım tasarım prensiplerini yeniden tanımlayan ve adını tarihe altın harflerle yazdıran bir isim: Barbara Liskov. Özellikle “Liskov İkame İlkesi” ile tanınan Liskov, sadece bir mucit değil, aynı zamanda ilham veren bir akademisyen ve rol modeldir. Bu makalede, Barbara Liskov’un hayatına, çalışmalarına ve bilgisayar bilimine olan eşsiz katkılarına yakından bakacağız.
Erken Yaşamı ve Eğitimi
Barbara Jane Huberman, 7 Kasım 1939’da Los Angeles, Kaliforniya’da doğdu. Eğitim hayatına California Üniversitesi, Berkeley’de matematik alanında başlayıp 1961 yılında mezun oldu. Daha sonra Harvard Üniversitesi’nde yüksek lisans çalışmalarına devam etti. O dönemde, bilgisayar bilimleri henüz yeni bir alan olarak şekilleniyordu ve Liskov, bu alana yönelerek gelecekteki kariyerinin temellerini attı.
Harvard’daki Yılları ve İlk Araştırmaları
Harvard’da bilgisayar bilimi alanında çalışmalarına devam eden Liskov, o dönemde yapay zeka alanındaki gelişmelere ilgi duydu. Yüksek lisans tezini yapay zeka üzerine yazdı ve 1968 yılında doktorasını tamamladı. Doktorasını tamamladıktan sonra MITRE Corporation’da çalışmaya başladı. Burada, işletim sistemleri ve programlama dilleri üzerine önemli projelerde yer aldı.
MIT ve Kariyerindeki Dönüm Noktası
1972 yılında Massachusetts Institute of Technology’ye (MIT) katılması, Barbara Liskov’un kariyerinde bir dönüm noktası oldu. MIT’de profesör olarak göreve başladıktan sonra, programlama dilleri, dağıtık sistemler ve güvenli sistemler üzerine yoğunlaştı. Argus ve CLU gibi yenilikçi programlama dillerinin geliştirilmesinde önemli rol oynadı. Bu diller, nesne yönelimli programlama prensiplerinin erken örnekleri olarak kabul edilir.
Argus ve CLU: Programlama Dillerine Yenilikçi Yaklaşımlar
Liskov, Argus programlama dilini, dağıtık sistemlerdeki hatalara karşı dayanıklılığı artırmak amacıyla geliştirdi. Argus, işlemlerin atomik olarak gerçekleştirilmesini sağlayan ve hata durumunda geri alınabilen “guardian” adı verilen bir yapıya sahipti. CLU ise veri soyutlama ve parametrik polimorfizm gibi modern programlama kavramlarını destekleyen öncü bir dildi. Bu diller, sonraki nesne yönelimli dillerin gelişimine büyük katkı sağladı.
Liskov İkame İlkesi’nin Doğuşu ve Önemi
Barbara Liskov’un en bilinen katkısı, Liskov İkame İlkesi‘dir (LSP). Bu ilke, nesne yönelimli programlamanın temel prensiplerinden biridir ve bir alt sınıfın, üst sınıfının yerine geçebilmesi gerektiğini belirtir. Başka bir deyişle, bir alt sınıf, üst sınıfının beklentilerini tam olarak karşılamalı ve üst sınıfın kullanıldığı her yerde sorunsuz bir şekilde çalışabilmelidir. Bu ilke, yazılımın güvenilirliğini, yeniden kullanılabilirliğini ve sürdürülebilirliğini artırmaya yardımcı olur.
Liskov İkame İlkesi: Yazılım Tasarımında Bir Devrim
Liskov İkame İlkesi, nesne yönelimli tasarımda önemli bir rol oynar. Bu ilkenin ihlal edilmesi, beklenmedik davranışlara, hatalara ve sistemin genel olarak kararsız hale gelmesine neden olabilir. İlke, yazılımcılara, sınıflar arasındaki ilişkileri dikkatli bir şekilde tasarlamaları ve alt sınıfların üst sınıfların davranışlarını bozmamalarını sağlamaları konusunda rehberlik eder. Bu sayede, yazılımın daha modüler, esnek ve kolayca genişletilebilir olması sağlanır. Wikipedia’da daha fazla bilgi bulabilirsiniz.
İlginizi Çekebilir
Ödüller ve Tanınma
Barbara Liskov’un bilgisayar bilimine yaptığı katkılar, sayısız ödül ve tanınmayla onurlandırılmıştır. 2008 yılında Turing Ödülü’ne layık görülmesi, kariyerinin zirvesi olarak kabul edilir. Turing Ödülü, bilgisayar biliminin Nobel’i olarak da bilinir ve Liskov, bu prestijli ödülü kazanan az sayıdaki kadın bilim insanından biridir. Ayrıca, IEEE John von Neumann Madalyası, ACM SIGPLAN Programlama Dilleri Başarı Ödülü ve birçok fahri doktora unvanına sahiptir. Turing Ödülü resmi sitesinden daha fazla bilgi edinebilirsiniz.
Cinsiyet Eşitsizliğiyle Mücadele ve Rol Model Olma
Bilgisayar bilimleri gibi erkek egemen bir alanda başarılı olmak, Barbara Liskov için kolay olmamıştır. Kariyeri boyunca cinsiyet eşitsizliğiyle mücadele etmiş ve genç kadınların bu alanda ilerlemesi için ilham kaynağı olmuştur. Liskov, kadınların bilgisayar bilimine olan ilgisini artırmak ve onları desteklemek için çeşitli girişimlerde bulunmuştur. Öğrencilerine her zaman cesaret vermiş ve onların potansiyellerini keşfetmelerine yardımcı olmuştur.
Mirası ve Gelecek Nesillere Etkisi
Barbara Liskov’un çalışmaları, bilgisayar biliminin gelişimine önemli katkılar sağlamış ve gelecek nesiller için bir ilham kaynağı olmuştur. Liskov İkame İlkesi, yazılım tasarımının temel prensiplerinden biri olarak kabul edilmekte ve dünya çapındaki yazılımcılar tarafından yaygın olarak kullanılmaktadır. Liskov’un öğrencileri ve takipçileri, onun mirasını yaşatmakta ve bilgisayar biliminin sınırlarını zorlamaya devam etmektedir.
Kaynaklar
- Liskov, B., & Wing, J. M. (1994). A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(6), 1811-1841.
- Guttag, J. V., & Liskov, B. (1986). Data abstraction and hierarchy. ACM SIGPLAN Notices, 21(5), 17-34.
- The Turing Award. Barbara Liskov. Alındığı Bağlantı: Tıklayın
- Wikipedia. Liskov substitution principle. Alındığı Bağlantı: Tıklayın
Yorum yok