Prof. Mert Özkaya

Mert Ozkaya

Prof.

Mert Özkaya

mert.ozkaya@yeditepe.edu.tr

Faculty of Engineering

A-410

Department
  • Computer Engineering Undergraduate Program
  • Bilgisayar Mühendisliği Yüksek Lisans Programı
  • Bilgisayar Mühendisliği Doktora Programı
Academic Duties
  • 2024
    PROFESÖR

    YEDİTEPE ÜNİVERSİTESİ

    YEDİTEPE ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ

  • 2019
    DOÇENT

    YEDİTEPE ÜNİVERSİTESİ

    YEDİTEPE ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ

  • 2018
    DOKTOR ÖĞRETİM ÜYESİ

    YEDİTEPE ÜNİVERSİTESİ

    YEDİTEPE ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ

  • 2015
    DOKTOR ÖĞRETİM ÜYESİ

    ALTINBAŞ ÜNİVERSİTESİ

    ALTINBAŞ ÜNİVERSİTESİ MÜHENDİSLİK VE DOĞA BİLİMLERİ FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ

Education Information
  • 2011-2014
    Doktora

    City University, London

    School of Mathematics, Computer Science and Engineering

    Tez adı: A Design-by-Contract based Approach for Architectural Modelling and Analysis

  • 2009-2011
    Yüksek Lisans

    University of Essex

    School of Computer Science and Electronic Engineering

    Tez adı: Object-Oriented Analysis, Design and Implementation of a Simplified Information System for Small Scale Car-Manufacturing Plants

  • 2005-2009
    Lisans

    İHSAN DOĞRAMACI BİLKENT ÜNİVERSİTESİ

    MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ BİLGİSAYAR MÜHENDİSLİĞİ PR. (İNGİLİZCE) (ÜCRETLİ)

Books

  • Frontiers in Artificial Intelligence and Applications Volume 389: New Trends in Intelligent Software Methodologies, Tools and Techniques

    ÖZKAYA MERT, Yayın Yeri: IOS Press, Sayfa Sayısı: 13, ISBN: 0922-6389

    2024 Bilimsel Kitap

  • Volume 303: New Trends in Intelligent Software Methodologies, Tools and Techniques

    ÖZKAYA MERT, Yayın Yeri: IOS Press, Sayfa Sayısı: , ISBN: 978-1-61499-899-0

    2018 Bilimsel Kitap

  • Intelligent Software Methodologies, Tools and Techniques

    ÖZKAYA MERT, Yayın Yeri: Springer International Publishing, Sayfa Sayısı: 636, ISBN: 978-3-319-22688-0

    2015 Bilimsel Kitap

  • Software Technologies

    ÖZKAYA MERT,Kloukinas Christos, Yayın Yeri: Springer Berlin Heidelberg, Sayfa Sayısı: 323, ISBN: 978-3-662-44919-6

    2014 Bilimsel Kitap

  • Formal Aspects of Component Software

    Kloukinas Christos,ÖZKAYA MERT, Yayın Yeri: Springer, Berlin, Heidelberg, Sayfa Sayısı: 276, ISBN: 978-3-642-35860-9

    2013 Bilimsel Kitap
