Research Output 1988 2017

Filter
PhD Thesis - Research UT, graduation UT
2015

Developing Energy-Aware Software

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Energy utilization
Aspect oriented programming
Computer programming languages
Maintainability
Planets
2014

Non-intrusive Instance Level Software Composition

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Maintainability
Phase shift
Life cycle
Computer software reusability
Application programming interfaces (API)
2013

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

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Defects
Computer programming
Aspect oriented programming
Graphical user interfaces
Product development
2012

Managing Software Complexity of Adaptive Systems

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Embedded systems
Computer programming languages
Adaptive systems
Maintainability
Reusability
2011

A Goal-Based Framework for Semantic Service Provisioning

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Ubiquitous computing
Specification languages
WSDL
Communication
Electric grounding

Behaviour Modelling and Transformations for Context-Aware Mobile Applications

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Electronic mail
Service oriented architecture (SOA)
Mobile phones
User interfaces
Costs

Event Composition Model: Achieving Naturalness in Runtime Enforcement

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Specifications
Computer programming languages
Chemical analysis
Reusability
Specification languages

Traceability of Requirements and Software Architecture for Change Management

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Semantics
Software architecture
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: ScientificPhD Thesis - Research UT, graduation UT

Chemical analysis
Semantics
Automation
Internet
Application programs
2010

Graph-based specification and verification for aspect-oriented languages

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Semantics
Knowledge based systems
Aspect oriented programming
Software engineering
Computer programming languages

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: ScientificPhD Thesis - Research UT, graduation UT

Semantics
Knowledge based systems
Aspect oriented programming
Software engineering
Specifications
2009

Architecting Fault-Tolerant Software Systems

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Software architecture
Fault tolerance
Recovery
Reliability analysis
Decomposition

Graph Based Verification of Software Evolution Requirements

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Computer systems
Feedback
Modeling languages
Software design
Semantics

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

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Chemical analysis
Computer programming languages
Engineers
Maintainability
Reusability
2008

Evolvable Behavior Specifications Using Context-Sensitive Wildcards

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Visual languages
Specifications
Formal languages
Software design
Flow control

Graph-based software specification and verification

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
C (programming language)
Semantics
Java programming language
Specifications

Resource-based Verification for Robust Composition of Aspects

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Aspect oriented programming
Chemical analysis
Lithography
Semiconductor materials
Computer programming languages
2007

Imperfect Information in Software Design Processes

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Defects
Software engineering
Software design
Specifications
Engineers
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: ScientificPhD Thesis - Research UT, graduation UT

Semantics
Aspect oriented programming
Computer programming languages
Software engineering
Chemical analysis
2005

Adaptability of model transformations

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

XML
Reusability
Process engineering
Software engineering
Identification (control systems)
2001

Towards Effective Model Checking

Ruys, T. C. 22 Mar 2001 Enschede: Universiteit Twente.

Research output: ScientificPhD Thesis - Research UT, graduation UT

2000

Synthesis-Based Software Architecture Design

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

1994

Composing Concurrent Objects

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Synchronization
Specifications
Reusability
Chemical analysis
Object oriented programming
1989

On the Design of the Object-Oriented Language Sina

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Object oriented programming
Synchronization
Data encapsulation
Information systems
Communication