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: University of Twente. 175 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2014

Non-intrusive Instance Level Software Composition

Hatun, K., 12 Feb 2014, Enschede: University of Twente. 148 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2013

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

Yin, H., 4 Dec 2013, Enschede: University of Twente. 174 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2012

Managing Software Complexity of Adaptive Systems

de Roo, A., 2 Feb 2012, Enschede, The Netherlands: University of Twente. 250 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2011

A Goal-Based Framework for Semantic Service Provisioning

Bonino da Silva Santos, L. O., 8 Dec 2011, Enschede: University of Twente. 229 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Behaviour Modelling and Transformations for Context-Aware Mobile Applications

Daniele, L. M., 1 Jun 2011, Enschede, The Netherlands: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Event Composition Model: Achieving Naturalness in Runtime Enforcement

Malakuti Khah Olun Abadi, S., 15 Sep 2011, Enschede: University of Twente. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Traceability of Requirements and Software Architecture for Change Management

Göknil, A., 5 Oct 2011, Enschede: University of Twente. 341 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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: University of Twente. 233 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2010

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 UTAcademic

Open Access
File
2009

Architecting Fault-Tolerant Software Systems

Sözer, H., 29 Jan 2009, Enschede: University of Twente. 197 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 UTAcademic

File

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

Havinga, W. K., 10 Jun 2009, Enschede: University of Twente. 225 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2008

Evolvable Behavior Specifications Using Context-Sensitive Wildcards

Gülesir, G., 13 Mar 2008, Enschede: University of Twente. 202 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File

Graph-based software specification and verification

Kastenberg, H., 3 Oct 2008, Enschede: University of Twente. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 UTAcademic

File
2007

Imperfect Information in Software Design Processes

Noppen, J. A. R., 5 Jul 2007, Enschede: University of Twente. 182 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 UTAcademic

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 UTAcademic

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 UTAcademic

File
1994

Composing Concurrent Objects

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

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 UTAcademic