Articles

  • Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study

    KARDAŞ GEYLANİ,ÖZKAYA MERT,Arslan Sadık, Yayın Yeri: Mathematics, 2023

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • Practitioners’ Perspectives towards Requirements Engineering: A Survey

    KARDAŞ GEYLANİ,AKDUR DENİZ,Toptani Etem Çetin,Koçak Burak, Yayın Yeri: Systems, 2023

    Uluslararası Hakemli SSCI Özgün Makale

  • An Analysis of the Features of Requirements Engineering Tools

    ÖZKAYA MERT,KARDAŞ GEYLANİ,Kose Mehmet Alp, Yayın Yeri: Systems, 2023

    Uluslararası Hakemli SSCI Özgün Makale

  • What Do Practitioners Expect from the Meta-modeling Tools? A Survey

    ÖZKAYA MERT, AKDUR DENİZ, Yayın Yeri: Journal of Computer Languages, 2021

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • A General Framework for Teaching Software Engineering and Improving Collaboration Skills in Multidisciplinary Teams

    GOULARAS DIONYSIS, ÖZKAYA MERT, SERIF TACHA, GÖREN UĞURDAĞ SEZER, Yayın Yeri: Journal of Aeronautics and Space Technologies, 2021

    Ulusal Hakemli TR DİZİN Özgün Makale

  • Understanding Practitioners' Challenges on Software Modeling: A Survey

    ÖZKAYA MERT, Yayın Yeri: Journal of Computer Languages, 2020

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • A Survey on the Practical Use of UML for Different Software Architecture Viewpoints

    ÖZKAYA MERT, Yayın Yeri: Information and Software Technology, 2020

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • Are the UML Modeling Tools Powerful Enough for Practitioners? A Literature Review

    ÖZKAYA MERT, Yayın Yeri: IET Software, 2019

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • Object-Oriented Analysis and Design of a Student Tracking Information System for Vocational Schools in Turkey

    ÖZKAYA MERT,Korkmaz Özgür, Yayın Yeri: AURUM- Journal of Engineering Systems and Architecture, 2017

    Uluslararası Hakemli Google Scholar Özgün Makale

  • Formal Verification of Contractual Software Architectures using SPIN

    ÖZKAYA MERT, Yayın Yeri: Malaysian Journal of Computer Science, 2015

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • Do the informal formal software modeling notations satisfy practitioners for software architecture modeling?

    ÖZKAYA MERT, Yayın Yeri: Information and Software Technology, 2017

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • The Analysis of Architectural Languages for the Needs of Practitioners

    ÖZKAYA MERT, Yayın Yeri: Software: Practice and Experience, 2018

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • Visual Specification and Analysis of Contract-Based Software Architectures

    ÖZKAYA MERT, Yayın Yeri: Journal of Computer Science and Technology, 2017

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN

    ÖZKAYA MERT,Kose Mehmet Alp, Yayın Yeri: COMPUTER LANGUAGES SYSTEMS STRUCTURES, 2018

    Uluslararası Hakemli SCI-Expanded Özgün Makale

  • ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES

    ÖZKAYA MERT, Yayın Yeri: Havacılık ve Uzay Teknolojileri Dergisi, 2018

    Ulusal Hakemli TR DİZİN Özgün Makale
