İZMİR INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF ENGINEERING AND SCIENCES DEPARTMENT OF COMPUTER ENGINEERING M.Sc. PROGRAM IN COMPUTER ENGINEERING Core Courses CENG 590 CENG 500 CENG 8XX CENG 9XX Seminar (0 2) Non credit M.S. Thesis (0 1) Non credit Special Studies (4 0) Non credit Special Topics (4 0) Non credit Elective Courses CENG 501 Introduction to Statistical Data Processing (3 0)3 CENG 502 System Modeling and Computer Simulation (3 0)3 CENG 504 Optimization Methods (3 0)3 CENG 505 Advanced Computer Networks (3 0)3 CENG 503 Computer Applications in Medicine and Biology (3 0)3 CENG 508 Digital Image Processing (3 0)3 CENG 511 Advanced Information Theory (3 0)3 CENG 512 Advanced Theory of Computation (3 0)3 CENG 513 Compiler Design and Construction (3 0)3 CENG 514 Computational Number Theory (3 0)3 CENG 515 Topics in Computer Science (3 0)3 CENG 516 Advanced Programming Languages (3 0)3 CENG 517 Classics Works in Computer Sciences (3 0)3 CENG 521 Advanced Operating Systems (3 0)3 CENG 522 Advanced Embedded System Design (3 0)3 CENG 523 Advanced Topics of Real Time Systems (3 0)3 CENG 524 Advanced Computer Architecture (3 0)3 CENG 531 Advanced Artificial Intelligence (3 0)3 CENG 532 Expert Systems and Knowledge Engineering (3 0)3 CENG 533 Probabilistic Reasoning (3 0)3 CENG 541 Advanced Database Management Systems (3 0)3 CENG 542 Knowledge Discovery (3 0)3 CENG 551 Advanced Software Engineering (3 0)3 CENG 552 Software Testing (3 0)3 CENG 561 Advanced Information Security (3 0)3 CENG 562 Internet Security (3 0) 3 CENG 563 Database and Software Security (3 0)3 CENG 564 Information Systems Policy, Management and Organization (3 0)3 CENG 565 C4I and Information Warfare (3 0)3 * There is no must course in Computer Engineering MSc program except non credit courses. Any course(s) may be enrolled from any areas. ** It depends on the availability of the faculty member plus the minimum number of students which determined by the Department of Computer Engineering in order for a course to be effective.
İZMİR YÜKSEK TEKNOLOJİ ENSTİTÜSÜ MÜHENDİSLİK VE FEN BİLİMLERİ ENSTİTÜSÜ BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI BİLGİSAYAR MÜHENDİSLİĞİ YÜKSEK LİSANS PROGRAMI Zorunlu Dersler CENG 590 Seminer (0 2)Kredisiz CENG 500 Yüksek Lisans Tezi (0 1) Kredisiz CENG 8XX Uzmanlık Alanı Dersi (4 0)Kredisiz CENG 9XX Uzmanlık Alanı Dersi (4 0)Kredisiz Seçmeli Dersler CENG 501 İstatistiksel Veri İşleme Giriş (3 0)3 CENG 502 Sistem Modelleme ve Bilgisayarlı Benzetim (3 0)3 CENG 504 Eniyileme Yöntemleri (3 0)3 CENG 505 İleri Bilgisayar Ağları CENG 503 Tıp ve Biyolojide Bilgisayar Uygulamaları (3 0)3 CENG 508 Sayısal Görüntü İşleme (3 0)3 CENG 511 İleri Bilgi Kuramı (3 0)3 CENG 512 İleri Hesaplama Kuramı (3 0)3 CENG 513 Derleyici Tasarımı ve Gerçekleştirimi (3 0)3 CENG 514 Bilgisayar Tabanlı Sayılar Teorisi (3 0)3 CENG 515 Bilgisayar Bilimlerinde Çeşitli Konular (3 0)3 CENG 516 İleri Programlama Dilleri (3 0)3 CENG 517 Bilgisayar Bilimlerinde Klasikleşmiş Çalışmalar (3 0)3 CENG 521 İleri İşletim Sistemleri (3 0)3 CENG 522 İleri Gömülü Sistem Tasarımı (3 0)3 CENG 523 Gerçek Zamanlı Sistemlerde İleri Konular (3 0)3 CENG 524 İleri Bilgisayar Mimarisi (3 0)3 CENG 531 İleri Yapay Us (3 0)3 CENG 532 Uzman Sistemler ve Bilgi Mühendisliği (3 0)3 CENG 533 Olasılıksal Çıkarsama (3 0)3 CENG 541 İleri Veritabanı Yönetim Sistemleri CENG 542 Stratejik Bilgi Çıkarımı (3 0)3 CENG 551 İleri Yazılım Mühendisliği (3 0)3 CENG 552 Yazılım Sınama (3 0)3 CENG 561 İleri Bilgi Güvenliği (3 0)3 CENG 562 İnternet Güvenliği (3 0) 3 CENG 563 Veritabanı ve Yazılım Güvenliği (3 0)3 CENG 564 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu (3 0)3 CENG 565 C 4 I ve Bilgi Savaşları (3 0)3 * Bilgisayar Mühendisliği Yüksek Lisans Programı nda kredisiz dersler hariç zorunlu ders bulunmamaktadır; istenilen alan(lar)dan ders seçilebilir. ** Bilgisayar Mühendisliği Anabilim Dalı nda bir dersin açılabilmesi, o alanda öğretim üyesinin bulunmasına ve bölümce saptanan minimum öğrenci sayısına bağlıdır.
İZMİR INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF ENGINEERING AND SCIENCES DEPARTMENT OF COMPUTER ENGINEERING M.Sc. PROGRAM IN COMPUTER ENGINEERING COURSE DESCRIPTIONS CENG 501 Introduction to Statistical Data Processing (3 0)3 Organization and application of computers and statistical techniques to data processing. Data handling in terms of coding, preparation, acquisition (with and without computers), screening and reduction; summarization, tabulation and analysis; random variables, statistical estimation and hypothesis testing, enumerated data analysis, linear models ( regression, correlation, analysis of variance). CENG 502 System Modeling and Computer Simulation (3 0)3 Introduction, System concept, System modeling, Monte Carlo technique, definition and selection of system input variables, generation and examination of random numbers, generation of random variables, Discrete System simulation, Discrete System Simulation Software. CENG 504 Optimization Methods (3 0)3 Linear programming, nonlinear programming, iterative methods and dynamic programming are presented, especially as they relate to optimal control problems. Discrete and continuous optimal regulators are derived from dynamic programming approach which also leads to the Hamilton Jakobi Bellman Equation and the Minimum Principle. Linear quadratic regulators, linear tracking problems and output regulators are treated. Linear observer and the separation theorem are developed for controller implementation. CENG 505 Advanced Computer Networks (3 0)3 Overview of computer networks, wireless networks, OSI, Internet model, TCP UDP/IP, wireless TCP, mobile IP, IPv6, congestion control, QoS services, multicast routing, supports for real time communication, network security, future trends in networks. CENG 503 Computer Applications in Medicine and Biology (3 0)3 The analysis and design of Hospital Information Systems. The mathematical, physical and Physiological basis for algorithms used in medicine, imaging and biological modeling. Topics in computer modeling of organs will be chosen from the brain, heart, nervous system, sense organs etc. CENG 508 Digital Image Processing (3 0)3 This course covers the materials required to process and enhance photographic images, remote sensor multispacial scanner data and others. Topics include transform techniques, records and discriminate function. CENG 511 Advanced Information Theory (3 0)3 This course will begin by explaining the methods of types. It will then address the rate distortion theory. It will also cover multiple users channels and channels with random parameters. Finally, correlated source encoding will be provided.
CENG 512 Advanced Theory of Computation (3 0)3 This course will begin by explaining the different models of computation. It will then address the Church Turing thesis. The course also will cover the topics of decidability and reducibility. Finally, detailed information is provided about complexity and related concepts. CENG 513 Compiler Design and Construction (3 0)3 This course deals with the theory and practice of compiler design. It will address the topics of scanning and parsing. Semantic analysis will also be covered. CENG 514 Computational Number Theory (3 0)3 Fundamentals, Algorithms for Congruences, Equations, and Powers, Euler s Φ Function and Coding, Second Degree Congruences, Prime Numbers, Quadratic Residues, Continued Fractions, Algorithms for Primality Testing, Finding Large Primes, Elliptic Curves, Factoring Algorithms, Algorithms for Exponential Methods of Factoring Integers, Subexponential Factoring Algorithms, Computing Discrete Logarithms. CENG 515 Topics in Computer Science (3 0)3 Topics from advanced areas will be discussed in a seminar format. Contents may vary. CENG 516 Advanced Programming Languages (3 0)3 Design and implement new language features, to precisely understand the rationale for existing features in modern languages, and to understand how design decisions can impact implementations. CENG 517 Classics Works in Computer Sciences (3 0)3 Gödel s undecidability theorem, computability, game theory ideas, information theory basics, graphs, networks, new directions in cryptography, the Antikythera mechanism, declarative programming, relational database model, machines and intelligence, computational complexity. CENG 521 Advanced Operating Systems (3 0)3 Operating systems review, process synchronization, distributed system communication, synchronization in distributed systems, distributed algorithms, static and dynamic scheduling in distributed systems, group communication, fault tolerance, distributed real time systems. CENG 522 Advanced Embedded System Design (3 0)3 Nature of embedded systems, their role in computer engineering; special and general purpose microprocessor design, embedded microcontrollers, embedded software; real time systems, problems of timing and scheduling; testing and performance issues, reliability; design methodologies, software tool support for development of such systems; problems of maintenance and upgrade; introduction to Application Specific Integrated Circuit (ASIC) Design, VHDL. CENG 523 Advanced Topics of Real Time Systems (3 0)3 Real Time software design issues, real time operating systems, real time scheduling algorithms, formal methods in software specification, modeling and verification using timed automata, software design, programming languages, testing, performance analysis and optimization, documentation, software re use, fault tolerance.
CENG 524 Advanced Computer Architecture (3 0)3 Basic principles of processor design, instruction set architecture, pipelining, design of advanced memory hierarchies, multithreading, task level and instruction level parallelism, inter processor communication models, multiprocessors, future trends. CENG 531 Advanced Artificial Intelligence (3 0)3 Approaches to AI; higherorder logic; planning; expert systems; environment of AI systems; soft computing in AI systems; nonsymbolic learning; natural language processing; intelligent agent; multi agent system; semantic web; robotics. CENG 532 Expert Systems and Knowledge Engineering (3 0)3 Introduction to the various techniques used in building an expert systems. Topics covered include: knowledge representation methods, production systems, inference procedures, uncertainty and evidence combination, expert systems architectures and control, knowledge acquisition, programming languages for expert systems, and various case studies. CENG 533 Probabilistic Reasoning (3 0)3 Graphical Probability Models. Bayesian Reasoning. Bayesian Networks. Learning in Bayesian Networks. Knowledge Engineering. Temporal Models. Inference in Dynamic Bayesian Networks. Markov Decision Processes. CENG 541 Advanced Database Management Systems (3 0)3 Relational theory and extensions, such as relational calculus, relational algebra, higher order normal forms; advanced DBMS concepts, such as integrity, recovery, concurrency, security, query optimisation; objectoriented databases; distributed databases, related techniques and protocols, such as data replication, data fragmentation, synchronisation, load balancing; parallel databases; deductive databases; federated databases and homogeneity/heterogeneity. CENG 542 Knowledge Discovery (3 0)3 Knowledge discovery and data mining, data warehousing, data preparation and data mining primitives, concept description, mining association rules in large databases, classification and prediction, cluster analysis, web mining, applications in data mining. CENG 551 Advanced Software Engineering (3 0)3 This course will begin by explaining the concept of software engineering. Afterwards, the software development process is described. The course will then cover software requirements, software specification, software analysis, and formal analysis. Finally, quality management, product metrics, process metrics, COTS, and software psychology are addressed. CENG 552 Software Testing (3 0)3 Fundamentals of software testing; software test process and continuous quality improvement; Test generation using finite state models; Test adequacy assessment using black box and white box criteria; applications of model based testing.
CENG 561 Advanced Information Security (3 0)3 Concepts and applications of system and data security. Topics include risks and vulnerabilities, policy formation, controls and protection methods, database security, encryption, authentication technologies, host based and network based security issues, personnel and physical security issues, issues of law and privacy. Areas of particular focus include secure network design, implementation and transition issues, and techniques for responding to security breaches. CENG 562 Internet Security (3 0) 3 Internet security overview; Basic encryption techniques; TCP/IP security; Authentication protocols; Electronic mail security; Web security; Network management security; Firewalls; Intrusion detection systems, Internet security management tools. CENG 563 Database and Software Security (3 0)3 Developments, issues, and challenges in secure databases and secure software applications. Security models, fundamentals and practices for databases and software. CENG 564 Information Systems Policy, Management and Organization (3 0)3 Strategy, Security, National/International Crypto Strategy and Policy, Export/Import Restrictions on Cryptographic Equipments, Information Management and Policy, Information Systems Strategy/Security Standards and Policies, Computer Emergency Response Teams (CERTs), Continuity Planning, Disaster Recovery Standards and Policies, Organizations, NGOs and Think Tanks, Informations Systems Open Source Intelligence, Strategy/Policy Making Software and Simulators, Electronic Commerce, Certification Authorities, Electronic Notery, Electronic Money. CENG 565 C4I and Information Warfare (3 0)3 Concepts, Terminology, Command Control Communications Computers and Intelligence (C 4 I ) Structure, Aims and Threats, Attacks and Defenses in Cyber Space, Economic Psychological and Intelligence Warfare, Information Warfare Strategy, Intelligence and Counterintelligence in Cyber Space, Cyber Terrorism. CENG 590 Seminar Non Credit (0 2) This seminar course must be taken by all MSc students working towards their MSc thesis. The students taking the course are required to make presentations on their thesis studies and prepare progress reports and final reports. CENG 500 M.S. Thesis Non Credit (0 1) Program of research leading to MSc degree, arranged between a student and the faculty member. Students register to this course in all semesters starting from the beginning of their second semester while the research program or write up of the thesis is in progress. CENG 8XX Special Studies Non Credit (4 0) MSc students choose and study a topic under the guidance of faculty member normally his/her advisor. CENG 9XX Special Topics Non Credit (4 0) Graduate students as a group or a MSc student choose and study advanced topics under the guidance of a faculty member normally his/her advisor.
İZMİR YÜKSEK TEKNOLOJİ ENSTİTÜSÜ MÜHENDİSLİK VE FEN BİLİMLERİ ENSTİTÜSÜ BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI BİLGİSAYAR MÜHENDİSLİĞİ YÜKSEK LİSANS PROGRAMI DERS İÇERİKLERİ CENG 501 İstatistiksel Veri İşleme Giriş (3 0)3 Bilgisayar ve istatistik tekniklerinin veri işleme uyarlaması ve uygulanması. Kodlama hazırlığı, veri toplama (bilgisayarlı olan ve olmayan), eleme, özetleme, tablolama ve analiz, olasılık ve şans değişkenleri, istatistiksel tahminleme ve hipotez kontrolları, sayımla elde edilen verilerin analizi. Doğrusal modeller (regresyon, korelasyon, varyans analizi). CENG 502 Sistem Modelleme ve Bilgisayarlı Benzetim (3 0)3 Giriş, Sistem kavramı, Sistem Modelleme, Monte Carlo tekniği, Sistem Girdi değişkenlerinin tanımlanması ve seçilmesi, şans sayıları türetimi ve incelenmesi, şans değişkenleri türetilmesi, ayrık sistem benzetimi, ayrık sistem benzetim yazılımları. CENG 504 Eniyileme Yöntemleri (3 0)3 Doğrusal programlama, doğrusal olmayan programlama, sınama yanılma yöntemleri ve dinamik programlama tanıtılarak özellikle optimal denetim problemlerine uygulanacak. Dinamik programlama yaklaşımından kesikli ve sürekli optimal düzenleyiciler türetilecek. Doğrusal gözlemci ve ayırma teoremleri geri beslemeli denetleyici uygulamaları için geliştirecek. CENG 505 İleri Bilgisayar Ağları Bilgisayar ağları, kablosuz ağlar, OSI katmanları, Internet modeli, TCP UDP/IP, kablosuz TCP, mobil IP, Ipv6, tıkanma kontrolü, servis kalitesi hizmetleri, multicast yönlendirme, gerçek zamanlı haberleşme için destekler ve protokoller, ağ güvenliği, gelecek kuşak ağlar. CENG 503 Tıp ve Biyolojide Bilgisayar Uygulamaları (3 0)3 Hastane bilgi sistemlerinin analiz ve tasarımı. Biyolojik modelleme ve tıbbi görüntü işleme algoritmalarının matematiksel, fiziksel ve fizyolojik temelleri. Beyin, kalp, sinir sistemi ve duyu organları gibi organların bilgisayarda modellemesine ilişkin konular. CENG 508 Sayısal Görüntü İşleme (3 0)3 Bu ders fotoğraf, uzaktan algılama, tarayıcılar gibi yollarla elde edilmiş görüntüleri işlemek ve zenginleştirmek için gerekli konuları kapsar. Transformasyon teknikleri, kayıtlar ve ayırım fonksiyonlarını içerir. CENG 511 İleri Bilgi Kuramı (3 0)3 Bu ders, tiplere ait metodları ortaya koyarak başlayacaktır. Ardından çarpıklık oranı kuramı ele alınacaktır. Ayrıca çok sayıda kullanıcı kanalları ve rastgele parametreli kanallar işlenecektir. Son olarak ilintili kaynak kodlaması kavramı verilecektir.
CENG 512 İleri Hesaplama Kuramı (3 0)3 Bu ders farklı biçimsel hesaplama modellerini ortaya koyarak başlayacaktır. Sonrasında Church Turing tezi ele alınacaktır. Ayrıca karar verilebilirlik ve indirgenebilirlik konuları işlenecektir. Son olarak, karmaşıklık ve ilgili kavramlar hakkında ayrıntılı bilgi verilecektir. CENG 513 Derleyici Tasarımı ve Gerçekleştirimi (3 0)3 Bu ders derleyici tasarımının teorisi ve uygulaması üzerine odaklanmaktadır. Tarama ve çözümleme konuları işlenecektir. Ayrıca semantik analiz de ele alınacaktır. CENG 514 Bilgisayar Tabanlı Sayılar Teorisi (3 0)3 Temeller, Kongruans, Denklem ve Üstler İçin Algoritmalar, Euler in Φ Fonksiyonu ve Kodlanması, İkinci Derece Kongruanslar, Asal Sayılar, Kuadratik Kalanlar, Sürekli Kesirler, Asal Sayı Testi Algoritmaları, Büyük Asal Sayı Bulma, Eliptik Eğriler, Faktörizasyon Algoritmaları, Tamsayı Faktörizasyonunda Üstel Metotlar İçin Algoritmalar, Subeksponansiyel Faktörizasyon Algoritmaları, Ayrık Logaritma Hesaplamaları. CENG 515 Bilgisayar Bilimlerinde Çeşitli Konular (3 0)3 Bilgisayar Bilimlerinin ileri konularından seçilen çeşitli konular seminer ortamında kapsanacaktır. CENG 516 İleri Programlama Dilleri (3 0)3 Yeni programlama dilleri tasarlamak ve geliştirmek, modern programlama dillerinin var olan özelliklerini incelemek ve kavramak, programlama dili tasarım kararlarının gerçekleştirimler üzerindeki etkisini anlamak. CENG 517 Bilgisayar Bilimlerinde Klasikleşmiş Çalışmalar (3 0)3 Gödel karar verilemezlik teoremi, hesaplanabilirlik, oyun kuramı üzerine görüşler, bilgi kuramı temelleri, çizgeler, bilgisayar ağları, kriptografide yeni yönelimler, Antikythera mekanizması, declarative programlama, ilişkisel veritabanı modeli, makineler ve zeka, hesaplama karmaşıklığı. CENG 521 İleri İşletim Sistemleri (3 0)3 İşletim sistemleri, süreç senkkronizasyonu, dağıtık sistemler iletişimi, dağıtık sistemlerde senkronizasyon, dağıtık algoritmalar, dağıtık sistemlerde statik ve dinamik iş dağıtımı, grup iletişimi, hata toleransı, dağıtık gerçek zamanlı sistemler. CENG 522 İleri Gömülü Sistem Tasarımı (3 0)3 Gömülü sistemler, bilgisayar mühendisliğindeki rolü; özel ve genel amaçlı mikroişlemci tasarımı, mikrodenetleyiciler, gömülü yazılım; gerçek zamanlı sistemler, planlama ve zamanlama problemleri; test ve performans; güvenilirlik; tasarım metodolojileri, yazılım geliştirme ortamları; süreklilik ve güncelleme problemleri;uygulamaya özel entegre devre tasarımına giriş, VHDL. CENG 523 Gerçek Zamanlı Sistemlerde İleri Konular (3 0)3 Gerçek Zamanlı yazılım tasarımı konuları, gerçek zamanlı işletim sistemleri, gerçek zamanlı görev planlama algoritmaları, yazılım spesifikasyonlarında kullanılan formal metotlar, zaman otomatlarını kullanarak modelleme ve doğrulama, yazılım tasarımı, programlama dilleri, test, performans çözümlemesi ve eniyilemesi, belgeleme, yazılımın yeniden kullanımı, hataya dayanıklılık.
CENG 524 İleri Bilgisayar Mimarisi (3 0)3 Mikroişlemci tasarımının temelleri, komut seti mimarisi, pipelining, ileri bellek hiyerarşilerinin tasarımı, multithreading, proses seviyesinde ve komut seviyesinde parallelleştirme, işlemciler arası haberleşme modelleri, çoklu işemciler, gelecekte beklenen gelişmeler. CENG 531 İleri Yapay Us (3 0)3 Yapay us yaklaşımları; yüksek düzenli mantık; tasarlama; uzman dizgeler; yapay us dizgelerin çevresi; yapay us dizgelerde esnek hesaplama; simgesel olmayan öğrenme; doğal dil işleme; akıllı aracı; çoklu aracı dizgesi; anlamsal örgü; robot bilimi. CENG 532 Uzman Sistemler ve Bilgi Mühendisliği (3 0)3 Uzman sistem geliştirilmesindeki çeşitli tekniklere giriş. Bilgi tanıtma yöntemleri, üretim sistemleri, yorum yöntemleri, belirsizlik ve ipucu kombinasyonları, uzman sistem mimarisi ve kontrolu, bilgi edinme, uzman sistem programlama dilleri, çeşitli durum analizleri. CENG 533 Olasılıksal Çıkarsama (3 0)3 Çizgesel Olasılık Modelleri. Bayes Çıkarsaması. Bayes Ağları. Bayes Ağlarında Öğrenme. Bilgi Mühendisliği. Zamansal Modeller. Dinamik Bayes Ağlarında Çıkarsama. Markov Karar Verme Süreçleri. CENG 541 İleri Veritabanı Yönetim Sistemleri (3 0)3 İlişkisel kuramı ve uzantıları: ilişkisel hesap, ilişkisel cebir, üst dereceli normal biçimler; ileri veri taban yönetim dizge kavramları: bütünlük, kurtulma, koşul zamanlı, güvenlik, sorgu eniyileştirme; nesneye dayalı veritabanları; dağıtık veri tabanları, ilgili uygulamalar ve tutanaklar: veri çoklama, veri parçalama, eşgüdümleme, yük dağılımı; koşut veritabanları; çıkarsamalı veritabanları; birleştirilmiş veritabanları ve türdeş/türdeş olmayan. CENG 542 Stratejik Bilgi Çıkarımı (3 0)3 Stratejik bilgi çıkarımı ve veri madenciliği, veri ambarcılığı, veri hazırlama ve veri madenciliği ilkelleri, kavram tanımlama, ilişki kuralları madenciliği, sınıflandırma ve tahminleme, küme analizi, web madenciliği, veri madenciliği uygulamaları. CENG 551 İleri Yazılım Mühendisliği (3 0)3 Bu ders yazılım mühendisliği kavramını ortaya koyarak başlayacaktır. Ardından yazılım geliştirme süreci anlatılacaktır. Ders kapsamında yazılım gereksinimleri, yazılım spesifikasyonu, yazılım analizi ve biçimsel analiz konuları işlenecektir. Ayrıca kalite yönetimi, ürün metrikleri, süreç metrikleri, COTS ve yazılım psikolojisi konuları da ele alınacaktır. CENG 552 Yazılım Sınama (3 0)3 Yazılım sınamanın temelleri, yazılım sınama süreci ve sürekli kalite arttırımı, sonlu durum modelleri ile sınama olgularının oluşturulması, beyaz kutu ve siyah kutu yaklaşımları ile sınama yeterliliği değerlendirmesi, model temelli yazılım sınama.
CENG 561 İleri Bilgi Güvenliği (3 0)3 Veri güvenliği ile ilgili kavramlar ve uygulamalar, risk ve zayıflıkların analizi, politika oluşturma, kontrol ve koruma metotları, veritabanı güvenliği, kimlik denetleme teknolojileri, hukuk ve mahremiyet gibi konular ders kapsamında incelenecektir. CENG 562 İnternet Güvenliği (3 0) 3 İnternet güvenliğine giriş, Temel şifreleme teknikleri, TCP/IP güvenliği, Elektronik posta güvenliği, Web güvenliği, Ağ yönetim güvenliği, Güvenlik duvarları, Saldırı tespit sistemleri, İnternet güvenlik yönetim araçları. CENG 563 Veritabanı ve Yazılım Güvenliği (3 0)3 Güvenli veritabanları ve güvenli yazılım uygulamaları konuları, geliştirim yöntemleri ve araştırma alanları. Veritabanları ve yazılımlar için güvenlik modelleri, temelleri ve pratikleri. CENG 564 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu (3 0)3 Strateji, Güvenlik, Ulusal/Uluslararası Kripto Strateji ve Politikası, Kripto Cihazları İthalat/İhracat Rejimleri, Bilgi Yönetimi ve Politikası Geliştirme, Bilgi Sistemleri Stratejisi/Güvenliği Standart ve Politikaları, Bilgisayar Güvenliği Acil Durum Kurumları (CERTs), Süreklilik Planlaması, Beklenmeyen Durum ve Sonrası Standart ve Politikalarının Belirlenmesi, Organizasyonlar, NGO Think Tanks, Bilgi Sistemleri ve Açık Kaynak İstihbaratı, Strateji/Politika Belirleyici Yazılımlar Simülatörler, Elektronik Ticaret, Onay Kurumları, Elektronik Noter, Elektronik Para. CENG 565 C4I ve Bilgi Savaşları (3 0)3 Kavramlar, Terminoloji, Komuta Kontrol İletişim Bilgisayar ve İstihbarat (Command Control Communications Computers and Intelligence C 4 I ) Yapısı, Hedefler ve Tehditler, Siber Uzayda Saldırı ve Önlemler, Ekonomik Psikolojik ve İstihbarat Savaşları, Bilgi Savaşları Stratejisi, Siber Uzayda İstihbarat ve İstihbarata Karşı Koyma, Siber Terörizm. CENG 590 Seminer (0 2) Kredisiz Bu seminer dersi, lisansüstü tezi konusunda çalışan tüm yüksek lisans öğrencileri tarafından alınmak zorundadır. Dersi alan öğrenciler, tez hakkında sunum yapmak ve gelişme ve sonuç raporları hazırlamak zorundadır. CENG 500 Yüksek Lisans Tezi (0 1) Kredisiz Tez araştırmasını veya tezin yazımını başlamasının ikinci döneminden itibaren her dönem öğrenciler bu dersi alır. CENG 8XX Uzmanlık Alanı Dersi (4 0)Kredisiz Yüksek lisans öğrencileri belli bir konu seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle o konuyu inceler. CENG 9XX Uzmanlık Alanı Dersi (4 0)Kredisiz Lisansüstü öğrencileri bir grup halinde ya da bir yüksek lisans öğrencisinin ileri araştırma konuları seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle seçilen konuları inceler.