Items where City Author is "Ozkaya, Mert"
Ozkaya, M. (2014). A Design-by-Contract based Approach for Architectural Modelling and Analysis. (Unpublished Post-Doctoral thesis, City University London)
Kloukinas, C. & Ozkaya, M. (2014). Realizable, Connector-Driven Software Architectures for Practising Engineers. Communications in Computer and Information Science, 457, pp. 273-289. doi: 10.1007/978-3-662-44920-2_17
Ozkaya, M. & Kloukinas, C. (2014). Architectural specification and analysis with XCD: The aegis combat system case study. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). (pp. 368-375). IEEE.
Ozkaya, M. & Kloukinas, C. (2014). Design-by-contract for reusable components and realizable architectures. In: CBSE '14 Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering. 17th international ACM Sigsoft symposium on Component-based software engineering, 30 Jun - 4 Jul 2014, Marcq-en-Bareul, France. doi: 10.1145/2602458.2602463
Ozkaya, M. & Kloukinas, C. (2013). Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. In: Proceedings - 39th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2013. 39th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2013, 4th - 6th September 2013, Santander, Spain.
Ozkaya, M. & Kloukinas, C. (2013). Towards Design-by-Contract based software architecture design. In: SoMeT 2013 - 12th IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, Proceedings. 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT), 22nd September - 24 September 2013, Budapest, Hungary.
Ozkaya, M. & Kloukinas, C. (2013). Towards a design-by-contract based approach for realizable connector-centric software architectures. In: ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies. ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, 29 - 31 Jul 2013, Rejkyavik, Iceland.
Ozkaya, M. & Kloukinas, C. (2012). Highly analysable, reusable, and realisable architectural designs with XCD. Communications in Computer and Information Science, 340 CC, pp. 72-79. doi: 10.1007/978-3-642-35267-6_10
Kloukinas, C. & Ozkaya, M. (2012). XCD – Simple, Modular, Formal Software Architectures (TR/2012/DOC/01). .
Kloukinas, C. & Ozkaya, M. (2012). Xcd - Modular, Realizable Software Architectures. Lecture Notes in Computer Science: Formal Aspects of Component Software, 7684, pp. 152-169. doi: 10.1007/978-3-642-35861-6_10