Duyurular & Dokümanlar

Tez Dosyaları 10

Tekrarlanabilir simülasyon deneyleri için model tabanlı mühendislik çerçevesi
Değişken atama dillerine özgü sonlu durum devingenleri ve bunların algoritmik çıkarsanması
Dynamic constraint satisfaction algorithm for reconfiguration of feature models
Fiziksel güvenlik bilgi yönetim sistemi için bir yazılım ürün hattına doğru mimari evrim
Gerçek zamanlı mühendislik simulasyonları için oyun motoru mimarisi geliştirme
Suüstü gemileri taktik manevra simülasyon sistemi (NSTMSS)
OWL ontolojilerinin UML sınıf çizeneklerine kullanıcı yönlendirmesiyle çevrilmesi
Model management for hypothesis-driven simulation experiment workflows
Test and evaluation of jammer allocation algorithms for anti-drone systems: An agent-based simulation approach
Bir görsel modelleme aracı için doğrulanmış kod üretimi