Presentations

  • DesPat: A Modeling Toolset for Designing and Implementing Software Systems using Design Patterns

    ÖZKAYA MERT,Kose Mehmet Alp(26.04.2021), Yayın Yeri: 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE,

    Uluslararası Tam metin bildiri

  • Designing and Implementing Software Systems using User-defined Design Patterns

    ÖZKAYA MERT,Kose Mehmet Alp(06.07.2021), Yayın Yeri: 16th International Conference on Software Technologies,

    Uluslararası Tam metin bildiri

  • ManLang: A Requirements Modeling Language for the Production Planning in Manufacturing

    ÖZKAYA MERT,GÖKHAN GÖKÇEK GÜLŞAH(25.04.2022), Yayın Yeri: 17th International Conference on Evaluation of Novel Approaches to Software Engineering,

    Uluslararası Tam metin bildiri

  • ModelWeb: A Toolset for the Model-based Testing of Web Applications

    ÖZKAYA MERT,Kose Mehmet Alp,Mamur Arda Burak,Koç Türker(04.09.2022), Yayın Yeri: 17th Conference on Computer Science and Intelligence Systems,

    Uluslararası Tam metin bildiri

  • Practitioners’ Experiences on Developing Graphical Modeling Editors: A Survey

    ÖZKAYA MERT,Kose Mehmet Alp,Musayev Kamran(10.07.2023), Yayın Yeri: 18th International Conference on Software Technologies - ICSOFT,

    Uluslararası Tam metin bildiri

  • DecSup: An Architecture Description Language for Specifying and Simulating the Decision Support System Architectures

    ÖZKAYA MERT,Kose Mehmet Alp,Asal Egehan(21.02.2024), Yayın Yeri: 12th International Conference on Model-Based Software and Systems Engineering - MODELSWARD,

    Uluslararası Tam metin bildiri

  • Towards Extending UML’s Activity Diagram for the Architectural Modeling, Analysis, and Implementation

    ÖZKAYA MERT(06.09.2020), Yayın Yeri: 15th Conference on Computer Science and Information Systems (FedCSIS),

    Uluslararası Tam metin bildiri

  • MVCLang: A Software Modeling Language for the Model-View-Controller Design Pattern

    ÖZKAYA MERT(07.07.2020), Yayın Yeri: 15th International Conference on Software Technologies,

    Uluslararası Tam metin bildiri

  • Towards Analysing the Meta-Modeling Tools for the Needs of Practitioners

    ÖZKAYA MERT(23.09.2019), Yayın Yeri: 13th National Software Engineering Symposium (UYMS 2019),

    Ulusal Tam metin bildiri

  • Teaching Design-by-Contract for the Modeling and Implementation of Software Systems

    ÖZKAYA MERT(26.07.2019), Yayın Yeri: 14th International Conference on Software Technologies,

    Uluslararası Tam metin bildiri

  • Towards Understanding Industry’s Perspectives on the Software Quality Characteristics: A Survey

    ÖZKAYA MERT(04.05.2019), Yayın Yeri: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE),

    Uluslararası Tam metin bildiri

  • Towards Understanding Practitioners’ Knowledge and Experiences on the Software Architecture Viewpoints: A Survey

    ÖZKAYA MERT(29.11.2018), Yayın Yeri: 7th National Software Architecture Conference (UYMK 2018),

    Ulusal Tam metin bildiri

  • Highly Analysable, Reusable, and Realisable Architectural Designs with XCD

    ÖZKAYA MERT,Kloukinas Christos(28.11.2012), Yayın Yeri: International Conference on Advanced Software Engineering Its Applications (ASEA 2012),

    Uluslararası Tam metin bildiri

  • XCD - A Design-by-Contract Architecture Description Language

    ÖZKAYA MERT,Kloukinas Christos(22.07.2013), Yayın Yeri: InternationalConference on Software Engineering Research and Practice,

    Uluslararası Tam metin bildiri

  • Facilitating Early Architectural Exploration with Connector-Centric Design (XCD)

    ÖZKAYA MERT,Kloukinas Christos(08.11.2012), Yayın Yeri: Fifth York Doctoral Symposium on Computer Science,

    Uluslararası Tam metin bildiri

  • Analysing UML Modeling Tools for Practical Use

    ÖZKAYA MERT,Erata Ferhat(10.09.2018), Yayın Yeri: 12. Ulusal Yazılım Mühendisliği Sempozyumu,

    Ulusal Tam metin bildiri

  • Architectural Languages’ Connector Support for Modeling Various Component Interactions: A Review

    ÖZKAYA MERT(26.09.2018), Yayın Yeri: 17th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Frontiers in Artificial Intelligence and Applications,

    Uluslararası Tam metin bildiri

  • What is software architecture to practitioners: A survey

    ÖZKAYA MERT(19.02.2016), Yayın Yeri: 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Rome, 2016, pp. 677-686.,

    Uluslararası Tam metin bildiri

  • Towards Design-by-Contract based software architecture design

    ÖZKAYA MERT,Kloukinas Christos(22.09.2013), Yayın Yeri: 12th International Conference on Intelligent Software Methodologies, Tools and Techniques,

    Uluslararası Tam metin bildiri

  • Design-by-contract for reusable components and realizable architectures

    ÖZKAYA MERT,Kloukinas Christos(30.06.2014), Yayın Yeri: 17th international ACM Sigsoft symposium on Component-based software engineering,

    Uluslararası Tam metin bildiri

  • Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability

    ÖZKAYA MERT,Kloukinas Christos(04.09.2013), Yayın Yeri: 39th Euromicro Conference on Software Engineering and Advanced Applications,

    Uluslararası Tam metin bildiri

  • Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architecture

    ÖZKAYA MERT,Kloukinas Christos(29.07.2013), Yayın Yeri: 8th International Joint Conference on Software Technologies,

    Uluslararası Tam metin bildiri

  • Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study

    ÖZKAYA MERT,Kloukinas Christos(07.01.2014), Yayın Yeri: 2nd International Conference on Model-Driven Engineering and Software Development,

    Uluslararası Tam metin bildiri

  • Architecture Descriptions of Software Systems: Complex Connectors vs Realisability

    ÖZKAYA MERT(19.02.2017), Yayın Yeri: 5th International Conference on Model-Driven Engineering and Software Development,

    Uluslararası Tam metin bildiri

  • Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions

    ÖZKAYA MERT(22.01.2018), Yayın Yeri: 6th International Conference on Model-Driven Engineering and Software Development,

    Uluslararası Tam metin bildiri
