| Başlık | Güvenlik açısından, Yazılım Tasarımı ve Yazılım Ürün Doğrulaması |
| Öğrenci | Evet |
| Yazar(lar) |
Yazar 1 Name: ALBERT ÖZKOHEN Org: BOĞAZİÇİ ÜNİVERSİTESİ Country: TR E-mail: albert.ozkohen_AT_boun.edu.tr Yazar 2 Name: UFUK ÇAĞLAYAN Org: BOĞAZİÇİ ÜNİVERSİTESİ Country: TR E-mail: caglayan_AT_boun.edu.tr |
| Diğer Yazar(lar) | 0533 163 4804 |
| Anahtar Kelimeler | kaynak kodu, model denetimi, yazılım doğrulama, UML, SPIN, PROMELA; kod tasarım denkliği |
| Özet | Mevcut bir yazılım kaynak kodu ile onunla ilgili tasarım ürünü arasındaki denkliğin tanımlanması için birçok çalışma yapılmaktadır. Tasarım ve uygulama yazılım yaşam döngüsünün önemli iki aşamasıdır. Verilmiş bir yazılım kaynak kodu ile UML ile oluşturulmuş bir tasarımı, SPIN Model Denetleyicisinin dili olan PROMELA diline çevirerek, bu ikisi arasındaki denkliği, iki sonlu durum makinasının denkliği ile gösterebileceğimizi öneriyoruz |
| Başlıklar |
Ağ Teknolojileri ve Güvenliği Bilişim Güvenliği ve Güvenlik Sistemleri Yazılım Geliştirme Ortamları Yazılım Mühendisliği |
| Dosya |
 |