Introduction Algebraic speciications can be used for the speciication of var

Ö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 ...

Consider a portfolio of n obligors subject to possible default. We propose a new structural model for the loss given default, which takes into account the severity of default. Then we study the tail behavior of the loss given default under the assumption that the losses of the n obligors jointly follow a multivariate regular variation structure. This structure provides an ideal framework for mo...

4 Non-technical summary 5

Özet. Test Güdümlü Yazılım Geliştirme modeli önce test koşullarının yazılmasını, sonrasında da yazılan testleri geçecek ve kendinden beklenen işlevi yerine getirecek kodun yazılarak bir yazılımın geliştirilmesini öngören yazılım geliştirme modelidir. Başarılı test sürecinin gerçekleştirilmesi ile en az hataya sahip yüksek doğrulukta yazılımlar üretilebilmektedir. Günümüzde test güdümlü yazılım ...

This paper presents a general review related to the problem of three­dimensional objects’ reconstruction from range data images. It descr ibes the problem and reviewed the main areas of concern in each of the intermediate steps that make up the overall process of sur faces reconstruction with the most impor tant works in the area cover ing a wide var iety of techniques and models propos...