Projects

  • Artificial Intelligence supported Tool Chain in Manufacturing Engineering (AITOC)

    ARAŞTIRMA PROJESİ Tamamlandı 01.09.2020-31.08.2023

    Projedeki Görev: Danışman

  • ModelTGM: Model Tabanlı ve Güdümlü Mühendislik ve Alan Özgü Dil Geliştirme

    ARAŞTIRMA PROJESİ Tamamlandı 01.07.2021-31.12.2022

    Projedeki Görev: Yürütücü

  • Web Uygulamalarının Kullanıcı Davranışlarına Göre Model-Tabanlı Testi Için Alana-Özgü Modelleme Dili Ve Araçlarının Geliştirilmesi

    TÜBİTAK PROJESİ Tamamlandı 15.11.2020-15.11.2021 , 42899 TÜRK LİRASI

    Projedeki Görev: Yürütücü

  • Yazılım Tasarım Kalıplarına Uygun Modellerin Tasarlanması, Analizi, Ve Koda Dönüştürülmesi Için Alana-Özgü Modelleme Dili Ve Araçlarının Geliştirilmesi

    TÜBİTAK PROJESİ Tamamlandı 01.10.2020-01.10.2021 , 44270 TÜRK LİRASI

    Projedeki Görev: Yürütücü

  • Görsel Yazılım Mimarisi Tasarımı Ve Analizi

    ALTINBAŞ ÜNİVERSİTESİ TÜBİTAK PROJESİ Tamamlandı 01.03.2016-01.03.2017 , 18500 TÜRK LİRASI

    Projedeki Görev: Yürütücü

    Projedeki Ünvan: YARDIMCI DOÇENT

Courses

DönemDers AdıDiliSaat
2017-2018C ile Bilgisayar Programlama 1Türkçe2
2017-2018Yazılım Mühendisliğiİngilizce3
2017-2018Internet ve Web Programlamaİngilizce4
2017-2018C ile Bilgisayar Programlama 1İngilizce4
2017-2018Nesneye Yönelik Program Tasarımıİngilizce4
2016-2017C ils Bilgisayar Programlama 2Türkçe4
2016-2017Yazılım Mimarileriİngilizce3
2016-2017Yazılım Mühendisliğiİngilizce3
2016-2017Nesneye Yönelik Program Tasarımıİngilizce4
2015-2016Internet ve Web Programlamaİngilizce4
2015-2016Veritabanı Sistemleriİngilizce4
2015-2016Yazılım Mimarileriİngilizce3
2015-2016Yazılım Mühendisliğiİngilizce3
2014-2015C ile Bilgisayar Programlama 2İngilizce4
2014-2015Yazılım Mühendisliğiİngilizce3

DönemDers AdıDiliSaat
2017-2018Web Uygulamalarıİngilizce3
2017-2018İleri Yazılım Mühendisliğiİngilizce3
2016-2017Java ile Uygulama Geliştirmeİngilizce3
2016-2017İleri Yazılım Mühendisliğiİngilizce3
2015-2016İleri Yazılım Mühendisliğiİngilizce3
2014-2015Programlama Çalıştayıİngilizce3
Supervised Theses

YılHazırlayan Ad SoyadTez AdıÜniversite
2016ÖZGÜRStudent tracking system for vocational high schools in Turkeyİstanbul Kemerburgaz Üniversitesi
2022ÇAĞATAYA modeling language and its toolset for specifying, analyzing, and implementing microservice-based architectural software systems.Yeditepe Üniversitesi
2023BATURAYAnalysis of Test Case Selection Techniques for Regression TestingYeditepe Üniversitesi

YılHazırlayan Ad SoyadTez AdıÜniversite
Mehmet AlpUML-based, Contractual Software Architectures and their Formal Analysis
2022MEHMET ALPSAWUML-UML tabanlı yazılım mimarisi tanımlama dili ve araç kümesiAltınbaş Üniversitesi
Patents

  • FİZİKSEL YERLEŞİM BAKIŞ AÇISI İLE KONUŞLANDIRILMIŞ KONFİGÜRASYON BİRİMLERİ DİYAGRAMI MODELLEMESİ İÇİN BİR META-MODEL TANIMLAMA VE MODEL UYGULAMA YÖNTEMİ 2022 017520

    Patent Başvuru Sahipleri: ASELSAN ELEKTRONİK SANAYİ VE TİCARET ANONİM ŞİRKETİ Patent Buluş Sahipleri: Deniz Akdur,Mert Özkaya

    Patent SECTION G - PHYSICS
Administrative Duties
  • 2018
    Kalite Komisyon Üyeliği

    YEDİTEPE ÜNİVERSİTESİ

  • 2016
    Uzaktan Eğitim Merkezi Müdür Yardımcısı

    ALTINBAŞ ÜNİVERSİTESİ

  • 2015
    Staj Koordinatörü

    ALTINBAŞ ÜNİVERSİTESİ

Experience Outside the University

  • Mantis Yazılım

    Mantis Yazılım şirketi için akademik danışmanlık hizmeti vermekteyim.

    2018 Diğer

  • DFDS DENİZCİLİK VE TAŞIMACILIK A.Ş.

     2019 Diğer

  • Eryaz Bilgi Teknolojileri

     2019 Diğer

  • ASELSAN A.Ş.

     2021 Diğer
×

What did you search?