No photo of Mehmet Akşit

Mehmet Akşit

prof.dr.ir.

1988 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2018

Filter
PhD Thesis - Research UT, graduation UT
2015

Developing Energy-Aware Software

te Brinke, S. 4 Jun 2015 Enschede. 175 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2014

Non-intrusive Instance Level Software Composition

Hatun, K. 12 Feb 2014 Enschede. 148 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2013

Defusing the Debugging Scandal - Dedicated Debugging Technologies for Advanced Dispatching Languages

Yin, H. 4 Dec 2013 Enschede. 174 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2012

Managing Software Complexity of Adaptive Systems

de Roo, A. 2 Feb 2012 Enschede, The Netherlands. 250 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2011

A Goal-Based Framework for Semantic Service Provisioning

Bonino da Silva Santos, L. O. 8 Dec 2011 Enschede. 229 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Behaviour Modelling and Transformations for Context-Aware Mobile Applications

Daniele, L. M. 1 Jun 2011 Enschede, The Netherlands. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Event Composition Model: Achieving Naturalness in Runtime Enforcement

Malakuti Khah Olun Abadi, S. 15 Sep 2011 Enschede. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Traceability of Requirements and Software Architecture for Change Management

Göknil, A. 5 Oct 2011 Enschede. 341 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Software architecture
Semantics
Engineers
Explosions
Software engineering

User-centric Service Composition - Towards Personalised Service Composition and Delivery

Goncalves da Silva, E. 11 May 2011 Enschede. 233 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2010

Graph-based specification and verification for aspect-oriented languages

Staijen, T. 3 Jun 2010 Enschede. 234 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Graph-based Specification and Verification for Aspect-Oriented Languages

Staijen, T. 6 Jun 2010 Enschede: Centre for Telematics and Information Technology (CTIT). 234 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2009

Architecting Fault-Tolerant Software Systems

Sözer, H. 29 Jan 2009 Enschede. 197 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Graph Based Verification of Software Evolution Requirements

Ciraci, S. 25 Nov 2009 Enschede: Centre for Telematics and Information Technology (CTIT). 288 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

On the Design of Software Composition Mechanisms and the Analysis of Composition Conflicts

Havinga, W. K. 10 Jun 2009 Enschede. 225 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2008

Evolvable Behavior Specifications Using Context-Sensitive Wildcards

Gülesir, G. 13 Mar 2008 Enschede. 202 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File

Graph-based software specification and verification

Kastenberg, H. 3 Oct 2008 Enschede. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Resource-based Verification for Robust Composition of Aspects

Durr, P. E. A. 26 Jun 2008 Enschede: Twente University Press (TUP). 252 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2007

Imperfect Information in Software Design Processes

Noppen, J. A. R. 5 Jul 2007 Enschede. 182 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
2006

On the Design of Aspect-Oriented Composition Models for Software Evolution

Nagy, I. 8 Jun 2006 Enschede: Centre for Telematics and Information Technology (CTIT). 233 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
2005

Adaptability of model transformations

Ivanov, I. 19 May 2005 Enschede: Centre for Telematics and Information Technology (CTIT). 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

XML
Reusability
Software engineering
Identification (control systems)
Engineers
2000

Synthesis-Based Software Architecture Design

Tekinerdogan, B. 23 Mar 2000 Enschede: Print Partners BV. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
1994

Composing Concurrent Objects

Bergmans, L. 4 Jun 1994 Enschede: Universiteit Twente. 296 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
1989

On the Design of the Object-Oriented Language Sina

Aksit, M. 23 Mar 1989 Enschede, the Netherlands: Quick Service. 205 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT