Now showing items 1-2 of 2

    • Development of an object oriented mathematical modeling system 

      Atmaca, Tuğba (BOĞAZİÇİ ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)
      Bu çalışmada, büyük ölçekli eniyileme problemlerinin modellenmesi ve çözülmesi süresince gerçekleşen iş yükünü azaltmak üzere nesne tabanlı matematiksel programlamayı destekleyen bir yazılım olan ICRON kısmen geliştirilmiştir. ...
    • Model driven security framework for software design and verification 

      Deveci, Engin (BOĞAZİÇİ ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)
      Uygulama ve sistemlerdeki güvenlik problemleri bilgi kaybına, finansal kayıplara ve hatta insan yaşamının kaybına varabilecek kadar ciddi sonuçlar doğurmaktadır. Bu nedenle bilgi sistemleri güvenliği her geçen gün daha ...