EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Supervisor: Akşit, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 24.

2015

te Brinke, S. (2015) Developing Energy-Aware Software. PhD thesis, Univ. of Twente. CTIT Ph.D. Thesis Series No. 15-359 ISBN 978-90-365-3875-6

2014

Hatun, K. (2014) Non-intrusive Instance Level Software Composition. PhD thesis, Universiteit Twente. CTIT Ph.D.-thesis series No. 14-296 ISBN 978-90-365-3619-6

2013

Yin, Haihan (2013) Defusing the Debugging Scandal - Dedicated Debugging Technologies for Advanced Dispatching Languages. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 10-170 ISBN 978-90-365-3569-4

2012

de Roo, A.J. (2012) Managing Software Complexity of Adaptive Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 12-217 ISBN 978-90-365-3319-5

2011

Goncalves da Silva, E.M. (2011) User-centric Service Composition - Towards Personalised Service Composition and Delivery. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-191 ISBN 978-90-365-3182-5
Daniele, L.M. (2011) Behaviour Modelling and Transformations for Context-Aware Mobile Applications. PhD thesis, University of Twente. CTIT Ph.D.-thesis Series No. 11-193 ISBN 978-90-365-3204-4
Göknil, A. (2011) Traceability of Requirements and Software Architecture for Change Management. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-192 ISBN 978-90-365-3175-7
Malakuti Khah Olun Abadi, S. (2011) Event Composition Model: Achieving Naturalness in Runtime Enforcement. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-205 ISBN 978-90-365-3246-4
Bonino da Silva Santos, L.O. (2011) A Goal-Based Framework for Semantic Service Provisioning. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 11-195 ISBN 978-90-365-3174-0
te Brinke, S. (2011) First-order function dispatch in a Java-like programming language. Master's thesis, University of Twente.

2010

Staijen, T. (2010) Graph-based Specification and Verification for Aspect-Oriented Languages. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-171 ISBN 978-90-365-3041-5

2009

Sözer, H. (2009) Architecting Fault-Tolerant Software Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-135 ISBN 978-90-365-2788-0
Havinga, W.K. (2009) On the Design of Software Composition Mechanisms and the Analysis of Composition Conflicts. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-142 ISBN 978-90-365-2842-9
Ciraci, S. (2009) Graph Based Verification of Software Evolution Requirements. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-162 ISBN 978-90-365-2956-3

2008

Durr, P.E.A. (2008) Resource-based Verification for Robust Composition of Aspects. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-119 ISBN 978-90-365-2685-2
Güleşir, G. (2008) Evolvable Behavior Specifications Using Context-Sensitive Wildcards. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-114 ISBN 978-90-365-2633-3
Kastenberg, H. (2008) Graph-based software specification and verification. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-128 ISBN 978-90-365-2734-7

2007

Noppen, J.A.R. (2007) Imperfect Information in Software Design Processes. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 07-99 ISBN 978-90-365-2511-4

2006

Nagy, I. (2006) On the Design of Aspect-Oriented Composition Models for Software Evolution. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-88 ISBN 90-365-2368-0

2005

Kurtev, I. (2005) Adaptability of model transformations. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-71 ISBN 90-365-2184-X
Havinga, W.K. (2005) Designating join points in Composestar - a predicate-based superimposition selector language for Compose*. Master's thesis, University of Twente, Enschede, the Netherlands.

2004

Kastenberg, H. (2004) Software Metrics as Class Graph Properties. Master's thesis, University of Twente.
Durr, P.E.A. (2004) Detecting semantic conflicts between aspects. Master's thesis, University of Twente.

2000

Tekinerdogan, B. (2000) Synthesis-Based Software Architecture Design. PhD thesis, University of Twente.

This list was generated on Fri Mar 24 08:51:17 CET 2017.