Yazılım Geliştirme

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…

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…

Yazılım Mühendisliği

Kara Kutu Yaklaşımı (Black Box)

Yazan : Şadi Evren ŞEKER Çok klasik bir mühendislik yaklaşımıdır. Bu yaklaşım sistemi analiz ederken sistemin içeriğin görmezden gelerek sisteme girenler ve çıkanların analiz edilmesini söyler. Yukarıdaki temsili resimde gösterildiği üzere, tahlil edilen sistem bir kara kutya benzetilerek sisteme giren…

JAVA Network (Ağ)

MIME

Yazan : Şadi Evren ŞEKER MIME , internet üzerinde kullanılan bir posta (mail) protokolüdür (protocol , teşrifat). Kelime anlamı olarak multi purpose internet mail extenstions (mime, çok amaçlı internet posta uzantıları) kelimelerinin baş harflerinden oluşmaktadır. Yapı olarak açık ve ASCII…

Network (Ağ)

CSMA (Carrier Sense Multiple Access)

Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin ağ yönetimi çalışmalarının bir konusudur. Basitçe bir ağ ortamına aynı anda birden fazla bilgisayarın erişmesi durumunda oratamın algılanmasını ifade eder. CSMA, OSI katmanlarından veri bağlantı katmanında (datalink layer ) çalışan MAC (Ortam erişim…

Yazılım Mühendisliği

Nokta Kesiciler (PointCuts)

Yazan : Şadi Evren ŞEKER Bağlam yönelimli programlama (Aspect oriented programming) konusunda kullanılan en önemli yapı taşlarındandır. Basitçe bir programın akışı içerisinde bağalam noktaları (joinpoints) belirlendikten sonra bu noktalara hangi bağlamların (Aspects) bağlanacağını belirleyen kümedir. Yani nesne yönelimli bir ortamda…