Özet. Geliştirilen sistemlerin kapsam ve yetenekleri arttıkça, çok sayıda yazılım ve bileşenin birbiriyle haberleşme ihtiyacı ortaya çıkmıştır. Haberleşme arayüzlerini her farklı yazılım ya da bileşende yeniden kodlamak, arayüz değişikliklerinde değişen kısımları elle güncellemek hem zaman kaybına, hem de hataya yatkın yazılım parçaları geliştirilmesine neden olmaktadır. Diğer yandan gömülü yaz...

Özet. Fonksiyonel Büyüklük Ölçümü’nde, çeşitli fonksiyonel büyüklük ölçüm metodları kullanılarak objektiflik ve tutarlılığın artırılması için standartlaşmaya ihtiyaç duyulmaktadır. Bazı mimari stiller için kullanımda olan çeşitli standardizasyon tanımları yapılmış olsa da, objektiflik ve tutarlılığı artırmak için hala yapılabilecek iyileştirmeler bulunmaktadır. Bu iyileştirmeler, otomasyon meth...

Özet Yazılım testinde uygulanabilecek en basit yaklaşım verilen bir kod parçasındaki bütün olasılıkları test etmektir. Bu durum zaman ve bütçe kısıtları nedeniyle pratikte imkansızdır. Yazılım hata tahmini yöntemleri proje yöneticileri tarafından, test aşamasında, kısıtlı olan kaynakları efektif bir şekilde dağıtmak için kullanılmaktadır. Bu alandaki çalışmalar özellikle 2005 yılından itibaren ...

Feedback shift registers with carry operation (FCSR's) are described, implemented, and analyzed with respect to memory requirements, initial loading, period, and distributional properties of their output sequences. Many parallels with the theory of linear feedback shift registers (LFSR's) are presented, including a synthesis algorithm (analogous to the Berlekamp-Massey algorithm for LFSR's) whi...

researchers paid special attention to statistical stylistics studies such that recognition and discrimination of different styles in every text can be possible applying this method. bosiman's statistical stylistics is quantitative but not qualitative.  in this study, we have investigated examples of hamedani's and yazeji's maqamat based on bosiman's equation in the paper. th...

1 Richardson JW, Greenfield Q. Natural history and management of iliac aneurysms. Jf Vasc Surg 1988; 8: 165-71. 2 McCready RA, Pairolero P, Gilmore J, Kazmier F, Cherry K, Hollier L. Isolated iliac artery aneurysms. Surgery 1983; 93: 688-93. 3 Thiele B, Geddes N, Johnson N, MacLeish D, Royle J, Buxton B. Ruptured iliac aneurysms. Aust NZJ Surg 1975; 45: 417-21. 4 Sacks NPM, Huddy SPJ, Wegner T,...

Özet Biçimsel do§rulama bir sistemin do§rulanmas n n tasar m a3amas nda yap lmas na izin veren ve son y llarda kullan m h zla artan bir yöntemdir. Bu bildiride almaç planlay c bile3eni tasar m n n gerçek zaman gereksinimleri dahil edilerek biçimsel do§rulanmas sunulmaktad r. Bu kapsamda say sal almaç planlay c bile3eninin biçimsel modelinin ve gereksinimlerinin UPPAAL model denetim arac ile bel...