Görüntü Şifreleme için Trivium-Doğrusal Eşlenik Üreteci Tabanlı Bit Üretimi

Olay Tabanlı Sınama İçin Mutant Seçimi

Özet. Model tabanlı sınama, sınama örneği üretimi için biçimsel modeller kullanmayı içerir. Bu bildiri olay tabanlı modelleme için düzenli gramerleri önermektedir. Önerilen modeli değişikiklere uğratmak için tanımlanan mutasyon işleçleri sistematik olarak hata modelleri ya da mutantların üretilmesinde kullanılmaktadır. Asıl sistem modeliyle mutantlar üzerinde uygulanan algoritmalar ile sınama ö...

Form Tabanlı Uygulamalar İçin Çaba Kestirimi

Özet. Yazılım geliştirme maliyetleri, ölçüm ve kestirim yöntemlerinin çeşitli yetersizliklerinden dolayı sık sık kontrol dışına çıkmaktadır. Planlanan zaman ve bütçeyi aşan çok sayıda proje mevcuttur. Zaman, gereken çaba, dolayısıyla da bütçe tahminini başta doğru yapamamak, bunun en temel nedenlerinden biridir. Bu çalışma ile sektörde yaygın olarak kullanılan nesne yönelimli programlama diller...

Veterinerler için Sensör Tabanlı Tanı Destek Sistemi: VETDEY

Özet. Bu çalışmada, sığır cinsi hayvanlara ilişkin tıbbi bulguların, sensörler aracılığı ile toplanıp, kaydedilmesi ve veteriner hekime bu bulguların yollanıp, tanı aşamasında destek sağlaması amaçlanmaktadır. Çalışmada ayrıca, sensörlerden gelen ve gözlem yoluyla toplanan bulgular sayesinde, sığırlardaki hastalığın tanısına yönelik veteriner hekimin bilgilendirilmesini, hastalıklı sığırların k...

E-Devlet Web Siteleri İçin Rehber Tabanlı Kullanılabilirlik Değerlendirmesi

Özet. Kamu kurumları sağladıkları hizmetleri bilgi ve iletişim teknolojileri ile vatandaşa sunarak etkinliğini artırmakta, tasarruf sağlamakta ve hizmet kalitesini artırmayı amaçlamaktadırlar. Kamu kurumlarının e-devlet hizmetlerinin amacına ulaşmasında, hizmetlerin vatandaşlar tarafından kullanılabilir olması önemli bir ölçüttür. Bu çalışmanın amacı Türkiye’deki e-devlet web sitelerinin, öneml...

İş Süreçlerinin Hedef Tabanlı Modellenmesi İçin Bir Araç