Ana Sayfa

Prof. Dr. Mert Özkaya

Mert Ozkaya

Prof. Dr.

Mert Özkaya

mert.ozkaya@yeditepe.edu.tr

Mühendislik Fakültesi

Bölüm
  • Bilgisayar Mühendisliği Lisans Programı
Akademik Görevler
  • 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Ü

Öğrenim Bilgisi
  • 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İ)

  • 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

  • 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

Kitaplar

  • 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

    2024Bilimsel 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

    2018Bilimsel 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

    2015Bilimsel Kitap

  • Software Technologies

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

    2014Bilimsel 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

    2013Bilimsel Kitap
Makaleler

  • 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ıHakemliSCI-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ıHakemliSSCIÖ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ıHakemliSSCIÖ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ıHakemliSCI-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

    UlusalHakemliTR 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ıHakemliSCI-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ıHakemliSCI-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ıHakemliSCI-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ıHakemliGoogle ScholarÖzgün Makale

  • Formal Verification of Contractual Software Architectures using SPIN

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

    UluslararasıHakemliSCI-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ıHakemliSCI-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ıHakemliSCI-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ıHakemliSCI-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ıHakemliSCI-ExpandedÖzgün Makale

  • ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES

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

    UlusalHakemliTR DİZİNÖzgün Makale
Bildiriler

  • 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),

    UlusalTam 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),

    UlusalTam 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,

    UlusalTam 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
Projeler

  • 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

Dersler

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
2014-2015C ile Bilgisayar Programlama 2İngilizce4
2014-2015Yazılım Mühendisliğiİngilizce3
2015-2016Yazılım Mühendisliğiİngilizce3

DönemDers AdıDiliSaat
2016-2017Java ile Uygulama Geliştirmeİngilizce3
2017-2018Web Uygulamalarıİngilizce3
2017-2018İleri Yazılım Mühendisliğiİ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
Yönetilen Tezler

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
Patentler

  • 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

    PatentSECTION G - PHYSICS
İdari Görevler
  • 2018
    Kalite Komisyon Üyeliği

    YEDİTEPE ÜNİVERSİTESİ

  • 2015
    Staj Koordinatörü

    ALTINBAŞ ÜNİVERSİTESİ

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

    ALTINBAŞ ÜNİVERSİTESİ

Üniversite Dışı Deneyim

  • Mantis Yazılım

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

    2018Diğer

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

    2019Diğer

  • Eryaz Bilgi Teknolojileri

    2019Diğer

  • ASELSAN A.Ş.

    2021Diğer
×

Ne aramıştınız?