Programlama Dilleri

Bilgisayar Standartları JAVA Programlama Dilleri Veri Güvenliği (Cryptography) Yazılım Mühendisliği

JML ( Java Modelleme Dili)

Yazan  : Şadi Evren ŞEKER JML ingilizce Java modelling language kelimelerinin baş harflerinden oluşan bir kısaltmadır. Basitçe bir java kaynak koduna eklenen ilave satırlar ile progam doğruluğunu (program correctness) sağlamayı amaçlar (program verification). İlave olarak eklenecek satırlar java kodunun içerisine…

Derleyiciler Programlama Dilleri

Hoare Mantığı ( Hoare Logic )

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde, program doğrulama ( program corectness) için kullanılan mantığın ismidir. Basitçe bir dizi matematik kuralları ile bir programı modellemeye ve programın doğruluğunu ispatlamaya (veya yanlışlığını göstermeye) yarayan mantıktır. Bu mantığın bilgisayar dünyasında bir dil…

Algoritma Analizi (Teory of Algorithms) Derleyiciler Programlama Dilleri Veri Güvenliği (Cryptography) Yazılım Mühendisliği

Program doğruluğu ( Program correctness)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde bir programın istenen özellikleri yerine getirip getirememesine verilen isimdir. Buna göre şayet bir program, beklenen özellikleri tam ve eksiksiz yerine getiriyor, istenmeyen sonuçlar ortaya çıkmıyor ve program başladıktan sonra her durumda başarılı bir…

C / C++ Programlama Dilleri Veri Tabanı (Database)

OLEDB

Yazan : Şadi Evren ŞEKER İngilizce olarak object linking and embedding database kelimelerinin baş harflerinden oluşan bir veritabanı terimidir. Aslında OLE terimi (object linking and embedding) Microsoft firması tarafından kazandırılan ve uygulama geliştirme sırasında bir varlığı programa bağlamaya yarayan mantıktır….

JAVA

classpath (Sınıf yolu)

Yazan : Şadi Evren ŞEKER JAVA programlama dilinde, derlenecek olan kaynak kodunun (Source code) kullandığı bağlantılı sınıfların (class) derlemeye dahil edilmesi için kullanılan terimin ismidir. Basitçe bir java kodunu derlerken, java derleyicisinin(Compiler) sınıfları (class) aradığı yoldur. İki türlü atanabilir, ya…